3793 search results - page 281 / 759 » Expressive Description Logics |
156
click to vote
TARK
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
184
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
181
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
207
click to vote
APAL
2005
15 years 6 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
189
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...