892 search results - page 96 / 179 » Strategies in sentential reasoning |
108
Voted
SEKE
1994
Springer
15 years 4 months ago
1994
Springer
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
Index structures for multiple sets can be classified into those that group entries according to their key values and those that group entries according to their set membership. Th...
ICCBR
2010
Springer
15 years 4 months ago
2010
Springer
In previous papers we have presented our autonomous poker playing agent (SARTRE) that uses a memory-based approach to create a betting strategy for two-player, limit Texas Hold’e...
104
Voted
ICTAI
1997
IEEE
15 years 4 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
124
Voted
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...