Sciweavers

2303 search results - page 85 / 461
» On the logic of argumentation theory
Sort
View
JLP
2008
81views more  JLP 2008»
15 years 6 months ago
Soft Linear Set Theory
A formulation of na
Richard McKinley
AAAI
2011
14 years 6 months ago
Preferred Explanations: Theory and Generation via Planning
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
AMSTERDAM
2009
15 years 4 months ago
Cumulative Readings of Every Do Not Provide Evidence for Events and Thematic Roles
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
Lucas Champollion
FOSSACS
2005
Springer
15 years 12 months ago
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
Lutz Schröder
CORR
2004
Springer
119views Education» more  CORR 2004»
15 years 6 months ago
On Role Logic
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
Viktor Kuncak, Martin C. Rinard