Description |
1 online resource : v.: digital |
Series |
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 0302-9743 ; 478 |
|
Lecture notes in computer science. Lecture notes in artificial intelligence ; 478. 0302-9743
|
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 |
Summary |
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 |
Bibliography |
Includes bibliographical references and index |
Notes |
English |
|
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
|
digitized 2021. HathiTrust Digital Library committed to preserve pda MiAaHDL |
Subject |
Computer science.
|
|
Logic design.
|
|
Artificial intelligence.
|
|
Logic, Symbolic and mathematical.
|
|
Electronic data processing.
|
|
Artificial intelligence -- Congresses
|
|
Logic programming -- Congresses
|
|
Semantics -- Data processing -- Congresses
|
|
Logic, Symbolic and mathematical -- Congresses
|
|
Nonclassical mathematical logic -- Congresses
|
|
data processing.
|
|
computer science.
|
|
artificial intelligence.
|
|
Semantics -- Data processing
|
|
Nonclassical mathematical logic
|
|
Logic programming
|
|
Electronic data processing
|
|
Artificial intelligence
|
|
Computer science
|
|
Logic design
|
|
Logic, Symbolic and mathematical
|
|
Künstliche Intelligenz
|
|
Logik
|
|
Logische Programmierung
|
|
Mathematische Logik
|
|
Kongress
|
|
Artificial intelligence -- Congresses.
|
|
Logic, Symbolic and mathematical -- Congresses.
|
|
Nonclassical mathematical logic -- Congresses.
|
|
Programming languages (Electronic computers) -- Semantics -- Congresses.
|
|
Programmation logique -- Congrès.
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Eijck, J
|
ISBN |
9783540469827 |
|
3540469826 |
|
3540536868 |
|
9783540536864 |
|
0387536868 |
|
9780387536866 |
|