3844 search results - page 315 / 769 » Modular interpreted systems |
126
click to vote
ENTCS
2007
15 years 4 months ago
2007
Polyadic coalgebraic modal logic is studied in the setting of locally presentable categories. It is shown that under certain assumptions, accessible functors admit expressive logi...
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...
119
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
Syntactic models should be descriptively adequate and parsable. A syntactic description is autonomous in the sense that it has certain explicitformal properties. Such a descriptio...
139
click to vote
COLING
2010
14 years 11 months ago
2010
Texts are commonly interpreted based on the entire discourse in which they are situated. Discourse processing has been shown useful for inference-based application; yet, most syst...
138
click to vote
DLOG
2007
15 years 7 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...