Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings / Edition 1 by Jan van Eijck | 9783540536864 | Paperback | Barnes & Noble
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings / Edition 1

Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings / Edition 1

by Jan van Eijck
     
 

ISBN-10: 3540536868

ISBN-13: 9783540536864

Pub. Date: 04/01/1991

Publisher: Springer Berlin Heidelberg

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

Overview

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.

Product Details

ISBN-13:
9783540536864
Publisher:
Springer Berlin Heidelberg
Publication date:
04/01/1991
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Series, #478
Edition description:
1991
Pages:
569
Product dimensions:
1.20(w) x 6.14(h) x 9.21(d)

Table of Contents

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >