713 search results - page 5 / 143 » Syntax and Semantics of Babel-17 |
AAAI
2011
12 years 8 months ago
2011
We present a method for dependency grammar induction that utilizes sparse annotations of semantic relations. This induction set-up is attractive because such annotations provide u...
CADE
2000
Springer
14 years 23 days ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...
ECAI
2000
Springer
14 years 22 days ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
ICCS
1995
Springer
13 years 12 months ago
1995
Springer
Thenotion of context is indispensable in discussions of meaning,but the wordcontext has often beenusedin conflicting senses. In logic, the first representation of contextas a forma...