✦ LIBER ✦

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 2923 || Probabilistic Reasoning With Answer Sets

✍ Scribed by Lifschitz, Vladimir; Niemelä, Ilkka

Book ID: 120261402
Publisher: Springer Berlin Heidelberg
Year: 2003
Weight: 175 KB
Category: Article
ISBN: 3540246096
DOI: 10.1007/978-3-540-24609-1_5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Volume 6565 || Argumentation and Answer Set Programming

✍ Balduccini, Marcello; Son, Tran Cao 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 255 KB

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Reasoning and Rule Systems Volume 7497 || Meta Programming with Answer Sets for Smart Spaces

✍ Krötzsch, Markus; Straccia, Umberto 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 305 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] Logic Programming and Automated Reasoning Volume 698 || Prolog with arrays and bounded quantifications

✍ Voronkov, Andrei 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 688 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Program Synthesis and Transformation — Meta-Programming in Logic Volume 883 || Introspective metatheoretic reasoning

✍ Fribourg, Laurent; Turini, Franco 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 829 KB