1083 search results - page 38 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
246
click to vote
FM
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
132
Voted
ENTCS
2000
15 years 1 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
135
click to vote
LPNMR
1999
Springer
15 years 6 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
109
Voted
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
115
click to vote
ECAI
1992
Springer
15 years 6 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...