4513 search results - page 80 / 903 » Logic programming with satisfiability |
129
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
111
click to vote
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
132
click to vote
JELIA
2010
Springer
15 years 21 hour ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
143
click to vote
JELIA
2010
Springer
15 years 21 hour 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...