This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision.
Author(s): Georg Gottlob (auth.), Craig MacNish, David Pearce, Luís Moniz Pereira (eds.)
Series: Lecture Notes in Computer Science 838 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 416
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs
From Carnap's modal logic to autoepistemic logic....Pages 1-18
Compactness properties of nonmonotonic inference operations....Pages 19-33
Around a powerful property of circumscriptions....Pages 34-49
The computational value of joint consistency....Pages 50-65
Belief dynamics, abduction, and databases....Pages 66-85
On the logic of theory base change....Pages 86-105
Belief, provability, and logic programs....Pages 106-121
Revision specifications by means of programs....Pages 122-136
Revision of non-monotonic theories....Pages 137-151
A complete connection calculus with rigid E-unification....Pages 152-166
Equality and constrained resolution....Pages 167-181
Efficient strategies for Automated reasoning in modal logics....Pages 182-197
TAS-D ++ : Syntactic trees transformations for Automated Theorem Proving....Pages 198-216
A unification of ordering refinements of resolution in classical logic....Pages 217-230
Two logical dimensions....Pages 231-231
Prioritized autoepistemic logic....Pages 232-246
Adding priorities and specificity to default logic....Pages 247-260
Viewing hypothesis theories as constrained graded theories....Pages 261-278
Temporal theories of reasoning....Pages 279-299
Reasoning about knowledge on computation trees....Pages 300-315
Prepositional state event logic....Pages 316-331
Description Logics with inverse roles, functional restrictions, and n-ary relations....Pages 332-346
On the concept of generic object: A nonmonotonic reasoning approach and examples....Pages 347-363
Autoepistemic logic of minimal beliefs....Pages 364-364
How to use modalities and sorts in Prolog....Pages 365-378
Towards resource handling in logic programming: The PPL framework and its semantics....Pages 379-399
Extending Horn clause theories by reflection principles....Pages 400-413
