Search Sciweavers | Sciweavers

13090 search results - page 277 / 2618

» Usable artificial intelligence

100

click to vote

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 »

175

click to vote

AISC
2010
Springer

284views Artificial Intelligence» more AISC 2010»

Proviola: A Tool for Proof Re-animation

15 years 8 months ago

Download www.cs.ru.nl

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

claim paper

Read More »

114

click to vote

AISC
2008
Springer

69views Artificial Intelligence» more AISC 2008»

Herbrand Sequent Extraction

15 years 8 months ago

Download www.logic.at

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

claim paper

Read More »

119

click to vote

AISC
2008
Springer

68views Artificial Intelligence» more AISC 2008»

Specifying Strategies for Exercises

15 years 8 months ago

Download ideas.cs.uu.nl

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

claim paper

Read More »

107

click to vote

AUSAI
2008
Springer

79views Artificial Intelligence» more AUSAI 2008»

Introspective Forgetting

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers