2496 search results - page 322 / 500 » Error-detecting properties of languages |
152
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
120
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Preferences and uncertainty are common in many real-life problems. In this paper, we focus on bipolar preferences and on uncertainty modelled via uncontrollable variables. However,...
124
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
101
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
129
Voted
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...