JOURNAL ARTICLE
Default logic and constructive logic
Year: 1992 Journal: European Conference on Artificial Intelligence Vol: 10 Pages: 309-313
Keywords:
Default logic Computer science Autoepistemic logic Logic gate Programming language Multimodal logic Description logic Algorithm
Metrics
10
Cited By
1.71
FWCI (Field Weighted Citation Impact)
1
Refs
0.87
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
BOOK-CHAPTER
A proof theory for Constructive Default Logic
Lecture notes in computer science Year: 2005 Pages: 349-355
BOOK-CHAPTER
A Default Logic Patch for Default Logic
Philippe BesnardÉric GrégoireSébastien Ramon
Lecture notes in computer science Year: 2009 Pages: 578-589
JOURNAL ARTICLE
Expressing Default Logic Variants in Default Logic
James P. DelgrandeTorsten Schaub
Journal: Journal of Logic and Computation Year: 2005 Vol: 15 (5)Pages: 593-621