Sciweavers

1917 search results - page 26 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
TPHOL
1995
IEEE
13 years 11 months ago
Experiments with ZF Set Theory in HOL and Isabelle
Sten Agerholm, Michael J. C. Gordon
KR
2010
Springer
14 years 10 days ago
Finding Explanations of Inconsistency in Multi-Context Systems
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
Thomas Eiter, Michael Fink, Peter Schüller, A...
ICLP
2010
Springer
13 years 11 months ago
Inductive Logic Programming as Abductive Search
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
Domenico Corapi, Alessandra Russo, Emil Lupu
AMAI
2006
Springer
13 years 7 months ago
On a rule-based interpretation of default conditionals
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
James P. Delgrande