Logic Programs with Consistency-Restoring Rules (2003)
by
Marcello Balduccini
,
Michael Gelfond
| Venue: | International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series |
| Citations: | 51 - 20 self |
BibTeX
@INPROCEEDINGS{Balduccini03logicprograms,
author = {Marcello Balduccini and Michael Gelfond},
title = {Logic Programs with Consistency-Restoring Rules},
booktitle = {International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series},
year = {2003},
pages = {9--18}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present an extension of language A-Prolog by consistency-restoring rules with preferences, give the semantics of the new language, CR-Prolog, and show how the language can be used to formalize various types of commonsense knowledge and reasoning.
