827 search results - page 107 / 166 » Proof-Theoretic Soundness and Completeness |
172
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
153
click to vote
MKWI
2008
15 years 7 months ago
2008
: The quality of business software is more and more becoming a competitive factor. As complete testing is impossible, testers have to make decisions, e.g. to choose which parts of ...
171
click to vote
AAAI
2006
15 years 7 months ago
2006
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...
155
click to vote
AIPS
2010
15 years 6 months ago
2010
In this paper, we develop a heuristic, progression based conformant planner, called CNF, which represents belief states by a special type of CNF formulae, called CNF-states. We de...
144
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In their seminal paper in the ACM Transactions on Software Engineering and Methodology, Zave and Jackson established a core ontology for Requirements Engineering (RE) and used it ...