Logic Programming and Nonmonotonic Reasoning
Subtitle: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings (Lecture Notes in Computer Science)
Contributors: Thomas Eiter (Editor); Wolfgang Faber (Editor); Miroslaw Trusczynksi (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 16, 2001
Language: eng
Format: Paperback
Number of pages: 444
ISBN-13: 9783540425939
Subjects: Artificial Intelligence; Computer Programming; Programming - General; Computers - Languages / Programming; Computers; Nonmonotonic reasoning; Computer Books: General; Logic Programming; Congresses; Artificial Intelligence - General; General; Programming - Object Oriented Programming; AI logics; Computers / Artificial Intelligence; computational logics; database logic; knowledge representation; knowledge-based systems
Description: Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings<br />Author: Thomas Eiter, Wolfgang Faber, Miros law Truszczyński<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-42593-9<br /> DOI: 10.1007/3-540-45402-0<br /><br />Table of Contents:<p></p><ul><li>A Computational Logic Approach to Heterogenous Agent Systems
</li><li>Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto
</li><li>On The Complexity of Model Checking and Inference in Minimal Models
</li><li>Data Integration Needs Reasoning
</li><li>Nonmonotomic Inductive Logic Programming
</li><li>Strong Equivalence for Logic Programs and Default Theories (Made Easy)
</li><li>On the Effect of Default Negation on the Expressiveness of Disjunctive Rules
</li><li>On the Expressibility of Stable Logic Programming
</li><li>On the Relationship between Defeasible Logic and Well-Founded Semantics
</li><li>A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs
</li><li>Reasoning with Open Logic Programs
</li><li>Representation of Incomplete Knowledge by Induction of Default Theories
</li><li>Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules
</li><li>Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming
</li><li>Bounded LTL Model Checking with Stable Models
</li><li>Diagnosing Physical Systems in A-Prolog
</li><li>Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach
</li><li>Encoding Solutions of the Frame Problem in Dynamic Logic
</li><li>ε-RES: Reasoning about Actions, Events and Observations
</li><li>Omega-Restricted Logic Programs</li></ul>