Sciweavers

460 search results - page 13 / 92
» A Principled Semantics for inp
Sort
View
COLING
2010
14 years 6 months ago
A Learnable Constraint-based Grammar Formalism
Lexicalized Well-Founded Grammar (LWFG) is a recently developed syntacticsemantic grammar formalism for deep language understanding, which balances expressiveness with provable le...
Smaranda Muresan
SYNTHESE
2010
70views more  SYNTHESE 2010»
14 years 10 months ago
What ought probably means, and why you can't detach it
: Some intuitive normative principles raise vexing „detaching problems‟ by their failure to license modus ponens. I examine three such principles (a self-reliance principle and...
Stephen Finlay
BIRTHDAY
2005
Springer
15 years 5 months ago
Main Concepts of Networks of Transformation Units with Interlinking Semantics
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz R...
ECOOP
2011
Springer
13 years 11 months ago
Verifying Multi-object Invariants with Relationships
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
Stephanie Balzer, Thomas R. Gross
CORR
2011
Springer
194views Education» more  CORR 2011»
14 years 6 months ago
Polarized Montagovian Semantics for the Lambek-Grishin calculus
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...
Arno Bastenhof