2303 search results - page 84 / 461 » On the logic of argumentation theory |
145
click to vote
FSS
2010
15 years 4 months ago
2010
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
168
click to vote
CSL
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
201
click to vote
JAIR
2012
13 years 8 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
200
click to vote
AAAI
2007
15 years 8 months ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
142
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We investigate the relation between the theory of the iterations in the sense of Shelah-Stupp and of Muchnik, resp., and the theory of the base structure for several logics. These ...