BOOK-CHAPTER

Circumscribing features and fluents: A fluent logic for reasoning about action and change

Patrick DohertyWitold Łukaszewicz

Year: 1994 Lecture notes in computer science Pages: 521-530   Publisher: Springer Science+Business Media
Keywords:
Circumscription Computer science Logical consequence Non-monotonic logic Representation (politics) Class (philosophy) Artificial intelligence Action (physics) Knowledge representation and reasoning Theoretical computer science Description logic Frame problem State (computer science) Programming language

Metrics

7
Cited By
0.00
FWCI (Field Weighted Citation Impact)
11
Refs
0.21
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Semantic Web and Ontologies
Physical Sciences →  Computer Science →  Artificial Intelligence
Multi-Agent Systems and Negotiation
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

BOOK-CHAPTER

Circumscribing features and fluents: Reasoning about action with default effects

Anna Maria Radzikowska

Lecture notes in computer science Year: 1995 Pages: 344-351
BOOK-CHAPTER

Circumscribing features and fluents

Patrick DohertyWitold Łukaszewicz

Lecture notes in computer science Year: 2005 Pages: 82-100
JOURNAL ARTICLE

Reasoning about action and change

Helmut PrendingerGerhard Schurz

Journal:   Journal of Logic Language and Information Year: 1996 Vol: 5 (2)
© 2026 ScienceGate Book Chapters — All rights reserved.