Sciweavers

713 search results - page 40 / 143
» Syntax and Semantics of Babel-17
Sort
View
LPNMR
2007
Springer
14 years 2 months ago
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
Joohyung Lee, Ravi Palla
ICFCA
2004
Springer
14 years 1 months ago
Background Knowledge in Concept Graphs
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
Frithjof Dau
ECAI
1994
Springer
14 years 18 days ago
Interpreting Common Words in Context: a Symbolic Approach
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...
Violaine Prince
EACL
1993
ACL Anthology
13 years 9 months ago
Towards a proper treatment of coercion phenomena
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
Danièle Godard, Jacques Jayez
NAACL
1994
13 years 9 months ago
Pattern Matching in a Linguistically-Motivated Text Understanding System
An ongoing debate in text understanding efforts centers on the use of pattern-matching techniques, which some have characterized as "designed to ignore as much text as possib...
Damaris M. Ayuso