Sciweavers

452 search results - page 28 / 91
» Predicative semantics of loops
Sort
View
FOAL
2007
ACM
13 years 11 months ago
Specializing continuations a model for dynamic join points
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
Christopher Dutchyn
COLING
2000
13 years 9 months ago
Informed Parsing for Coordination with Combinatory Categorial Grammar
Coordination in natural language hamlmrs ef tieient parsing, especially due to the multiple and mostly unintended candidate conjuncts/disjmmts in a given sentence that shows struc...
Jong C. Park, Hyung Joon Cho
COLING
1990
13 years 8 months ago
CLG(n): Constraint Logic Grammars
: CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and iexical information and princ...
Sergio Balari, Giovanni B. Varile, Luís Dam...
ACL
2010
13 years 5 months ago
Generating Entailment Rules from FrameNet
Many NLP tasks need accurate knowledge for semantic inference. To this end, mostly WordNet is utilized. Yet WordNet is limited, especially for inference between predicates. To hel...
Roni Ben Aharon, Idan Szpektor, Ido Dagan
EPIA
2005
Springer
14 years 1 months ago
Revised Stable Models - A Semantics for Logic Programs
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...
Luís Moniz Pereira, Alexandre Miguel Pinto