1486 search results - page 11 / 298 » A Logically Saturated Extension of |
AML
2005
13 years 7 months ago
2005
We show that a strong form of the so called Lindstr
AGP
2010
IEEE
14 years 26 days ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
MLQ
2008
13 years 7 months ago
2008
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and its t-norm based axiomatic extensions. We consider the algebraic counterpart of...
APAL
2010
13 years 8 months ago
2010
We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart AlgS of any finitary and congruential logic S. This definition is logic-base...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...