[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 4790 || The Separation Theorem for Differential Interaction Nets

[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 6397 || Focused Natural Deduction

✍ Fermüller, Christian G.; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 224 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 3452 || The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs

✍ Baader, Franz; Voronkov, Andrei 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 452 KB

This Book Constitutes The Refereed Proceedings Of The 11th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2004, Held In Montevideo, Uruguay In March 2005. The 33 Revised Full Papers Presented Together With Abstracts Of 4 Invited Papers Were Carefully

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 3452 || A Verification Environment for Sequential Imperative Programs in Isabelle/HOL

✍ Baader, Franz; Voronkov, Andrei 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 235 KB

This Book Constitutes The Refereed Proceedings Of The 11th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2004, Held In Montevideo, Uruguay In March 2005. The 33 Revised Full Papers Presented Together With Abstracts Of 4 Invited Papers Were Carefully

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 6355 || A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing

✍ Clarke, Edmund M.; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 385 KB

[Lecture Notes in Computer Science] Indu

[Lecture Notes in Computer Science] Inductive Logic Programming Volume 1634 || Combining Divide-and-Conquer and Separate-and-Conquer for Efficient and Effective Rule Induction

✍ Džeroski, Sašo; Flach, Peter 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 671 KB

This Book Constitutes The Refereed Proceedings Of The 9th International Conference On Inductive Logic Programming, Ilp-99, Held In Bled, Slovenia, In June 1999. The 24 Revised Papers Presented Were Carefully Reviewed And Selected From 40 Submissions. Also Included Are Abstracts Of Three Invited Cont