2067 search results - page 64 / 414 » Logics of propositional control |
143
click to vote
JELIA
2010
Springer
15 years 2 days ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
120
click to vote
CAV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
114
click to vote
AMAI
2004
Springer
15 years 7 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
142
Voted
DLOG
1998
15 years 3 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
123
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...