959 search results - page 55 / 192 » Transfers between Logics and their Applications |
166
click to vote
AAAI
1998
15 years 7 months ago
1998
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
163
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
147
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
148
click to vote
DAIS
2003
15 years 7 months ago
2003
- Mobile agents have the ability to migrate through heterogeneous networks and execute at remote hosts. This ability can be exploited to improve the performance of agent based appl...
148
click to vote
HPDC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes PARDIS, a system containing explicit support for interoperability of PARallel DIStributed applications. PARDIS is based on the Common Object Request Broker Ar...