1083 search results - page 47 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
105
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
126
click to vote
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
112
click to vote
AAMAS
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
119
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
107
click to vote
CCIA
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...