3319 search results - page 86 / 664 » Subshifts, Languages and Logic |
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
105
Voted
FORMATS
2005
Springer
15 years 6 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
105
click to vote
WOA
2000
15 years 1 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
153
click to vote
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
World-set algebra is a variable-free query language for uncertain databases. It constitutes the core of the query language implemented in MayBMS, an uncertain database system. Thi...