메뉴 건너뛰기




Volumn 5497 LNCS, Issue , 2009, Pages 117-135

Towards a type discipline for answer set programming

Author keywords

Answer set programming; Grounding; Many sorted interpretation; Type checking

Indexed keywords

ANSWER SET PROGRAMMING; DISJUNCTIVE DATALOG; GROUND TERMS; GROUNDING; MANY SORTED INTERPRETATION; OPERATIONAL SEMANTICS; POLYMORPHIC TYPE SYSTEMS; TYPE CHECKING; TYPE SYSTEMS; UNINTERPRETED FUNCTION SYMBOLS;

EID: 68749096202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02444-3_8     Document Type: Conference Paper
Times cited : (2)

References (22)
  • 2
    • 27144506200 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 9
    • 56649107837 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.