5451 search results - page 271 / 1091 » Typed Operational Semantics |
154
Voted
CLA
2007
15 years 6 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
137
Voted
COLING
2002
15 years 4 months ago
2002
We propose a formal characterization of variation in the syntactic realization of semantic arguments, using hierarchies of syntactic relations and thematic roles, and a mechanism ...
142
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We present an algorithm that takes an unannotated corpus as its input, and returns a ranked list of probable morphologically related pairs as its output. The algorithm tries to di...
119
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
We focus on the productionof efficient descriptionsof objects, actions and events. We define a type of efficiency, textualeconomy, thatexploitsthe hearer’s recognitionof infe...
184
click to vote
IBERAMIA
2010
Springer
15 years 2 months ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...