Logics in Artificial Intelligence: European Workshop Jelia '94, York, UK, September 5-8, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)

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. 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 "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."--PUBLISHER'S WEBSITE