Vai al contenuto principale della pagina
Titolo: |
Logics in AI [[electronic resource] ] : European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings / / edited by Jan van Eijck
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Edizione: | 1st ed. 1991. |
Descrizione fisica: | 1 online resource (XI, 569 p.) |
Disciplina: | 006.3 |
Soggetto topico: | Architecture, Computer |
Natural language processing (Computer science) | |
Artificial intelligence | |
Computer logic | |
Mathematical logic | |
Computer System Implementation | |
Natural Language Processing (NLP) | |
Artificial Intelligence | |
Logics and Meanings of Programs | |
Mathematical Logic and Foundations | |
Persona (resp. second.): | EijckJ. van (Jan) |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | 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. |
Sommario/riassunto: | 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. |
Titolo autorizzato: | Logics in AI ![]() |
ISBN: | 3-540-46982-6 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465377503316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |