5378 search results - page 84 / 1076 » Base Logics in Argumentation |
138
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
160
click to vote
AML
2010
15 years 6 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
160
click to vote
IJCAI
2007
15 years 7 months ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
194
click to vote
ECSQARU
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
198
click to vote
LFCS
2009
Springer
16 years 15 days ago
2009
Springer
We study computational aspects of a probabilistic logic based on a well-known model of induction by Valiant. We prove that for this paraconsistent logic the set of valid formulas ...