1814 search results - page 245 / 363 » Extended First-Order Logic |
ECML
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
119
click to vote
DALT
2005
Springer
15 years 3 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
103
click to vote
RTA
2004
Springer
15 years 3 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...