1941 search results - page 54 / 389 » Reasoning about Computations Using Two-Levels of Logic |
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
112
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
127
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
109
click to vote
AUSAI
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
120
click to vote
IWCMC
2006
ACM
15 years 8 months ago
2006
ACM
Past research studying the operations of TCP over wireless/mobile ad hoc networks has shown that TCP cannot be adopted as-is for use in mobile ad hoc networks (MANET) to achieve r...