Sciweavers

2303 search results - page 103 / 461
» On the logic of argumentation theory
Sort
View
DAWAK
2009
Springer
15 years 11 months ago
Arguing from Experience to Classifying Noisy Data
A process, based on argumentation theory, is described for classifying very noisy data. More specifically a process founded on a concept called “arguing from experience” is des...
Maya Wardeh, Frans Coenen, Trevor J. M. Bench-Capo...
PODS
2008
ACM
120views Database» more  PODS 2008»
16 years 6 months ago
Effective characterizations of tree logics
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
Mikolaj Bojanzyk
AIML
2008
15 years 7 months ago
Three 13th-century views of quantified modal logic
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study th...
Sara L. Uckelman
ENTCS
2002
112views more  ENTCS 2002»
15 years 6 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
ARGMAS
2007
Springer
15 years 10 months ago
Arguing and Explaining Classifications
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...
Leila Amgoud, Mathieu Serrurier