Sciweavers

4573 search results - page 163 / 915

» Automated Reasoning

112

Voted

ECSQARU
2005
Springer

98views Automated Reasoning» more ECSQARU 2005»

APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability

15 years 9 months ago

APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability

Download www.bowdoin.edu

Stephen M. Majercik

claim paper

Read More »

81

Voted

ICCBR
2005
Springer

80views Automated Reasoning» more ICCBR 2005»

Abstracting Reusable Cases from Reinforcement Learning

15 years 9 months ago

Abstracting Reusable Cases from Reinforcement Learning

Download www.cc.gatech.edu

Andreas von Hessling, Ashok K. Goel

claim paper

Read More »

80

Voted

ICLP
2005
Springer

109views Automated Reasoning» more ICLP 2005»

Concurrent Methodologies for Global Optimization

15 years 9 months ago

Concurrent Methodologies for Global Optimization

Download www.dmi.units.it

Luca Bortolussi

claim paper

Read More »

96

Voted

ICLP
2005
Springer

96views Automated Reasoning» more ICLP 2005»

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis

15 years 9 months ago

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis

Download www.informatik.uni-ulm.de

Thom W. Frühwirth

claim paper

Read More »

78

Voted

ICLP
2005
Springer

74views Automated Reasoning» more ICLP 2005»

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

15 years 9 months ago

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

Download www.cs.bris.ac.uk

Oliver Ray

claim paper

Read More »

« Prev « First page 163 / 915 Last » Next »