Sciweavers

3776 search results - page 17 / 756
» Partition-Based Logical Reasoning
Sort
View
72
Voted
CADE
1992
Springer
15 years 1 months ago
An Improved Method for Adding Equality to Free Variable Semantic Tableaux
Tableau
Bernhard Beckert, Reiner Hähnle
DLOG
2004
14 years 11 months ago
The Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application
Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
IAT
2008
IEEE
15 years 3 months ago
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
Efstratios Kontopoulos, Nick Bassiliades, Guido Go...