This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.
Author(s): Dimiter Vakarelov (auth.), D. Pearce, G. Wagner (eds.)
Series: Lecture Notes in Computer Science 633
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1992
Language: English
Pages: 412
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Mathematical Logic and Foundations
A modal theory of arrows. Arrow logics I....Pages 1-24
Knowledge without modality: A simplified framework for chronological ignorance....Pages 25-35
Design complete sequential calculus for continuous fixpoint temporal logic....Pages 36-51
Logical omniscience and classical logic....Pages 52-64
Weak implication: Theory and applications....Pages 65-83
Deriving inference rules for terminological logics....Pages 84-105
Linear proofs and linear logic....Pages 106-125
Relevance and revision....Pages 126-138
Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report)....Pages 139-153
A framework for default logics....Pages 154-173
A conceptualization of preferences in non-monotonic proof theory....Pages 174-188
Reasoning with defeasible arguments: Examples and applications....Pages 189-211
About deductive generalization....Pages 212-231
Transition systems and dynamic semantics....Pages 232-251
Declarative semantics for inconsistent database programs....Pages 252-261
Tableau-based theorem proving and synthesis of λ-terms in the intuitionistic logic....Pages 262-278
A constructive type system based on data terms....Pages 279-303
An ordered resolution and paramodulation calculus for finite many-valued logics....Pages 304-318
An efficient constraint language for polymorphic order-sorted resolution....Pages 319-338
Default theory for Well Founded Semantics with explicit negation....Pages 339-356
Computing answers for disjunctive logic programs....Pages 357-372
Expanding logic programs....Pages 373-390
Disjunctive logic programming, constructivity and strong negation....Pages 391-410
