Sciweavers

1917 search results - page 26 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
74
Voted
TPHOL
1995
IEEE
15 years 4 months ago
Experiments with ZF Set Theory in HOL and Isabelle
Sten Agerholm, Michael J. C. Gordon
KR
2010
Springer
15 years 5 months 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
15 years 4 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
84
Voted
AMAI
2006
Springer
15 years 25 days 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