✦ LIBER ✦

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || Automatic Deductive Synthesis of Lisp Programs in the System ALISA

✍ Scribed by Fisher, Michael; Hoek, Wiebe; Konev, Boris; Lisitsa, Alexei

Book ID: 111887790
Publisher: Springer Berlin Heidelberg
Year: 2006
Tongue: German
Weight: 277 KB
Category: Article
ISBN: 3540396276
DOI: 10.1007/11853886_21

No coin nor oath required. For personal study only.

✦ Synopsis

This Book Constitutes The Refereed Proceedings Of The 10th European Conference On Logics In Artificial Intelligence, Jelia 2006. The 34 Revised Full Papers And 12 Revised Tool Description Papers Presented Together With 3 Invited Talks Were Carefully Reviewed And Selected From 96 Submissions. The Papers Cover A Range Of Topics Within The Remit Of The Conference, Such As Logic Programming, Description Logics, Non-monotonic Reasoning, Agent Theories, Automated Reasoning, And Machine Learning.

📜 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] Thir

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || Memory performance of Lisp and Prolog programs

✍ Shapiro, Ehud 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 424 KB

[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] Foun

[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 1325 || Program synthesis from examples by theory formation

✍ Raś, Zbigniew W.; Skowron, Andrzej 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 800 KB

[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] Prog

[Lecture Notes in Computer Science] Progress in Artificial Intelligence Volume 4874 || Experiments for the Number of Clusters in K-Means

✍ Neves, José; Santos, Manuel Filipe; Machado, José Manuel 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 241 KB