-
1
-
-
77249122278
-
Combining answer set programming with description logics for the semantic web
-
AAAI Press, Menlo Park
-
Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: KR, pp. 141-151. AAAI Press, Menlo Park (2004)
-
(2004)
KR
, pp. 141-151
-
-
Eiter, T.1
Lukasiewicz, T.2
Schindlauer, R.3
Tompits, H.4
-
2
-
-
84860600786
-
Dl+log: Tight integration of description logics and disjunctive datalog
-
AAAI Press, Menlo Park
-
Rosati, R.: Dl+log: Tight integration of description logics and disjunctive datalog. In: KR, pp. 68-78. AAAI Press, Menlo Park (2006)
-
(2006)
KR
, pp. 68-78
-
-
Rosati, R.1
-
3
-
-
21244492715
-
On the decidability and complexity of integrating ontologies and rules
-
Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3(1), 61-73 (2005)
-
(2005)
J. Web Sem.
, vol.3
, Issue.1
, pp. 61-73
-
-
Rosati, R.1
-
4
-
-
33646205492
-
Semantic and computational advantages of the safe integration of ontologies and rules
-
Fages, F., Soliman, S. (eds.) PPSWR 2005. Springer, Heidelberg
-
Rosati, R.: Semantic and computational advantages of the safe integration of ontologies and rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 50-64. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3703
, pp. 50-64
-
-
Rosati, R.1
-
5
-
-
42949162880
-
Guarded hybrid knowledge bases
-
Heymans, S., de Bruijn, J., Predoiu, L., Feier, C., Nieuwenborgh, D.V.: Guarded hybrid knowledge bases. TPLP 8(3), 411-429 (2008)
-
(2008)
TPLP
, vol.8
, Issue.3
, pp. 411-429
-
-
Heymans, S.1
De Bruijn, J.2
Predoiu, L.3
Feier, C.4
Nieuwenborgh, D.V.5
-
6
-
-
84880721144
-
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
-
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: IJCAI, pp. 90-96 (2005)
-
(2005)
IJCAI
, pp. 90-96
-
-
Eiter, T.1
Ianni, G.2
Schindlauer, R.3
Tompits, H.4
-
7
-
-
58549108075
-
Quantified equilibrium logic and foundations for answer set programs
-
Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. Springer, Heidelberg
-
Pearce, D., Valverde, A.: Quantified equilibrium logic and foundations for answer set programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 546-560. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5366
, pp. 546-560
-
-
Pearce, D.1
Valverde, A.2
-
8
-
-
33750039839
-
Equilibrium logic
-
Pearce, D.: Equilibrium logic. AMAI 47(1-2), 3-41 (2006)
-
(2006)
AMAI
, vol.47
, Issue.1-2
, pp. 3-41
-
-
Pearce, D.1
-
9
-
-
35148898808
-
Conservative extensions in the lightweight description logic EL
-
Pfenning, F. (ed.) CADE 2007. Springer, Heidelberg
-
Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic EL. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 84-99. Springer, Heidelberg (2007)
-
(2007)
LNCS (LNAI)
, vol.4603
, pp. 84-99
-
-
Lutz, C.1
Wolter, F.2
-
10
-
-
84880876708
-
Conservative extensions in expressive description logics
-
Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: IJCAI, pp. 453-458 (2007)
-
(2007)
IJCAI
, pp. 453-458
-
-
Lutz, C.1
Walther, D.2
Wolter, F.3
-
11
-
-
84860544288
-
Can you tell the difference between dl-lite ontologies?
-
AAAI Press, Menlo Park
-
Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between dl-lite ontologies? In: KR, pp. 285-295. AAAI Press, Menlo Park (2008)
-
(2008)
KR
, pp. 285-295
-
-
Kontchakov, R.1
Wolter, F.2
Zakharyaschev, M.3
-
12
-
-
84945953994
-
Strongly equivalent logic programs
-
Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACMTOCL 2(4), 526-541 (2001)
-
(2001)
ACMTOCL
, vol.2
, Issue.4
, pp. 526-541
-
-
Lifschitz, V.1
Pearce, D.2
Valverde, A.3
-
13
-
-
78049412109
-
A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there
-
forthcoming
-
Fink, M.: A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there. In: TPLP (2010) (forthcoming)
-
(2010)
TPLP
-
-
Fink, M.1
-
14
-
-
58549111673
-
Equivalences in answer-set programming by countermodels in the logic of hereand- There
-
Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. Springer, Heidelberg
-
Fink, M.: Equivalences in answer-set programming by countermodels in the logic of hereand- there. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 99-113. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5366
, pp. 99-113
-
-
Fink, M.1
-
15
-
-
38049092028
-
A characterization of strong equivalence for logic programs with variables
-
Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. Springer, Heidelberg
-
Lifschitz, V., Pearce, D., Valverde, A.: A characterization of strong equivalence for logic programs with variables. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 188-200. Springer, Heidelberg (2007)
-
(2007)
LNCS (LNAI)
, vol.4483
, pp. 188-200
-
-
Lifschitz, V.1
Pearce, D.2
Valverde, A.3
-
16
-
-
22944450067
-
Recursive aggregates in disjunctive logic programs: Semantics and complexity
-
Logics in Artificial Intelligence - 9th European Conference, JELIA 2004
-
Faber,W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200-212. Springer, Heidelberg (2004) (Pubitemid 41049936)
-
(2004)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
, vol.3229
, pp. 200-212
-
-
Faber, W.1
Leone, N.2
Pfeifer, G.3
-
20
-
-
51149116102
-
Open answer set programming with guarded programs
-
Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Open answer set programming with guarded programs. ACM TOCL 9(4) (2008)
-
(2008)
ACM TOCL
, vol.9
, pp. 4
-
-
Heymans, S.1
Nieuwenborgh, D.V.2
Vermeir, D.3
-
21
-
-
84880867448
-
A new perspective on stable models
-
Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: IJCAI, pp. 372-379 (2007)
-
(2007)
IJCAI
, pp. 372-379
-
-
Ferraris, P.1
Lee, J.2
Lifschitz, V.3
-
22
-
-
26444481976
-
A first order nonmonotonic extension of constructive logic
-
DOI 10.1007/s11225-005-8473-8
-
Pearce, D., Valverde, A.: A first order nonmonotonic extension of constructive logic. Studia Logica 80(2-3), 321-346 (2005) (Pubitemid 41433455)
-
(2005)
Studia Logica
, vol.80
, Issue.2-3
, pp. 321-346
-
-
Pearce, D.1
Valverde, A.2
-
23
-
-
46549089044
-
Combining answer set programming with description logics for the Semantic Web
-
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. AIJ 172(12-13), 1495-1539 (2008)
-
(2008)
AIJ
, vol.172
, Issue.12-13
, pp. 1495-1539
-
-
Eiter, T.1
Ianni, G.2
Lukasiewicz, T.3
Schindlauer, R.4
Tompits, H.5
-
24
-
-
0003727420
-
-
Cambridge University Press, Cambridge
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
-
(2003)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
25
-
-
70350708070
-
Deciding inseparability and conservative extensions in the description logic el
-
Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic el. J. Symb. Comput. 45(2), 194-228 (2010)
-
(2010)
J. Symb. Comput.
, vol.45
, Issue.2
, pp. 194-228
-
-
Lutz, C.1
Wolter, F.2
|