Sciweavers

3776 search results - page 3 / 756

» Partition-Based Logical Reasoning

43

CADE
1997
Springer

313views Logical Reasoning» more CADE 1997»

Nuprl-Light: An Implementation Framework for Higher-Order Logics

13 years 10 months ago

Nuprl-Light: An Implementation Framework for Higher-Order Logics

Download files.metaprl.org

Jason J. Hickey

claim paper

Read More »

48

CADE
2010
Springer

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

13 years 7 months ago

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Download www.comlab.ox.ac.uk

Despoina Magka, Yevgeny Kazakov, Ian Horrocks

claim paper

Read More »

27

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

13 years 10 months ago

Reducing Model Checking of the Many to the Few

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

30

CADE
2000
Springer

91views Logical Reasoning» more CADE 2000»

Support Ordered Resolution

13 years 10 months ago

Support Ordered Resolution

Download www.cs.unb.ca

Bruce Spencer, Joseph Douglas Horton

claim paper

Read More »

23

CADE
1999
Springer

156views Logical Reasoning» more CADE 1999»

Extensional Higher-Order Paramodulation and RUE-Resolution

13 years 10 months ago

Extensional Higher-Order Paramodulation and RUE-Resolution

Download www.ags.uni-sb.de

Christoph Benzmüller

claim paper

Read More »

« Prev « First page 3 / 756 Last » Next »