Sciweavers

2649 search results - page 15 / 530

» Temporal Theories of Reasoning

90

CADE
2003
Springer

112views Logical Reasoning» more CADE 2003»

TRP++2.0: A Temporal Resolution Prover

16 years 2 days ago

TRP++2.0: A Temporal Resolution Prover

Download www.csc.liv.ac.uk

Ullrich Hustadt, Boris Konev

claim paper

Read More »

100

IJCAI
1989

111views Artificial Intelligence» more IJCAI 1989»

Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds

15 years 28 days ago

Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds

Download dli.iiit.ac.in

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

claim paper

Read More »

88

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

15 years 6 months ago

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

Download www.ing.unibs.it

Alfonso Gerevini

claim paper

Read More »

77

TIME
2006
IEEE

92views Automated Reasoning» more TIME 2006»

A Decidable Temporal Logic for Events and States

15 years 5 months ago

A Decidable Temporal Logic for Events and States

Download www.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

82

TIME
2006
IEEE

81views Automated Reasoning» more TIME 2006»

From Language to Time: A Temporal Expression Anchorer

15 years 5 months ago

From Language to Time: A Temporal Expression Anchorer

Download www.cs.cmu.edu

Benjamin Han, Donna Gates, Lori S. Levin

claim paper

Read More »

« Prev « First page 15 / 530 Last » Next »