Search Sciweavers | Sciweavers

895 search results - page 1 / 179

» A Spectrum of Applications of Automated Reasoning

Voted

CORR
2002
Springer

89views Education» more CORR 2002»

A Spectrum of Applications of Automated Reasoning

15 years 2 months ago

Download ftp.mcs.anl.gov

Larry Wos

claim paper

Read More »

113

click to vote

LICS
2003
IEEE

90views Automated Reasoning» more LICS 2003»

The Planning Spectrum - One, Two, Three, Infinity

15 years 8 months ago

Download www.aaai.org

Marco Pistore, Moshe Y. Vardi

claim paper

Read More »

Voted

ILP
2001
Springer

95views Automated Reasoning» more ILP 2001»

Discovering Associations between Spatial Objects: An ILP Application

15 years 7 months ago

Download staff.science.uva.nl

Donato Malerba, Francesca A. Lisi

claim paper

Read More »

101

Voted

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

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

15 years 7 months ago

Download eprints.ecs.soton.ac.uk

Michael Leuschel, Stefan Gruner

claim paper

Read More »

Voted

LOPSTR
1992
Springer

116views Automated Reasoning» more LOPSTR 1992»

Intensional Query Answering: An Application of Partial Evaluation

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers