The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.
Author(s): Nicholas Asher, Michael Morreau (auth.), J. van Eijck (eds.)
Series: Lecture Notes in Computer Science 478
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1991
Language: English
Pages: 569
Tags: Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Foundations
Commonsense entailment: A modal theory of nonmonotonic reasoning....Pages 1-30
Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators....Pages 31-51
Belief revision and nonmonotonic logic: Two sides of the same coin?....Pages 52-54
Two theories of dynamic semantics....Pages 55-64
What is a Horn clause in partial logic?....Pages 65-77
Semantic interpretation as higher-order deduction....Pages 78-96
Action logic and pure induction....Pages 97-120
Loop checking and negation....Pages 121-138
On generative capacity of the Lambek calculus....Pages 139-152
Extending resolution for model construction....Pages 153-169
A first order logic of truth, knowledge and belief....Pages 170-179
The optimal model of a program with negation....Pages 180-195
NM3 — A three-valued cumulative non-monotonic formalism....Pages 196-211
Constructive matching — A methodology for inductive theorem proving....Pages 212-226
Deductive inference operations....Pages 227-233
A constraint logic approach to modal deduction....Pages 234-250
Dynamic semantics and VP-ellipsis....Pages 251-266
Systems for knowledge and beliefs....Pages 267-281
Awareness, negation and Logical omniscience....Pages 282-300
Theoretical circumscription in partial modal logic....Pages 301-316
A logical basis for object oriented programming....Pages 317-332
A computationally attractive first-order logic of belief....Pages 333-347
Polymorphic constructs in natural and programming languages....Pages 348-365
The net-clause language — A tool for data-driven inference....Pages 366-385
The logical compilation of knowledge bases....Pages 386-398
Non-monotonic reasoning by monotonic means....Pages 399-411
Anaphora and the logic of change....Pages 412-427
Towards automatic autoepistemic reasoning....Pages 428-443
Towards a connection procedure with built in theories....Pages 444-453
On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs....Pages 454-471
Towards a formal theory of intentions....Pages 472-486
Note on effective constructibility of resolution proof systems....Pages 487-498
The logic of objective knowledge and rational belief....Pages 499-515
A complete logic for autoepistemic membership....Pages 516-525
Doxastic preference logic....Pages 526-543
Partial semantics for truth maintenance....Pages 544-561
