5378 search results - page 104 / 1076 » Base Logics in Argumentation |
188
click to vote
DALT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
175
click to vote
ICML
1989
IEEE
15 years 10 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
169
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
165
click to vote
RULEML
2009
Springer
16 years 17 days ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
185
click to vote
LANMR
2007
15 years 7 months ago
2007
Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...