Search Sciweavers | Sciweavers

895 search results - page 1 / 179

» A Spectrum of Applications of Automated Reasoning

108

Voted

CORR
2002
Springer

89views Education» more CORR 2002»

A Spectrum of Applications of Automated Reasoning

15 years 6 months ago

Download ftp.mcs.anl.gov

Larry Wos

claim paper

Read More »

157

click to vote

LICS
2003
IEEE

90views Automated Reasoning» more LICS 2003»

The Planning Spectrum - One, Two, Three, Infinity

16 years 3 days ago

Download www.aaai.org

Marco Pistore, Moshe Y. Vardi

claim paper

Read More »

149

Voted

ILP
2001
Springer

95views Automated Reasoning» more ILP 2001»

Discovering Associations between Spatial Objects: An ILP Application

15 years 11 months ago

Download staff.science.uva.nl

Donato Malerba, Francesca A. Lisi

claim paper

Read More »

158

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 11 months ago

Download eprints.ecs.soton.ac.uk

Michael Leuschel, Stefan Gruner

claim paper

Read More »

121

Voted

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