Commonsense entailment: A modal theory of nonmonotonic reasoning -- Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators -- Belief revision and nonmonotonic logic: Two sides of the same coin? -- Two theories of dynamic semantics -- What is a Horn clause in partial logic? -- Semantic interpretation as higher-order deduction -- Action logic and pure induction -- Loop checking and negation -- On generative capacity of the Lambek calculus -- Extending resolution for model construction -- A first order logic of truth, knowledge and belief -- The optimal model of a program with negation -- NM3 — A three-valued cumulative non-monotonic formalism -- Constructive matching — A methodology for inductive theorem proving -- Deductive inference operations -- A constraint logic approach to modal deduction -- Dynamic semantics and VP-ellipsis -- Systems for knowledge and beliefs -- Awareness, negation and Logical omniscience -- Theoretical circumscription in partial modal logic -- A logical basis for object oriented programming -- A computationally attractive first-order logic of belief -- Polymorphic constructs in natural and programming languages -- The net-clause language — A tool for data-driven inference -- The logical compilation of knowledge bases -- Non-monotonic reasoning by monotonic means -- Anaphora and the logic of change -- Towards automatic autoepistemic reasoning -- Towards a connection procedure with built in theories -- On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs -- Towards a formal theory of intentions -- Note on effective constructibility of resolution proof systems -- The logic of objective knowledge and rational belief -- A complete logic for autoepistemic membership -- Doxastic preference logic -- Partial semantics for truth maintenance.

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.