Search Sciweavers | Sciweavers

3891 search results - page 37 / 779

» A logic for strategic reasoning

140

click to vote

KR
1994
Springer

109views Automated Reasoning» more KR 1994»

Reasoning in Logic about Continuous Systems

15 years 10 months ago

Download www.qrg.northwestern.edu

Benjamin Kuipers, Benjamin Shults

claim paper

Read More »

127

click to vote

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

15 years 10 months ago

Download www-ls.informatik.uni-tuebingen.de

Peter Schroeder-Heister

claim paper

Read More »

147

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

289

click to vote

DLOG
2006

333views Automated Reasoning» more DLOG 2006»

Automated Benchmarking of Description Logic Reasoners

15 years 7 months ago

Download www.comlab.ox.ac.uk

Tom Gardiner, Ian Horrocks, Dmitry Tsarkov

claim paper

Read More »

141

click to vote

DLOG
2006

192views Automated Reasoning» more DLOG 2006»

Binary Absorption in Tableaux-Based Reasoning for Description Logics

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers