Search Sciweavers | Sciweavers

13827 search results - page 326 / 2766

» The state of artificial intelligence

111

Voted

FLAIRS
2008

83views Artificial Intelligence» more FLAIRS 2008»

Automatic Retrieval of Definitions in Texts, in Accordance with a General Linguistic Ontology

15 years 9 months ago

Download www.aaai.org

Charles Teissèdre, Brahim Djioua, Jean-Pier...

claim paper

Read More »

192

click to vote

AISC
2010
Springer

284views Artificial Intelligence» more AISC 2010»

Proviola: A Tool for Proof Re-animation

15 years 9 months ago

Download www.cs.ru.nl

Carst Tankink, Herman Geuvers, James McKinna, Free...

claim paper

Read More »

129

click to vote

AISC
2008
Springer

69views Artificial Intelligence» more AISC 2008»

Herbrand Sequent Extraction

15 years 9 months ago

Download www.logic.at

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Br...

claim paper

Read More »

132

click to vote

AISC
2008
Springer

68views Artificial Intelligence» more AISC 2008»

Specifying Strategies for Exercises

15 years 9 months ago

Download ideas.cs.uu.nl

Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen...

claim paper

Read More »

123

click to vote

AUSAI
2008
Springer

79views Artificial Intelligence» more AUSAI 2008»

Introspective Forgetting

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers