1549 search results - page 7 / 310 » On the rules of intermediate logics |
RULEML
2005
Springer
14 years 2 months ago
2005
Springer
Defeasible Logic is a rule-based non-monotonic logic with tractable reasoning services. In this paper we extend Defeasible Logic with nested rules. We consider a new Defeasible Log...
PRIMA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Verifix. Compiler back-ends transform intermediate la...
VLDB
1995
ACM
14 years 10 days ago
1995
ACM
Previous studies on mining association rules find rules at single concept level, however, mining association rules at multiple concept levels may lead to the discovery of more spe...
JAIR
2008
13 years 8 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...