1162 search results - page 120 / 233 » Monotonic Semantic Interpretation |
ACL
1989
15 years 9 days ago
1989
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
IJCAI
1989
15 years 9 days ago
1989
A new formalism for building network models in Prolog is proposed. It is based on a new semantic interpretation of the Prolog variables and clauses, which are used to represent th...
CNL
2009
15 years 7 days ago
2009
Controlled natural languages (CNL) and computational semantics in general do not address word sense disambiguation, i.e., they tend to interpret only some functional words that are...
APAL
2006
14 years 11 months ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...
AML
2002
14 years 11 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...