-
Expressing and verifying business contracts with abductive logic programming
Alberti, Marco ; Chesani, Federico ; Gavanelli, Marco ; Lamma, Evelina ; Mello, Paola ; Montali, Marco ; Torroni, Paolo 2007 [Internat. Begegnungs- und Forschungszentrum für Informatik]
-
Logic for programming, artificial intelligence, and reasoning – 15th international conference ; proceedings
Cervesato, Iliano 2008 Springer
-
Inductive logic programming – 18th international conference ; proceedings
Železný, Filip 2008 Springer
-
Integration of Ontological Scene Representation and Logic-Based Reasoning for Context-Aware Driver Assistance Systems
Fuchs, Simone ; Rass, Stefan ; Kyamakya, Kyandoghere 2008 Technische Universität Berlin
-
Verteilte logikbasierte Argumentation – Konzeption, Implementierung und Anwendung im Rechtswesen
Thimm, Matthias 2008 VDM Verlag Dr. Müller
-
Diagnosing errors in logic programming – the case of an ill-defined domain
Le, Nguyen-Thinh 2007 Bibliothek des Dep. Informatik, Univ.
-
Probabilistic inductive logic programming – theory and applications
De Raedt, Luc 2008 Springer
-
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation – Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
2015 Springer Berlin Heidelberg
-
Logic for programming, artificial intelligence, and reasoning – 14th international conference ; proceedings
Dershowitz, Nachum 2007 Springer
-
An inductive logic programming approach to statistical relational learning
Kersting, Kristian 2006 IOS Press
-
Logic programming and nonmonotonic reasoning – 9th international conference ; proceedings
Baral, Chitta 2007 Springer
-
Logic for programming, artificial intelligence, and reasoning – 13th international conference ; proceedings
Hermann, Miki 2006 Springer
-
Probalistic and truth-functional many-valued logic programming
Lukasiewicz, Thomas 1999 Universitätsbibliothek
-
Probalistic logic programming under maximum entropy
Lukasiewicz, Thomas ; Kern-Isberner, Gabriele 1999 Universitätsbibliothek
-
Стратегический выбор экономического развития – учебно-методическое пособие
Подшивалов, Геннадий 2014 LAP LAMBERT Academic Publishing
-
Logic programming – 22nd international conference ; proceedings
Etalle, Sandro 2006 Springer
-
CONCUR 2014 – Concurrency Theory – 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
2014 Springer Berlin Heidelberg
-
Inductive logic programming – 23rd international conference ; revised selected papers
Zaverucha, Gerson ; Santos Costa, Vitor ; Paes, Aline Marins 2014 Springer
-
Recent advances in constraints – revised selected and invited papers
Hnich, Brahim 2006 Springer
-
19th International Conference on Types for Proofs and Programs (TYPES 2013)
Matthes, Ralph ; Schubert, Aleksy 2014 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH