4266 search results - page 100 / 854 » A Framework for Defining Logics |
ENTCS
2010
14 years 10 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
AMAI
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...
MLG
2007
Springer
15 years 4 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
CADE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
AGP
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...