171 search results - page 1 / 35 » Classical Logic, Continuation Semantics and Abstract Machine... |
49
Voted
JFP
1998
14 years 11 months ago
1998
CADE
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
DLOG
2009
14 years 9 months ago
2009
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
136
Voted
AI
2011
Springer
14 years 6 months ago
2011
Springer
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...
102
Voted
ENTCS
2007
14 years 11 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...