✦ LIBER ✦

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

✍ Scribed by Balduccini, Marcello; Son, Tran Cao

Book ID: 111949689
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 255 KB
Category: Article
ISBN: 3642208320
DOI: 10.1007/978-3-642-20832-4_11

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 Program Synthesis and Transformation — Meta-Programming in Logic Volume 883 || Introspective metatheoretic reasoning

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

[Lecture Notes in Computer Science] Grap

[Lecture Notes in Computer Science] Graph Structures for Knowledge Representation and Reasoning Volume 7205 || Supporting Argumentation Systems by Graph Representation and Computation

✍ Croitoru, Madalina; Rudolph, Sebastian; Wilson, Nic; Howse, John; Corby, Olivier 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 267 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7211 || Reasoning about Multi-stage Programs

✍ Seidl, Helmut 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 305 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || The unification of infinite sets of terms and its applications

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 753 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Inline expansion: When and how?

✍ Glaser, Hugh; Hartel, Pieter; Kuchen, Herbert 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 826 KB