Sciweavers

955 search results - page 6 / 191

» Tractable Temporal Reasoning

15

ECAI
2004
Springer

101views Artificial Intelligence» more ECAI 2004»

A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning

14 years 1 months ago

A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning

Download www.cril.univ-artois.fr

Sylvie Coste-Marquis, Pierre Marquis

claim paper

Read More »

16

IJCAI
1989

67views Artificial Intelligence» more IJCAI 1989»

Vivid Knowledge and Tractable Reasoning

13 years 8 months ago

Vivid Knowledge and Tractable Reasoning

Download dli.iiit.ac.in

David W. Etherington, Alexander Borgida, Ronald J....

claim paper

Read More »

21

IJIS
2000

38views more IJIS 2000»

Reasoning tractably about explicit belief: A model-theoretic approach

13 years 7 months ago

Reasoning tractably about explicit belief: A model-theoretic approach

Download www.iis.sinica.edu.tw

Kwang Mong Sim

claim paper

Read More »

7

IJCAI
2003

71views Artificial Intelligence» more IJCAI 2003»

Tractable Pareto Optimization of Temporal Preferences

13 years 9 months ago

Tractable Pareto Optimization of Temporal Preferences

Download dli.iiit.ac.in

Lina Khatib, Paul H. Morris, Robert A. Morris, Kri...

claim paper

Read More »

23

ATAL
2005
Springer

129views Intelligent Agents» more ATAL 2005»

A logic for strategic reasoning

14 years 1 months ago

A logic for strategic reasoning

Download www.cs.huji.ac.il

Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...

Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...

claim paper

Read More »

« Prev « First page 6 / 191 Last » Next »