Sciweavers

2649 search results - page 6 / 530
» Temporal Theories of Reasoning
Sort
View
80
Voted
ICTL
1994
15 years 1 months ago
A Decision Procedure for a Temporal Belief Logic
This paper presents a temporal belief logic called
Michael Wooldridge, Michael Fisher
JACM
2010
116views more  JACM 2010»
14 years 8 months ago
The complexity of temporal constraint satisfaction problems
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
Manuel Bodirsky, Jan Kára
SOCO
2010
Springer
14 years 4 months ago
Reasoning about fuzzy temporal information from the web: towards retrieval of historical events
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
Steven Schockaert, Martine De Cock, Etienne E. Ker...
79
Voted
ECTEL
2007
Springer
15 years 3 months ago
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst...
CADE
2002
Springer
15 years 9 months ago
Temporal Logic for Proof-Carrying Code
Andrew Bernard, Peter Lee