1083 search results - page 43 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
104
click to vote
JOLLI
2002
15 years 1 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
135
click to vote
JAIR
2010
15 years 10 days ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
JLP
1998
15 years 1 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
135
click to vote
FOIKS
2006
Springer
15 years 5 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
130
click to vote
LOPSTR
1997
Springer
15 years 6 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...