@inproceedings{f8a015508d664db9a53fed575b40abf8,
title = "Rule calculus: Semantics, axioms and applications",
abstract = "We consider the problem of how a default rule can be deduced from a default theory. For this purpose, we propose an axiom system which precisely captures the deductive reasoning about default rules. We show that our axiomatic system is sound and complete under the semantics of the logic of here-and-there. We also study other important properties such as substitution and monotonicity of our system and prove the essential decision problem complexity. Finally, we discuss applications of our default rule calculus to various problems.",
author = "Yi Zhou and Yan Zhang",
year = "2008",
doi = "10.1007/978-3-540-87803-2\_34",
language = "English",
isbn = "3540878025",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "416--428",
booktitle = "Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings",
note = "11th European Conference on Logics in Artificial Intelligence, JELIA 2008 ; Conference date: 28-09-2008 Through 01-10-2008",
}