1860 search results - page 18 / 372 » A Temporal Logic of Robustness |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logi...
JELIA
2010
Springer
13 years 8 months 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...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
AAAI
2008
14 years 5 days ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
AMAI
2006
Springer
13 years 10 months ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL