Sciweavers

3653 search results - page 338 / 731
» Learning of Partial Languages
Sort
View
CAISE
2004
Springer
16 years 4 days ago
Data Integration Using ID-Logic
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
Bert Van Nuffelen, Alvaro Cortés-Calabuig, ...
148
Voted
ICCHP
2004
Springer
16 years 3 days ago
First User Test Results with the Predictive Typing System FASTY
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
Christian Beck, Gottfried Seisenbacher, Georg Edel...
INLG
2004
Springer
16 years 3 days ago
Categorization of Narrative Semantics for Use in Generative Multidocument Summarization
The generative summarization of textual stories has been one of the goals of computational narratology since attempts at full semantic NLU in the ’70s. Our NLP group has recently...
David K. Elson
INLG
2004
Springer
16 years 3 days ago
Context-Based Incremental Generation for Dialogue
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
Matthew Purver, Ruth Kempson
POPL
1999
ACM
15 years 11 months ago
A Core Calculus of Dependency
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
Martín Abadi, Anindya Banerjee, Nevin Heint...