메뉴 건너뛰기




Volumn 3900 LNAI, Issue , 2006, Pages 420-426

Multi-agent systems in computational logic: Challenges and outcomes of the SOCS project

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; FORMAL LOGIC; MATHEMATICAL MODELS;

EID: 33745599150     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11750734_26     Document Type: Conference Paper
Times cited : (7)

References (37)
  • 7
    • 77951223426 scopus 로고    scopus 로고
    • The CHR-based implementation of a system for generation and confirmation of hypotheses
    • A. Wolf, T. Frühwirth, and M. Meister, editors, number 2005-01 in Ulmer Informatik-Berichte
    • M. Alberti, F. Chesani, M. Gavanelli, and E. Lamma. The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. In A. Wolf, T. Frühwirth, and M. Meister, editors, 19th Workshop on (Constraint) Logic Programming W(C)LP 2005, number 2005-01 in Ulmer Informatik-Berichte, pages 111-122, 2005.
    • (2005) 19th Workshop on (Constraint) Logic Programming W(C)LP 2005 , pp. 111-122
    • Alberti, M.1    Chesani, F.2    Gavanelli, M.3    Lamma, E.4
  • 11
    • 33746592815 scopus 로고    scopus 로고
    • Security protocols verification in Abductive Logic Programming: A case study
    • O. Dikenelli, M.-P. Gleizes, and A. Ricci, editors, Lecture Notes in Artificial Intelligence. Springer-Verlag
    • M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Security protocols verification in Abductive Logic Programming: a case study. In O. Dikenelli, M.-P. Gleizes, and A. Ricci, editors, Proceedings of ESAW'05, Kuşadasi, Aydin, Turkey, October 26-28, 2005, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2006.
    • (2006) Proceedings of ESAW'05, Kuşadasi, Aydin, Turkey, October 26-28, 2005
    • Alberti, M.1    Chesani, F.2    Gavanelli, M.3    Lamma, E.4    Mello, P.5    Torroni, P.6
  • 13
    • 2442602519 scopus 로고    scopus 로고
    • Specification and verification of agent interaction protocols in a logic-based system
    • H. M. Haddad, A. Omicini, and R. L. Wainwright, editors, Nicosia, Cyprus, Mar. 14-17. ACM Press
    • M. Alberti, D. Daolio, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interaction protocols in a logic-based system. In H. M. Haddad, A. Omicini, and R. L. Wainwright, editors, Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004), pages 72-78, Nicosia, Cyprus, Mar. 14-17 2004. ACM Press.
    • (2004) Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004) , pp. 72-78
    • Alberti, M.1    Daolio, D.2    Gavanelli, M.3    Lamma, E.4    Mello, P.5    Torroni, P.6
  • 24
    • 0032186691 scopus 로고    scopus 로고
    • Theory and practice of constraint handling rules
    • Oct.
    • T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, Oct. 1998.
    • (1998) Journal of Logic Programming , vol.37 , Issue.1-3 , pp. 95-138
    • Frühwirth, T.1
  • 25
    • 0031281313 scopus 로고    scopus 로고
    • The IFF proof procedure for abductive logic programming
    • Nov.
    • T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33(2):151-165, Nov. 1997.
    • (1997) Journal of Logic Programming , vol.33 , Issue.2 , pp. 151-165
    • Fung, T.H.1    Kowalski, R.A.2
  • 28
    • 4043104669 scopus 로고    scopus 로고
    • A logic-based approach to model computees
    • SOCS Consortium, Deliverable D4
    • A. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. A logic-based approach to model computees. Technical report, SOCS Consortium, 2003. Deliverable D4. Available from the SOCS project web site: http://lia.deis.unibo. it/research/socs/guests/publications/.
    • (2003) Technical Report
    • Kakas, A.1    Mancarella, P.2    Sadri, F.3    Stathis, K.4    Toni, F.5
  • 31
    • 0032642028 scopus 로고    scopus 로고
    • Computing negation as failure via argumentation
    • A.C. Kakas and F. Toni. Computing negation as failure via argumentation. Journal of Logic and Computation, 9:515-562, 1999.
    • (1999) Journal of Logic and Computation , vol.9 , pp. 515-562
    • Kakas, A.C.1    Toni, F.2


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