BOOK-CHAPTER
Priorities in Default Logic revisited
Year: 1995 Lecture notes in computer science Pages: 152-162 Publisher: Springer Science+Business Media
Keywords:
Default logic Default Computer science Extension (predicate logic) Presentation (obstetrics) Non-monotonic logic Artificial intelligence Theoretical computer science Programming language Autoepistemic logic Description logic Multimodal logic Finance Economics
Metrics
2
Cited By
0.00
FWCI (Field Weighted Citation Impact)
16
Refs
0.18
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Lexicographic priorities in default logic
Journal: Artificial Intelligence Year: 1998 Vol: 106 (2)Pages: 221-265
BOOK-CHAPTER
Adding priorities and specificity to default logic
Lecture notes in computer science Year: 2005 Pages: 247-260
JOURNAL ARTICLE
Logic programming without default negation revisited
Xianchang WangJia-Huai YouLi Yan Yuan
Year: 2002 Vol: 2 Pages: 1169-1173
JOURNAL ARTICLE
First-order conditional logic for default reasoning revisited
Nir FriedmanJoseph Y. HalpernDaphne Koller
Journal: ACM Transactions on Computational Logic Year: 2000 Vol: 1 (2)Pages: 175-207