Quantified equilibrium logic and hybrid rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4524 LNCS, Issue , 2007, Pages 58-72

  De Bruijn, Jos ^c   Pearce, David ^a   Polleres, Axel ^a,d   Valverde, Agustín ^b  

^a UNIVERSIDAD REY JUAN CARLOS   (Spain)

^b UNIVERSITY OF MÁLAGA   (Spain)

^c Semantic Technology Institute Innsbruck   (Austria)

^d NATIONAL UNIVERSITY OF IRELAND   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; KNOWLEDGE BASED SYSTEMS; ONTOLOGY; SEMANTIC WEB;

NONMONOTONIC RULE LANGUAGES; QUANTIFIED EQUILIBRIUM LOGIC (QEL);

LOGIC PROGRAMMING;

EID: 38149083395     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72982-2_5     Document Type: Conference Paper

References (22)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. CUP, Cambridge (2002)
2. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. IJCAI (2007)
3. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules. In: Lang, J., Lin, E, Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol. 4092, Springer, Heidelberg (2006)
4. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. IJCAI (2005)
5. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. KR (2004)
6. Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. IJCAI (2007)
7. Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology: A Case for Conservative Extensions of Description Logics. KR (2006)
8. Heymans, S., van Nieuwenborgh, D., Vermeir, D.: Open answer set programming with guarded programs. ACM Transactions on Computational Logic. Accepted for Publication
9. Heymans, S., Predoiu, L., Feier, C., de Bruijn, J., van Nieuwenborgh, D.: G-hybrid Knowledge Bases. ALPSWS (2006)
10. Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic 2, 526-541 (2001)
11. Lifschitz, V., Pearce, D., Valverde, A.: A Characterization of Strong Equivalence for Logic Programs with Variables. In: Proceedings LPNMR 2007, Springer, Heidelberg (to appear 2007)
12. Lifschitz, V, Woo, T.: Answer Sets in General Nonmonotonic Reasoning (preliminary report). KR (1992)
13. Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. UCAI (2007)
14. Pearce, D.: A new Logical Characterization of Stable Models and Answer Sets. NMELP 96 (1997)
15. Pearce, D.: Equilibrium logic. Annals of Mathematics and Artificial Intelligence. In press, available at http://dx.doi.org/10.1007/sl0472-006-9028-z (2006)
16. Pearce, D., Valverde, A.: A First-Order Nonmonotonic Extension of Constructive Logic. Studia Logica, 80 (2005)
17. Pearce, D., Valverde, A.: Quantified Equilibrium Logic. Tech. report, Univ. Rey Juan Carlos, http://www.satd.uma.es/matap/investig/tr/ma06-02 .pdf. (2006)
18. Rosati, R.: On the Decidability and Complexity of Integrating Ontologies and Rules. Journal of Web Semantics, 3(1) (2005)
19. Rosati, R.: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules.In:Fages,F.,Soliman,S.(eds.)PPSWR2005.LNCS,vol.3703, Springer,Heidelberg(2005)
20. Rosati,R.:DL+log: TightIntegrationofDescriptionLogicsandDisjunctiveDatalog.KR(2006)
21. Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, Springer, Heidelberg (2004)
22. van Dalen, D.: Logic and Structure. Springer, Heidelberg (1983)