Decomposition of declarative knowledge bases with external functions

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 752-758

  Eiter, Thomas ^a   Fink, Michael ^a   Krennwallner, Thomas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; SEMANTICS;

ANSWER SET SEMANTICS; DECLARATIVE KNOWLEDGE; DOMAIN INDEPENDENCES; EVALUATION DOMAINS; EXTERNAL SOURCES; PERFORMANCE GAIN; PROGRAM REWRITING; STRUCTURAL INFORMATION;

LOGIC PROGRAMMING;

EID: 78751688013     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. D. Cohen and P. Jeavons. Constraint Processing, R. Dechter (ed.), chapter Tractable Constraint Languages. Morgan Kaufmann, 2003.
3. S. Costantini. On the existence of stable models of non-stratified logic programs. Theory Pract. Log. Program., 6(1-2):169-212, 2006.
4. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. Effective Integration of Declarative Rules with external Evaluations for SemanticWeb Reasoning. In ESWC'06, pp. 273-287. Springer, 2006.
5. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. Towards efficient evaluation of HEX programs. In NMR'06, pp. 40-46. 2006.
6. T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. Artif. Intell., 172(12-13):1495-1539, 2008.
7. W. Faber, N. Leone, and G. Pfeifer. Recursive aggregates in disjunctive logic programs: semantics and complexity. In JELIA'04, pp. 200-212. Springer, 2004.
8. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Gener. Comput., 9:365-385, 1991.
9. V. Lifschitz and H. Turner. Splitting a logic program. In ICLP'94, pp. 23-37. MIT Press, 1994.
10. V.S. Subrahmanian, P. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozcan, and R. Ross. Heterogeneous Agent Systems: Theory and Implementation. MIT Press, 2000.
11. K. Wang, D. Billington, J. Blee, and G. Antoniou. Combining description logic and defeasible logic for the Semantic Web. In RuleML'04, pp. 170-181. Springer, 2004.