Foundations of Knowledge Representation and Reasoning

Häftad, Engelska, 1994

Del i serien Lecture Notes in Computer Science

566 kr

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

Beskrivning

This collection of thoroughly refereed papers presents state-of-the-art research results by well-known researchers on the foundations of knowledge representation and reasoning. In addition, there are two surveys, one by the volume editors intended as a guide to this book and another by Shoham and Cousins on mental attitudes. In total, the volume provides a well-organized report on current research in knowledge representation, which is one of the central subfields of AI. Except the surveys, the papers grew out of a workshop on Theoretical Foundations of Knowledge Representation and Reasoning, held in conjunction with the 10th European Conference on Artificial Intelligence (ECAI-92) in Vienna in August 1992.

Produktinformation

Utgivningsdatum:1994-06-28
Mått:155 x 233 x 21 mm
Vikt:563 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:363
Upplaga:1994
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540581079

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

Foundations of knowledge representation and reasoning.- Collective entities and relations in concept languages.- Computing extensions of terminological default theories.- A formalization of interval-based temporal subsumption in first order logic.- Normative, subjunctive and autoepistemic defaults.- Abductive reasoning with abstraction axioms.- Queries, rules and definitions as epistemic sentences in concept languages.- The power of beliefs or translating default logic into standard autoepistemic logic.- Learning an optimally accurate representation system.- Default reasoning via negation as failure.- Weak autoepistemic reasoning and well-founded semantics.- Forming concepts for fast inference.- A common-sense theory of time.- Reasoning with analogical representations.- Asking about possibilities — Revision and update semantics for subjunctive queries Extended report.- On the impact of stratification on the complexity of nonmonotonic reasoning.- Logics of mental attitudes in AI.- Hyperrational conditionals.- Revision by expansion in logic programs.

Du kanske också är intresserad av

RoboCup 2006: Robot Soccer World Cup X

Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi

Häftad, 2007

1 092 kr

KI 2002: Advances in Artificial Intelligence

Gerhard Lakemeyer, Jana Koehler, Matthias Jarke

E-bok

2003

732 kr

Del 8684

Spatial Cognition IX

Christian Freksa, Bernhard Nebel, Mary Hegarty, Thomas Barkowsky

Häftad, 2014

569 kr

Spatial Cognition IV, Reasoning, Action, Interaction

Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky

Häftad, 2005

1 124 kr

RoboCup 2006: Robot Soccer World Cup X

Tomoichi Takahashi, Domenico G. Sorrenti, Elizabeth Sklar, Gerhard Lakemeyer

E-bok

2007

1 427 kr

Logic of Knowledge Bases

Hector Levesque, Gerhard Lakemeyer

Häftad, 2023

243 kr

Knowing, Reasoning, and Acting

Gerhard Lakemeyer, Sheila A. McIlraith

Inbunden, 2011

388 kr

Towards Service Robots for Everyday Environments

Erwin Prassler, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin Hägele, Gisbert Lawitzky, Bernhard Nebel, Paul Plöger, Ulrich Reiser, Marius Zöllner

Inbunden, 2012

1 634 kr

KI 2002: Advances in Artificial Intelligence

Matthias Jarke, Jana Koehler, Gerhard Lakemeyer

Häftad, 2002

566 kr

Spatial Cognition IV, Reasoning, Action, Interaction

Thomas Barkowsky, Bernhard Nebel, Bernd Krieg-Bruckner, Markus Knauff, Christian Freksa

E-bok

2005

1 413 kr