✦ LIBER ✦

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 2424 || A Logic Programming Language for Multi-agent Systems

✍ Scribed by Flesca, Sergio; Greco, Sergio; Ianni, Giovambattista; Leone, Nicola

Book ID: 120184606
Publisher: Springer Berlin Heidelberg
Year: 2002
Weight: 567 KB
Category: Article
ISBN: 3540457577
DOI: 10.1007/3-540-45757-7_1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 2424 || A DPLL-Based Calculus for Ground Satisfiability Modulo Theories

✍ Flesca, Sergio; Greco, Sergio; Ianni, Giovambattista; Leone, Nicola 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 563 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Progress in Artificial Intelligence Volume 1323 || Parla: A cooperation language for cognitive multi-agent systems

✍ Coasta, Ernesto; Cardoso, Amilcar 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 592 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Logic in Multi-Agent Systems Volume 3487 || Verifying Protocol Conformance for Logic-Based Communicating Agents

✍ Leite, João; Torroni, Paolo 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 252 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 4246 || Theory Instantiation

✍ Hermann, Miki; Voronkov, Andrei 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 252 KB

This Book Constitutes The Refereed Proceedings Of The 13th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2006, Held In Phnom Penh, Cambodia In November 2006. The 38 Revised Full Papers Presented Together With One Invited Talk Were Carefully Reviewed

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 8312 || Maximal Falsifiability

✍ McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 406 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 3229 || Transforming Fuzzy Description Logics into Classical Description Logics

✍ Alferes, Jóse Júlio; Leite, João 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 377 KB

This Book Constitutes The Refereed Proceedings Of The 9th European Conference On Logics In Artificial Intelligence, Jelia 2004, Held In Lisbon, Portugal, In September 2004. The 52 Revised Full Papers And 15 Revised Systems Presentation Papers Presented Together With The Abstracts Of 3 Invited Talks