188 search results - page 1 / 38 » What Is a Skeptical Proof |
94
Voted
KI
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...
109
click to vote
IJCAI
2007
15 years 2 months ago
2007
argumentation frameworks have played a major role as a way of understanding argumentbased inference, resulting in different argumentbased semantics. In order to make such semantic...
93
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and s...
102
Voted
COGSCI
2004
15 years 15 days ago
2004
Johnson-Laird and coworkers' Mental Model theory of propositional reasoning is shown to be somewhere in between what logicians have defined as "credulous" and "...
105
Voted
NDJFL
2000
15 years 13 days ago
2000
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...