About
"This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira, J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation."--PUBLISHER'S WEBSITE.
Discuss Logics in AI with other readers
Join or start a book club for Logics in AI on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.
Frequently asked questions
How do I join a book club for Logics in AI?
Sign up free on Readfeed, then browse public clubs or start your own club with Logics in AI as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.
Can I discuss Logics in AI with other readers online?
Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Logics in AI with readers worldwide — whether your club is virtual, in-person, or hybrid.
Is Readfeed free?
Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.