Sciweavers

12993 search results - page 36 / 2599

» Artificial Intelligence in China

25

KI
2009
Springer

134views Artificial Intelligence» more KI 2009»

Comparing Unification Algorithms in First-Order Theorem Proving

14 years 2 months ago

Comparing Unification Algorithms in First-Order Theorem Proving

Download www.cs.man.ac.uk

Krystof Hoder, Andrei Voronkov

claim paper

Read More »

22

LFCS
2009
Springer

202views Artificial Intelligence» more LFCS 2009»

The NP-Completeness of Reflected Fragments of Justification Logics

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

26

LORI
2009
Springer

206views Artificial Intelligence» more LORI 2009»

Can Doxastic Agents Learn? On the Temporal Structure of Learning

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

28

LORI
2009
Springer

212views Artificial Intelligence» more LORI 2009»

Toward a Dynamic Logic of Questions

14 years 2 months ago

Toward a Dynamic Logic of Questions

Download www.illc.uva.nl

Johan van Benthem, Stefan Minica

claim paper

Read More »

25

SARA
2009
Springer

239views Artificial Intelligence» more SARA 2009»

Abstract Planning with Unknown Object Quantities and Properties

14 years 2 months ago

Abstract Planning with Unknown Object Quantities and Properties

Download www.cs.umass.edu

Siddharth Srivastava, Neil Immerman, Shlomo Zilber...

claim paper

Read More »

« Prev « First page 36 / 2599 Last » Next »