Sciweavers

ACL
2007
13 years 5 months ago
On the formalization of Invariant Mappings for Metaphor Interpretation
In this paper we provide a formalization of a set of default rules that we claim are required for the transfer of information such as causation, event rate and duration in the int...
Rodrigo Agerri, John A. Barnden, Mark G. Lee, Alan...
CONTEXT
2007
Springer
13 years 9 months ago
Default Inferences in Metaphor Interpretation
In this paper we provide a formalization of a set of default rules that we claim are required for the transfer of information such as causation, event rate and duration in the inte...
Rodrigo Agerri, John A. Barnden, Mark G. Lee, Alan...
SAT
2009
Springer
121views Hardware» more  SAT 2009»
13 years 10 months ago
The Complexity of Reasoning for Fragments of Default Logic
Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as Σp 2-complete, an...
Olaf Beyersdorff, Arne Meier, Michael Thomas, Heri...