588 search results - page 62 / 118 » Differential Logic for Reasoning About Hybrid Systems |
122
click to vote
DLOG
2003
15 years 3 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
117
click to vote
AIML
2006
15 years 3 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
127
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
134
click to vote
AAAI
2012
13 years 4 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
105
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
In commercial spoken dialog systems, call flows are built by call flow designers implementing a predefined business logic. While it may appear obvious from this logic how the c...