1127 search results - page 177 / 226 » Theory Extension in ACL2(r) |
157
click to vote
FOIS
2010
15 years 7 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...
134
click to vote
GRAPHICSINTERFACE
2007
15 years 7 months ago
2007
Isochords is a visualization of music that aids in the classification of musical structure. The Isochords visualization highlights the consonant intervals between notes and commo...
152
click to vote
AAAI
2004
15 years 7 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 (...
183
click to vote
AAAI
2004
15 years 7 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
147
click to vote
ACL
2004
15 years 7 months ago
2004
We explore the descriptive power, in terms of syntactic phenomena, of a formalism that extends TreeAdjoining Grammar (TAG) by adding a fourth level of hierarchical decomposition t...