1026 search results - page 15 / 206 » A Methodology for Equational Reasoning |
ENTCS
2007
13 years 7 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
ARTMED
2006
13 years 7 months ago
2006
The Health Sciences provide a lively niche for case based reasoning applications. The main justification for this is that case based reasoning is a unique methodology in artificial...
FLAIRS
2007
13 years 10 months ago
2007
This paper investigates the use of the case-based reasoning methodology applied to the game of Texas hold’em. The development of a CASe-based Poker playER (CASPER) is discussed....
CSL
2001
Springer
14 years 4 days ago
2001
Springer
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...
ASP
2001
Springer
13 years 11 months ago
2001
Springer
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows fo...