Logics in Artificial Intelligence

European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings

AvJose Julio Alferes,Luis Moniz Pereira

Häftad, Engelska, 1996

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996.The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.

Produktinformation

Utgivningsdatum:1996-08-28
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:426
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540616306

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Hyper tableaux.- An algorithm for the retrieval of unifiers from discrimination trees.- Building proofs or counterexamples by analogy in a resolution framework.- What you always wanted to know about rigid E-unification.- Labelled proofs for quantified modal logic.- A uniform tableaux method for nonmonotonic modal logics.- Design and implementation of diagnostic strategies using modal logic.- A modal action logic based framework for organization specification and analysis.- McCarthy's idea.- Strong and explicit negation in non-monotonic reasoning and logic programming.- Only persistence makes nonmonotonicity monotonous.- Ordering-based representations of rational inference.- Semi-representability of default theories in rational default logic.- A query answering algorithm for Lukaszewicz' general open default theory.- Infinitary default logic for specification of nonmonotonic reasoning.- A system for computing constrained default logic extensions.- The Oz programming model.- An abductive framework for negation in disjunctive logic programming.- Characterizing D-WFS: Confluence and iterated GCWA.- Modules and specifications.- Logic programming with integrity constraints.- Temporal reasoning over linear discrete time.- Similarity saturation for first order linear temporal logic with UNLESS.- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions.- Informational logic for automated reasoning.- Extensions for open default theories via the domain closure assumption.- Revising and updating using a back-up semantics.- A simple signed system for paraconsistent reasoning.

Du kanske också är intresserad av

Reasoning with Logic Programming

Jose Julio Alferes, Luis Moniz Pereira

Häftad, 1996

572 kr

Practical Aspects of Declarative Languages

Moa Johansson, Jose Julio Alferes

E-bok

2018

732 kr

Del 9718

Rule Technologies. Research, Tools, and Applications

Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman

Häftad, 2016

1 137 kr

Principles and Practice of Semantic Web Reasoning

Uta Schwertel, Wolfgang May, James Bailey, Jose Julio Alferes

E-bok

2006

739 kr

Rule Technologies. Research, Tools, and Applications

Dumitru Roman, Paul Fodor, Guido Governatori, Leopoldo Bertossi, Jose Julio Alferes

E-bok

2016

1 455 kr

Machine Ethics

Antonio Barata Lopes, Luis Moniz Pereira

E-bok

2020

2 044 kr

Non-Monotonic Extensions of Logic Programming

Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski

Häftad, 1997

572 kr

EPIA'91

Pedro Barahona, Luis Moniz Pereira, Antonio Porto

Häftad, 1991

572 kr

Principles and Practice of Semantic Web Reasoning

José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel

Häftad, 2006

572 kr

Del 11372

Practical Aspects of Declarative Languages

José Júlio Alferes, Moa Johansson

Häftad, 2018

572 kr

Logics in Artificial Intelligence

European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings

AvJose Julio Alferes,Luis Moniz Pereira

Häftad, Engelska, 1996

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1996-08-28
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:426
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540616306

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Hyper tableaux.- An algorithm for the retrieval of unifiers from discrimination trees.- Building proofs or counterexamples by analogy in a resolution framework.- What you always wanted to know about rigid E-unification.- Labelled proofs for quantified modal logic.- A uniform tableaux method for nonmonotonic modal logics.- Design and implementation of diagnostic strategies using modal logic.- A modal action logic based framework for organization specification and analysis.- McCarthy's idea.- Strong and explicit negation in non-monotonic reasoning and logic programming.- Only persistence makes nonmonotonicity monotonous.- Ordering-based representations of rational inference.- Semi-representability of default theories in rational default logic.- A query answering algorithm for Lukaszewicz' general open default theory.- Infinitary default logic for specification of nonmonotonic reasoning.- A system for computing constrained default logic extensions.- The Oz programming model.- An abductive framework for negation in disjunctive logic programming.- Characterizing D-WFS: Confluence and iterated GCWA.- Modules and specifications.- Logic programming with integrity constraints.- Temporal reasoning over linear discrete time.- Similarity saturation for first order linear temporal logic with UNLESS.- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions.- Informational logic for automated reasoning.- Extensions for open default theories via the domain closure assumption.- Revising and updating using a back-up semantics.- A simple signed system for paraconsistent reasoning.