2138 search results - page 332 / 428 » Logics for the Relational Syllogistic |
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
Faced with growing knowledge management needs, enterprises are increasingly realizing the importance of seamlessly integrating critical business information distributed across bot...
EUROPKI
2004
Springer
14 years 2 months ago
2004
Springer
The implementation of a standard PKI in a mobile ad hoc network (MANET) is not practical for several reasons: (1) lack of a fixed infrastructure; (2) a centralized certification au...
LPNMR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
ICDT
2001
ACM
14 years 1 months ago
2001
ACM
A number of efficient methods for evaluating first-order and monadic-second order queries on finite relational structures are based on tree-decompositions of structures or quer...
CONCUR
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...