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

Patrick Doherty; Witold Łukaszewicz

doi:10.1007/3-540-58495-1_52

ScienceGate Book Chapters

BOOK-CHAPTER

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

Patrick Doherty Witold Łukaszewicz

Year: 1994 Lecture notes in computer science Pages: 521-530 Publisher: Springer Science+Business Media

DOI: 10.1007/3-540-58495-1_52

Get Full-Text PDF Get Analytical Report

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

Cited By

0.00

FWCI (Field Weighted Citation Impact)

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

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

Metrics

Topics

Related Documents

Circumscribing features and fluents: Reasoning about action with default effects

Circumscribing features and fluents

Reasoning about concurrent actions within features and fluents

Reasoning about action and change

Reasoning About Action and Change