2296 search results - page 176 / 460 » The Expressive Power of Synchronizations |
188
click to vote
AIML
2008
15 years 8 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
116
click to vote
AAAI
2010
15 years 8 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...
147
click to vote
COLING
2008
15 years 8 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...
194
click to vote
AIML
2006
15 years 8 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 ...
160
click to vote
EACL
2003
ACL Anthology
15 years 8 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...