Distributed nonmonotonic multi-context systems

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 60-70

  Dao Tran, Minh ^a   Eiter, Thomas ^a   Fink, Michael ^a   Krennwallner, Thomas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION THEORY; MODEL CHECKING;

COMPUTING EQUILIBRIA; EXPERIMENTAL PROTOTYPE; MULTI-CONTEXT SYSTEMS; PARTIAL EQUILIBRIUM; PARTIAL INFORMATION; REASONING TASKS; SATISFIABILITY CHECKING; SATISFIABILITY PROBLEMS;

KNOWLEDGE REPRESENTATION;

EID: 78049354294     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Adjiman, P.; Chatalic, P.; Goasdoúe, F.; Rousset, M.-C.; and Simon, L. 2006. Distributed Reasoning in a Peer-to-Peer Setting: Application to the SemanticWeb. J. Artif. Intell. Res. 25:269-314.
2. Bairakdar, S. E.; Dao-Tran, M.; Eiter, T.; Fink, M.; and Krennwallner, T. 2010. Decomposition of distributed nonmonotonic multi-context systems. Manuscript.
3. Brewka, G., and Eiter, T. 2007. Equilibria in heterogeneous nonmonotonic multi-context systems. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, 385-390. AAAI Press.
4. Brewka, G.; Roelofsen, F.; and Serafini, L. 2007. Contextual default reasoning. In Proceedings of the 20th International Joint Conference on Artificial Intelligence, 268-273.
5. Dao-Tran, M.; Eiter, T.; Fink, M.; and Krennwallner, T. 2009. Modular nonmonotonic logic programming revisited. In Proceedings of the 25th International Conference on Logic Programming, 145-159. Springer.
6. Eiter, T.; Ianni, G.; Schindlauer, R.; and Tompits, T. 2005. A uniform integration of higher-order reasoning and external evaluations in answer set programming. In Proceedings of the 19th International Joint Conference on Artificial Intelligence. Professional Book Center.
7. Eiter, T.; Fink, M.; Scḧuller, P.; and Weinzierl, A. 2010. Finding explanations of inconsistency in multi-context systems. In Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press.
8. Ferraris, P.; Lee, J.; and Lifschitz, V. 2006. A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47(1-2):79- 101.
9. Gebser, M.; Kaufmann, B.; Neumann, A.; and Schaub, T. 2007. Conflict-driven answer set solving. In Proceedings of the 20th International Joint Conference on Artificial Intelligence, 386-392.
10. Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9:365-385.
11. Ghidini, C., and Giunchiglia, F. 2001. Local models semantics, or contextual reasoning = locality + compatibility. Artif. Intell. 127(2):221-259.
12. Giunchiglia, F., and Serafini, L. 1994. Multilanguage hierarchical logics or: how we can do without modal logics. Artif. Intell. 65(1):29-70.
13. Hirayama, K., and Yokoo, M. 2005. The distributed breakout algorithms. Artif. Intell. 161(1-2):89-115.
14. Janhunen, T.; Oikarinen, E.; Tompits, H.; and Woltran, S. 2009. Modularity aspects of disjunctive stable models. J. Artif. Intell. Res. 35:813-857.
15. Lee, J., and Lifschitz, V. 2003. Loop formulas for disjunctive logic programs. In Proceedings of the 19th International Conference on Logic Programming, 451-465. Springer.
16. Lifschitz, V., and Razborov, A. 2003. Why are there so many loop formulas? ACM Trans. Comput. Log. 7(2):261-268.
17. Lin, F., and Zhao, Y. 2004. ASSAT: computing answer sets of a logic program by SAT solvers. Artif. Intell. 157(1-2):115- 137.
18. McCarthy, J. 1993. Notes on formalizing context. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, 555-562.
19. Roelofsen, F.; Serafini, L.; and Cimatti, A. 2004. Many hands make light work: localized satisfiability for multi-context systems. In Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 58-62. IOS Press.
20. Schenk, S., and Staab, S. 2008. Networked graphs: a declarative mechanism for SPARQL rules, SPARQL views and RDF data integration on the Web. In Proceedings of the 17th International World Wide Web Conference, 585-594. ACM.
21. Serafini, L., and Bouquet, P. 2004. Comparing formal theories of context in AI. Artif. Intell. 155(1-2):41-67.
22. Serafini, L., and Tamilin, A. 2005. Drago: Distributed reasoning architecture for the semantic web. In Proceedings of the 2nd European Semantic Web Conference, 361-376. Springer.
23. Serafini, L.; Borgida, A.; and Tamilin, A. 2005. Aspects of distributed and modular ontology reasoning. In Proceedings of the 19th International Joint Conference on Artificial Intelligence, 570-575. Professional Book Center.