Search Sciweavers | Sciweavers

895 search results - page 1 / 179

» A Spectrum of Applications of Automated Reasoning

119

click to vote

CORR
2002
Springer

89views Education» more CORR 2002»

A Spectrum of Applications of Automated Reasoning

15 years 7 months ago

Download ftp.mcs.anl.gov

Larry Wos

claim paper

Read More »

175

Voted

LICS
2003
IEEE

90views Automated Reasoning» more LICS 2003»

The Planning Spectrum - One, Two, Three, Infinity

16 years 23 days ago

Download www.aaai.org

Marco Pistore, Moshe Y. Vardi

claim paper

Read More »

163

click to vote

ILP
2001
Springer

95views Automated Reasoning» more ILP 2001»

Discovering Associations between Spatial Objects: An ILP Application

15 years 12 months ago

Download staff.science.uva.nl

Donato Malerba, Francesca A. Lisi

claim paper

Read More »

173

click to vote

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

15 years 12 months ago

Download eprints.ecs.soton.ac.uk

Michael Leuschel, Stefan Gruner

claim paper

Read More »

130

click to vote

LOPSTR
1992
Springer

116views Automated Reasoning» more LOPSTR 1992»

Intensional Query Answering: An Application of Partial Evaluation

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers