4573 search results - page 543 / 915 » Automated Reasoning |
160
click to vote
LPNMR
1993
Springer
15 years 9 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
133
click to vote
KR
1994
Springer
15 years 9 months ago
1994
Springer
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions...
200
Voted
KR
1994
Springer
15 years 9 months ago
1994
Springer
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
141
click to vote
LOPSTR
1994
Springer
15 years 9 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...
142
click to vote
PLILP
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...