1059 search results - page 162 / 212 » Unification-Based Semantic Interpretation |
128
click to vote
ACL
2008
15 years 6 months ago
2008
Developing a full coreference system able to run all the way from raw text to semantic interpretation is a considerable engineering effort. Accordingly, there is very limited avai...
131
Voted
FOIS
2010
15 years 6 months ago
2010
In a series of publications, we have employed ontological theories and principles used to evaluate and improve the quality of conceptual modeling grammars and models. In this artic...
119
Voted
IJCAI
2007
15 years 6 months ago
2007
In this paper, we present the agent programming language TEAMGOLOG, which is a novel approach to programming a team of cooperative agents under partial observability. Every agent ...
131
Voted
AAAI
2004
15 years 6 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
125
click to vote
AAAI
2004
15 years 6 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...