P. Cholewinski, V. Marek, A. Mikitiuk, and M. Truszczynski. Experimenting with nonmonotonic reasoning. In Proceedings of the International Conference on Logic Programming, pages 267-- Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Jumping to Conclusions - Sefranek (Correct)
....reasoning. 1 The state of the art was shifted considerably, 10] Signi cant progress in the domain led to some negative results. It has been shown that the inference speci ed by the formalizations of common sense reasoning is signi cantly harder than classical, monotonic inference, see [4, 5] (and many others) This paper is aiming at a re examination of the idea of jumping to conclusions. The basic formalizations of non monotonic reasoning use the idea of jumping to conclusions as characterized for example in [7] A reasoning agent can be said to be jumping to conclusions ....
Cholewinski, P., Marek, W., Mikitiuk, A., Truszczynski, M. Experimenting with Nonmonotonic Reasoning. Proc. 12th ICLP, MIT Press, 1995
Efficient Defeasible Reasoning Systems - Antoniou (2000) (9 citations) (Correct)
....the executions, except as noted. 6.1 Design of Experiments Our initial experiments are on parameterized problems designed to test different aspects of the implementations. We have not yet been able to create realistic random problems. Since defeasible logic has linear complexity, the approach of [9], which maps NP complete graph problems to default rules, is not applicable. In the experiments we focus on defeasible inference. The first group of problems test only undisputed inferences. In empty( there are no rules. In chain(n) a 0 is at the end of a chain of n rules a i 1 ) a i . In ....
P. Cholewinski, V. Marek, A. Mikitiuk and M. Truszczynski. Experimenting with Nonmonotonic Reasoning. In Proc. International Conference on Logic Programming, MIT Press, 1995, 267--281.
NoMoRe: Non-Monotonic Reasoning with Logic Programs - Anger, Konczak, Linke (2002) (Correct)
No context found.
P. Cholewinski, V. Marek, A. Mikitiuk, and M. Truszczynski. Experimenting with nonmonotonic reasoning. In Proceedings of the International Conference on Logic Programming, pages 267--
More on noMoRe - Linke, Anger, Konczak (2002) (1 citation) (Correct)
No context found.
P. Cholewinski, V. Marek, A. Mikitiuk, and M. Truszczynski. Experimenting with nonmonotonic reasoning. In Proc. of the International Conference on Logic Programming, p. 267--281. MIT Press, 1995.
Alternative foundations for Reiter's default logic - Linke, Schaub (2000) (3 citations) (Correct)
No context found.
P. Cholewinski, V. Marek, A. Mikitiuk, and M. Truszczynski. Experimenting with nonmonotonic reasoning. In L. Sterling, editor, Proceedings of the International Conference on Logic Programming, pages 267--281. MIT Press, 1995.
Graph Theoretical Characterization and Computation of Answer Sets - Linke (2001) (2 citations) (Correct)
No context found.
P. Cholewinski, V. Marek, A. Mikitiuk, and M. Truszczy nski. Experimenting with nonmonotonic reasoning. In Proc. of the Int. Conf. on Logic Programming, pp. 267--281. MIT Press, 1995.
A Deductive System for - Non-Monotonic Reasoning Thomas (Correct)
No context found.
P. Cholewi'nski, V.W. Marek, A. Mikitiuk, M. Truszczy'nski. Experimenting with Nonmonotonic Reasoning, In Proc. ICLP '95, pp.267--281, MIT Press, 1995.
Efficient Defeasible Reasoning Systems - Maher (2001) (9 citations) (Correct)
No context found.
P. Cholewinski, V. Marek, A. Mikitiuk and M. Truszczynski, Experimenting with Nonmonotonic Reasoning, in Proc. International Conference on Logic Programming, MIT Press, (1995) 267--281.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC