1737 search results - page 77 / 348 » On Interpolation in Existence Logics |
167
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
162
click to vote
ASIAN
1999
Springer
15 years 10 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
180
click to vote
ECP
1997
Springer
15 years 10 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
145
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
148
click to vote
FPL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper we outline a procedure to determine appropriate partitioning of programmable logic and interconnect area to minimize overall device area across a broad rang...