Sciweavers

31387 search results - page 321 / 6278

» Abstracting abstract machines

147

SLP
1994

88views more SLP 1994»

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

15 years 8 months ago

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

Download repository.readscheme.org

Neil D. Jones

claim paper

Read More »

136

UAI
1996

84views Artificial Intelligence» more UAI 1996»

Sound Abstraction of Probabilistic Actions in The Constraint Mass Assignment Framework

15 years 8 months ago

Sound Abstraction of Probabilistic Actions in The Constraint Mass Assignment Framework

Download www.iist.unu.edu

AnHai Doan, Peter Haddawy

claim paper

Read More »

127

AAAI
1990

63views Intelligent Agents» more AAAI 1990»

Rationality and its Roles in Reasoning (Extended Abstract)

15 years 8 months ago

Rationality and its Roles in Reasoning (Extended Abstract)

Download www.csc.ncsu.edu

Jon Doyle

claim paper

Read More »

99

AAAI
1990

59views Intelligent Agents» more AAAI 1990»

Learning Abstraction Hierarchies for Problem Solving

15 years 8 months ago

Learning Abstraction Hierarchies for Problem Solving

Download www.isi.edu

Craig A. Knoblock

claim paper

Read More »

136

AAAI
1990

107views Intelligent Agents» more AAAI 1990»

ABTWEAK: Abstracting a Nonlinear, Least Commitment Planner

15 years 8 months ago

ABTWEAK: Abstracting a Nonlinear, Least Commitment Planner

Download www.cse.ust.hk

Qiang Yang, Josh D. Tenenberg

claim paper

Read More »

« Prev « First page 321 / 6278 Last » Next »