Sciweavers

2649 search results - page 15 / 530
» Temporal Theories of Reasoning
Sort
View
CADE
2003
Springer
16 years 2 days ago
TRP++2.0: A Temporal Resolution Prover
Ullrich Hustadt, Boris Konev
IJCAI
1989
15 years 28 days ago
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
Erik Sandewall
TIME
2006
IEEE
15 years 5 months ago
From Language to Time: A Temporal Expression Anchorer
Benjamin Han, Donna Gates, Lori S. Levin