Sciweavers

4978 search results - page 11 / 996
» Logical models of argument
Sort
View
99
Voted
FBIT
2007
IEEE
15 years 4 months ago
Rough Set Based Information Retrieval from Argumentative Data Points in Weblogs
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
Sea Woo Kim, Chin-Wan Chung
84
Voted
OTM
2004
Springer
15 years 3 months ago
Cases and Dialectical Arguments - An Approach to Case-Based Reasoning
Case-based reasoning in the law is a reasoning strategy in which legal conclusions are supported by decisions made by judges. If the case at hand is analogous to a settled case, th...
Bram Roth, Bart Verheij
95
Voted
COMMA
2008
14 years 11 months ago
Arguments in OWL: A Progress Report
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
Iyad Rahwan, Bita Banihashemi
83
Voted
ECAI
2000
Springer
15 years 2 months ago
An Argumentation-Theoretic Characterization of Defeasible Logic
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentatio...
Guido Governatori, Michael J. Maher
AI
2004
Springer
14 years 10 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa