Sciweavers

327 search results - page 34 / 66
» Semantics for Evidence-Based Argumentation
Sort
View
CL
2000
Springer
13 years 7 months ago
Semantics of well-moded input-consuming logic programs
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
Annalisa Bossi, Sandro Etalle, Sabina Rossi
SEMCO
2009
IEEE
14 years 2 months ago
LexPar: A Freely Available English Paraphrase Lexicon Automatically Extracted from FrameNet
—This is a paper about a new resource, namely an English paraphrase dictionary extracted from the FrameNet lexicon and its example data base. I. THE LEXPAR PARAPHRASE DICTIONARY ...
Bob Coyne, Owen Rambow
PEPM
1993
ACM
13 years 11 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange
LREC
2010
141views Education» more  LREC 2010»
13 years 9 months ago
Propbank Frameset Annotation Guidelines Using a Dedicated Editor, Cornerstone
This paper gives guidelines of how to create and update Propbank frameset files using a dedicated editor, Cornerstone. Propbank is a corpus in which the arguments of each verb pre...
Jinho D. Choi, Claire Bonial, Martha Palmer
LREC
2010
186views Education» more  LREC 2010»
13 years 9 months ago
Bank of Russian Constructions and Valencies
The Bank of Russian Constructions and Valencies (Russian FrameBank) is an annotation project that takes as input samples from the Russian National Corpus (http://www.ruscorpora.ru...
Olga Lyashevskaya