BOOK-CHAPTER
Logic Programming without Negation as Failure
Year: 1995 The MIT Press eBooks Publisher: The MIT Press
Keywords:
Negation as failure Negation Programming language Computer science Autoepistemic logic Multimodal logic Description logic
Metrics
69
Cited By
2.25
FWCI (Field Weighted Citation Impact)
0
Refs
0.85
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
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Defeasible logic versus Logic Programming without Negation as Failure
Grigoris AntoniouMichael J. MaherDavid P. Billington
Journal: The Journal of Logic Programming Year: 2000 Vol: 42 (1)Pages: 47-57
BOOK-CHAPTER
Handling Exceptions in Logic Programming without Negation as Failure
Roberto ConfalonieriHenri PradeJuan Carlos Nieves
Lecture notes in computer science Year: 2011 Pages: 509-520
JOURNAL ARTICLE
Logic programming without default negation revisited
Xianchang WangJia-Huai YouLi Yan Yuan
Year: 2002 Vol: 2 Pages: 1169-1173
JOURNAL ARTICLE
Negation as failure for disjunctive logic programming
Journal: Annals of Mathematics and Artificial Intelligence Year: 1994 Vol: 12 (1-2)Pages: 25-51