Symposium of Logic and Artificial Intelligence, January 13-14, 2021,

US-Moldova-Romania

Organizers:

• Northwestern State University, Natchitoches, USA
• “Alexandru Ioan Cuza” University of Iasi, Romania
• “Vladimir Andrunachievici” Institute of Math. and Computer Sci, Chisinau, Moldova

Schedule:

January 13, 2021

• 13:30-14:00 Stefan-Claudiu Susan. A practical implementation of Natural Deduction in Propositional Logic
• 14:00-14:30 Ioachim Drugus. Towards a Non-associative Model of Language
• 14:30-15:00 Tudor Bumbu and Iulian Cernei. Ensuring Access to the Moldovan Legacy using Elements of Artificial Intelligence
• 17:00-18:00 Alexei Muravitsky (USA). On Nonmonotonic Consequence Relations

January 14, 2021

• 13:20-13:40 Olesea Caftanatov. State of the Art: Augmented reality Business Cards
• 13:40-14:00 Stefan Stratulat, Gheorghe Morari, Dumitru Prijilevschi, and Tudor Bumbu. A Disambiguation Model for Natural Language Processing
• 14:00-14:20 Elena Kuznetsov, Eugene Kuznetsov. Generalized boolean algebras, boolean rings and extensional algebras
• 22:00-24:00 International meeting devoted to World Logic Day
  • Martin Davis. Algorithms, Equations, and Logic

• To participate, please, access this link to register. You will receive a confirmation email containing the meeting password and instructions for joining the meeting. It will start at 2:00 pm CST that is 22:00 EET.

Announcing the winners of Moldovan and Romanian Prizes on Logic and Artificial Intelligence competition.