2303 search results - page 56 / 461 » On the logic of argumentation theory |
149
click to vote
DALT
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
166
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
In this work, we introduce a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced i...
135
click to vote
ICSEA
2007
IEEE
16 years 15 days ago
2007
IEEE
Highly successful scientific disciplines have at least one common denominator; they have developed unified theories that span a large set of phenomena within the discipline. The d...
146
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
Recent work in the philosophy of science has generated an apparent conflict between theories attempting to explicate the nature of scientific representation. On one side, there are...
179
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...