-
2
-
-
27144506200
-
-
Baselice, S., Bonatti, P.A., Gelfond, M.: Towards an integration of answer set and constraint solving. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, 3668, pp. 52-66. Springer, Heidelberg (2005)
-
Baselice, S., Bonatti, P.A., Gelfond, M.: Towards an integration of answer set and constraint solving. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 52-66. Springer, Heidelberg (2005)
-
-
-
-
3
-
-
85036658990
-
A characterization of abstract data as model-theoretic invariants
-
Maurer, H.A, ed, ICALP 1979, Springer, Heidelberg
-
Bertoni, A., Mauri, G., Miglioli, P.: A characterization of abstract data as model-theoretic invariants. In: Maurer, H.A. (ed.) ICALP 1979. LNCS, vol. 71, pp. 26-37. Springer, Heidelberg (1979)
-
(1979)
LNCS
, vol.71
, pp. 26-37
-
-
Bertoni, A.1
Mauri, G.2
Miglioli, P.3
-
4
-
-
0030103193
-
Polymorphism and type inference in database programming
-
Buneman, P., Ohori, A.: Polymorphism and type inference in database programming. ACM Trans. Database Syst. 21(1), 30-76 (1996)
-
(1996)
ACM Trans. Database Syst
, vol.21
, Issue.1
, pp. 30-76
-
-
Buneman, P.1
Ohori, A.2
-
5
-
-
34548229564
-
External sources of knowledge and value invention in logic programming
-
Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3-4), 333-361 (2007)
-
(2007)
Ann. Math. Artif. Intell
, vol.50
, Issue.3-4
, pp. 333-361
-
-
Calimeri, F.1
Cozza, S.2
Ianni, G.3
-
6
-
-
58049116564
-
-
Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable functions in ASP: Theory and implementation. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP 2008. LNCS, 5366, pp. 407-424. Springer, Heidelberg (2008)
-
Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable functions in ASP: Theory and implementation. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 407-424. Springer, Heidelberg (2008)
-
-
-
-
7
-
-
10644286578
-
Polymorphic type inference for the relational algebra
-
Van den Bussche, J., Waller, E.: Polymorphic type inference for the relational algebra. J. Comput. Syst. Sci. 64(3), 694-718 (2002)
-
(2002)
J. Comput. Syst. Sci
, vol.64
, Issue.3
, pp. 694-718
-
-
Van den Bussche, J.1
Waller, E.2
-
8
-
-
68549128691
-
OntoDLV: An ASP-based system for enterprise ontologies
-
to appear
-
Ricca, F., Gallucci, L., Schindlauer, R., Dell'Armi, T., Grasso, G., Leone, N.: OntoDLV: an ASP-based system for enterprise ontologies. Journal of Logic and Computation (to appear, 2009)
-
(2009)
Journal of Logic and Computation
-
-
Ricca, F.1
Gallucci, L.2
Schindlauer, R.3
Dell'Armi, T.4
Grasso, G.5
Leone, N.6
-
9
-
-
56649107837
-
Answer sets
-
van Harmelen, F, Lifschitz, V, Porter, B, eds, Elsevier, Amsterdam
-
Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of knowledge representation, vol. 7. Elsevier, Amsterdam (2007)
-
(2007)
Handbook of knowledge representation
, vol.7
-
-
Gelfond, M.1
-
10
-
-
68749121133
-
-
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, pp. 1070-1080 (1988)
-
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, pp. 1070-1080 (1988)
-
-
-
-
11
-
-
0002161582
-
Horn clause programs with polymorphic types: Semantics and resolution
-
Hanus, M.: Horn clause programs with polymorphic types: Semantics and resolution. Theor. Comput. Sci. 89(1), 63-106 (1991)
-
(1991)
Theor. Comput. Sci
, vol.89
, Issue.1
, pp. 63-106
-
-
Hanus, M.1
-
12
-
-
24344435059
-
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
-
Hermenegildo, M.V., Puebla, G., Bueno, F., López-García, P.: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Programming 58(1-2), 115-140 (2005)
-
(2005)
Sci. Comput. Programming
, vol.58
, Issue.1-2
, pp. 115-140
-
-
Hermenegildo, M.V.1
Puebla, G.2
Bueno, F.3
López-García, P.4
-
13
-
-
0009565938
-
A semantics for typed logic programs
-
MIT Press, Cambridge
-
Hill, P.M., Topor, R.W.: A semantics for typed logic programs. In: Types in Logic Programming, pp. 1-62. MIT Press, Cambridge (1992)
-
(1992)
Types in Logic Programming
, pp. 1-62
-
-
Hill, P.M.1
Topor, R.W.2
-
14
-
-
60349092941
-
-
Type Systems for Logic Programming Languages. PhD thesis, The University of Melbourne
-
Jefferey, D.: Expressive Type Systems for Logic Programming Languages. PhD thesis, The University of Melbourne (2002)
-
(2002)
Expressive
-
-
Jefferey, D.1
-
15
-
-
0026303964
-
-
Lakshman, T.L., Reddy, U.S.: Typed PROLOG: A semantic reconstruction of the Mycroft-O'Keefe type system. In: ISLP, pp. 202-217 (1991)
-
Lakshman, T.L., Reddy, U.S.: Typed PROLOG: A semantic reconstruction of the Mycroft-O'Keefe type system. In: ISLP, pp. 202-217 (1991)
-
-
-
-
16
-
-
33745244351
-
The DLV system for knowledge representation and reasoning
-
Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM TOCL 7(3), 499-562 (2006)
-
(2006)
ACM TOCL
, vol.7
, Issue.3
, pp. 499-562
-
-
Leone, N.1
-
18
-
-
0021481958
-
A polymorphic type system for PROLOG
-
Mycroft, A., O'Keefe, R.A.: A polymorphic type system for PROLOG. Artif. Intell. 23(3), 295-307 (1984)
-
(1984)
Artif. Intell
, vol.23
, Issue.3
, pp. 295-307
-
-
Mycroft, A.1
O'Keefe, R.A.2
-
19
-
-
33745443921
-
-
Nadathur, G., Qi, X.: Optimizing the runtime processing of types in polymorphic logic programming languages. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS, 3835, pp. 110-124. Springer, Heidelberg (2005)
-
Nadathur, G., Qi, X.: Optimizing the runtime processing of types in polymorphic logic programming languages. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS, vol. 3835, pp. 110-124. Springer, Heidelberg (2005)
-
-
-
-
20
-
-
0036989097
-
-
Overton, D., Somogyi, Z., Stuckey, P.J.: Constraint-based mode analysis of Mercury. In: PPDP, pp. 109-120. ACM, New York (2002)
-
Overton, D., Somogyi, Z., Stuckey, P.J.: Constraint-based mode analysis of Mercury. In: PPDP, pp. 109-120. ACM, New York (2002)
-
-
-
-
22
-
-
0010122418
-
Extending and implementing the stable model semantics
-
Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1-2), 181-234 (2002)
-
(2002)
Artif. Intell
, vol.138
, Issue.1-2
, pp. 181-234
-
-
Simons, P.1
Niemelä, I.2
Soininen, T.3
|