Sciweavers

13827 search results - page 72 / 2766

» The state of artificial intelligence

25

KI
2009
Springer

109views Artificial Intelligence» more KI 2009»

Solving Non-deterministic Planning Problems with Pattern Database Heuristics

14 years 4 months ago

Solving Non-deterministic Planning Problems with Pattern Database Heuristics

Download www.informatik.uni-freiburg.de

Pascal Bercher, Robert Mattmüller

claim paper

Read More »

30

KI
2009
Springer

134views Artificial Intelligence» more KI 2009»

Comparing Unification Algorithms in First-Order Theorem Proving

14 years 4 months ago

Comparing Unification Algorithms in First-Order Theorem Proving

Download www.cs.man.ac.uk

Krystof Hoder, Andrei Voronkov

claim paper

Read More »

27

LFCS
2009
Springer

202views Artificial Intelligence» more LFCS 2009»

The NP-Completeness of Reflected Fragments of Justification Logics

14 years 4 months ago

The NP-Completeness of Reflected Fragments of Justification Logics

Download www.iam.unibe.ch

Samuel R. Buss, Roman Kuznets

claim paper

Read More »

30

LORI
2009
Springer

206views Artificial Intelligence» more LORI 2009»

Can Doxastic Agents Learn? On the Temporal Structure of Learning

14 years 4 months ago

Can Doxastic Agents Learn? On the Temporal Structure of Learning

Download staff.science.uva.nl

Cédric Dégremont, Nina Gierasimczuk

claim paper

Read More »

32

LORI
2009
Springer

212views Artificial Intelligence» more LORI 2009»

Toward a Dynamic Logic of Questions

14 years 4 months ago

Toward a Dynamic Logic of Questions

Download www.illc.uva.nl

Johan van Benthem, Stefan Minica

claim paper

Read More »

« Prev « First page 72 / 2766 Last » Next »