3793 search results - page 294 / 759 » Expressive Description Logics |
196
Voted
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Tree-walking automata (TWAs) recently received new attention in the fields of formal languages and databases. Towards a better understanding of their expressiveness, we c...
160
click to vote
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
200
click to vote
AGP
2003
IEEE
16 years 15 hour ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
165
click to vote
TGC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
169
click to vote
FORMATS
2005
Springer
16 years 7 days 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...