Sciweavers

4573 search results - page 163 / 915

» Automated Reasoning

140

ECSQARU
2005
Springer

98views Automated Reasoning» more ECSQARU 2005»

APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability

15 years 12 months ago

APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability

Download www.bowdoin.edu

Stephen M. Majercik

claim paper

Read More »

110

ICCBR
2005
Springer

80views Automated Reasoning» more ICCBR 2005»

Abstracting Reusable Cases from Reinforcement Learning

15 years 12 months ago

Abstracting Reusable Cases from Reinforcement Learning

Download www.cc.gatech.edu

Andreas von Hessling, Ashok K. Goel

claim paper

Read More »

116

ICLP
2005
Springer

109views Automated Reasoning» more ICLP 2005»

Concurrent Methodologies for Global Optimization

15 years 12 months ago

Concurrent Methodologies for Global Optimization

Download www.dmi.units.it

Luca Bortolussi

claim paper

Read More »

126

ICLP
2005
Springer

96views Automated Reasoning» more ICLP 2005»

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis

15 years 12 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 »

110

ICLP
2005
Springer

74views Automated Reasoning» more ICLP 2005»

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

15 years 12 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 »