2585 search results - page 256 / 517 » Automating Coherent Logic |
158
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
205
click to vote
ASP
2005
Springer
16 years 5 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
178
click to vote
ICLP
2004
Springer
16 years 1 hour ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
157
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
184
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...