1699 search results - page 113 / 340 » On the Expressive Power of QLTL |
109
Voted
AAAI
2010
15 years 7 months ago
2010
We carry out a comparative study of the expressive power of different ontologies of matter in terms of the ease with which simple physical knowledge can be represented. In particu...
141
click to vote
COLING
2008
15 years 7 months ago
2008
We introduce a new type of discourse constraints for the interaction of discourse relations with the configuration of discourse segments. We examine corpus-extracted examples as s...
189
click to vote
AIML
2006
15 years 7 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
147
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
Finite structure query (fsq for short) is a tool for querying syntactically annotated corpora. fsq employs a query language of high expressive power, namely full first order logi...
165
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...