Sciweavers

859 search results - page 24 / 172

» Abduction in Temporal Reasoning

24

TIME
1994
IEEE

149views Automated Reasoning» more TIME 1994»

An Application-independent Support System for Integrated Assumption-based Temporal Reasoning

14 years 29 days ago

An Application-independent Support System for Integrated Assumption-based Temporal Reasoning

Download www2.cs.uregina.ca

Clemens Beckstein, Tim Geisler

claim paper

Read More »

26

DLOG
2004

79views Automated Reasoning» more DLOG 2004»

Reasoning on Temporal Conceptual Schemas with Dynamic Constraints

13 years 10 months ago

Reasoning on Temporal Conceptual Schemas with Dynamic Constraints

Download sunsite.informatik.rwth-aachen.de

Alessandro Artale

claim paper

Read More »

21

CADE
2003
Springer

97views Logical Reasoning» more CADE 2003»

Monodic Temporal Resolution

14 years 9 months ago

Monodic Temporal Resolution

Download www.csc.liv.ac.uk

Anatoli Degtyarev, Michael Fisher, Boris Konev

claim paper

Read More »

23

CADE
2003
Springer

112views Logical Reasoning» more CADE 2003»

TRP++2.0: A Temporal Resolution Prover

14 years 9 months ago

TRP++2.0: A Temporal Resolution Prover

Download www.csc.liv.ac.uk

Ullrich Hustadt, Boris Konev

claim paper

Read More »

27

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

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

14 years 3 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 »

« Prev « First page 24 / 172 Last » Next »