Search Sciweavers | Sciweavers

859 search results - page 34 / 172

» Abduction in Temporal Reasoning

click to vote

TIME
1994
IEEE

101views Automated Reasoning» more TIME 1994»

A Temporal Structure that Distinguishes between the Past, Present, and Future

14 years 29 days ago

Download www2.cs.uregina.ca

We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...

André Trudel

claim paper

Read More »

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

14 years 2 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

click to vote

LPAR
2010
Springer

148views Automated Reasoning» more LPAR 2010»

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

13 years 6 months ago

Download www.cs.rice.edu

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi

claim paper

Read More »

click to vote

FLAIRS
2006

102views Artificial Intelligence» more FLAIRS 2006»

On-line Qualitative Temporal Reasoning with Explanation

13 years 10 months ago

Download www.aaai.org

This work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective...

Debasis Mitra, Florent Launay

claim paper

Read More »

click to vote

TIME
2003
IEEE

92views Automated Reasoning» more TIME 2003»

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers