Search Sciweavers | Sciweavers

3776 search results - page 101 / 756

» Partition-Based Logical Reasoning

click to vote

AI
2005
Springer

86views Artificial Intelligence» more AI 2005»

Partition-based logical reasoning for first-order and propositional theories

15 years 3 months ago

Download reason.cs.uiuc.edu

Eyal Amir, Sheila A. McIlraith

claim paper

Read More »

click to vote

SLOGICA
2008

52views more SLOGICA 2008»

Logic and Reasoning: do the facts matter?

15 years 3 months ago

Download www.illc.uva.nl

Johan van Benthem

claim paper

Read More »

111

click to vote

JAR
2007

67views more JAR 2007»

Optimizing Terminological Reasoning for Expressive Description Logics

15 years 3 months ago

Download www.image.ece.ntua.gr

Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schne...

claim paper

Read More »

112

click to vote

CORR
2000
Springer

106views Education» more CORR 2000»

Practical Reasoning for Very Expressive Description Logics

15 years 3 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Ulrike Sattler, Stephan Tobies

claim paper

Read More »

click to vote

JANCL
2000

47views more JANCL 2000»

A multimodal logic for reasoning about complementarity

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers