1083 search results - page 28 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
123
click to vote
ENTCS
2007
15 years 1 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
111
Voted
EXACT
2008
15 years 4 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
195
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
125
click to vote
AAAI
1996
15 years 3 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
118
Voted
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...