1083 search results - page 17 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
135
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
140
Voted
DALT
2008
Springer
15 years 3 months ago
2008
Springer
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
144
click to vote
ENTCS
2006
15 years 1 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
103
click to vote
ECSQARU
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
145
Voted
WLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...