BOOK-CHAPTER
Formalization of reasoning about default action (preliminary report)
Year: 1996 Lecture notes in computer science Pages: 540-554 Publisher: Springer Science+Business Media
Keywords:
Computer science Default logic Translation (biology) Semantics (computer science) Action (physics) Artificial intelligence Non-monotonic logic Theoretical computer science Natural language processing Programming language Description logic Multimodal logic Autoepistemic logic
Metrics
3
Cited By
1.27
FWCI (Field Weighted Citation Impact)
17
Refs
0.76
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Multi-Agent Systems and Negotiation
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
BOOK-CHAPTER
Autoepistemic logic and formalization of commonsense reasoning preliminary report
Lecture notes in computer science Year: 1989 Pages: 176-186
DISSERTATION
Default Reasoning about Probabilities
University: SciDok (Saarland University and State Library) Year: 1995
BOOK-CHAPTER
Circumscribing features and fluents: Reasoning about action with default effects
Lecture notes in computer science Year: 1995 Pages: 344-351
JOURNAL ARTICLE
Default reasoning about spatial occupancy
Journal: Artificial Intelligence Year: 1995 Vol: 74 (1)Pages: 147-163
BOOK-CHAPTER
Some considerations about formalization of analogical reasoning
Lecture notes in computer science Year: 1987 Pages: 125-134