260 search results - page 2 / 52 » Monodic Temporal Resolution |
INTERSPEECH
2010
12 years 11 months ago
2010
In speech research using real-time magnetic resonance imaging (RT-MRI), frame reconstruction is typically performed with a constant temporal resolution. However, a flexible select...
KR
2010
Springer
13 years 9 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
CIKM
2011
Springer
12 years 4 months ago
2011
Springer
We investigate temporal resolution of documents, such as determining the date of publication of a story based on its text. We describe and evaluate a model that build histograms e...
AMAI
2006
Springer
13 years 5 months ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL