585 search results - page 63 / 117 » Strategy Logic |
104
click to vote
ISMIS
2005
Springer
15 years 7 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
ICAISC
2004
Springer
15 years 7 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
132
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
106
click to vote
DFT
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
119
click to vote
IJCAI
2003
15 years 3 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...