Sciweavers

4617 search results - page 165 / 924

» Automation of Diagrammatic Reasoning

116

Voted

ICCBR
2009
Springer

98views Automated Reasoning» more ICCBR 2009»

Opportunistic Adaptation Knowledge Discovery

16 years 28 days ago

Opportunistic Adaptation Knowledge Discovery

Download www.loria.fr

Fadi Badra, Amélie Cordier, Jean Lieber

claim paper

Read More »

124

ICCBR
2009
Springer

103views Automated Reasoning» more ICCBR 2009»

Efficiently Implementing Episodic Memory

16 years 28 days ago

Efficiently Implementing Episodic Memory

Download sitemaker.umich.edu

Nate Derbinsky, John E. Laird

claim paper

Read More »

160

LOPSTR
2009
Springer

218views Automated Reasoning» more LOPSTR 2009»

Towards Scalable Partial Evaluation of Declarative Programs

16 years 28 days ago

Towards Scalable Partial Evaluation of Declarative Programs

Download users.dsic.upv.es

Germán Vidal

claim paper

Read More »

104

LPNMR
2009
Springer

122views Automated Reasoning» more LPNMR 2009»

SAT, SMT and Applications

16 years 28 days ago

SAT, SMT and Applications

Download fmv.jku.at

Armin Biere

claim paper

Read More »

111

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode

16 years 28 days ago

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode

Download www.cs.uni-potsdam.de

Torsten Schaub

claim paper

Read More »

« Prev « First page 165 / 924 Last » Next »