2585 search results - page 276 / 517 » Automating Coherent Logic |
181
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
168
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
155
click to vote
TABLEAUX
2007
Springer
16 years 23 days ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
181
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
151
click to vote
LPNMR
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...