Sciweavers

2303 search results - page 10 / 461
» On the logic of argumentation theory
Sort
View
SYNTHESE
2011
177views more  SYNTHESE 2011»
13 years 2 months ago
Quantum logic as a dynamic logic
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
Alexandru Baltag, Sonja Smets
ICTAI
2005
IEEE
14 years 1 months ago
Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
Geoffroy Aubry, Vincent Risch
EON
2008
13 years 9 months ago
Debugging OWL Ontologies - A Reality Check
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
Heiner Stuckenschmidt
ECSQARU
2009
Springer
14 years 2 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
Vasiliki Efstathiou, Anthony Hunter
COMMA
2008
13 years 9 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