846 search results - page 42 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
178
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
189
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
106
click to vote
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
ICLP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
98
Voted
AINA
2007
IEEE
15 years 5 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...