메뉴 건너뛰기




Volumn , Issue , 2008, Pages 589-599

A logic for non-terminating Golog programs

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; KNOWLEDGE REPRESENTATION; MODEL CHECKING;

EID: 84860530522     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (54)

References (23)
  • 1
    • 34250005253 scopus 로고    scopus 로고
    • Model checking procedures for infinite state systems
    • Bogunovi, N., and Pek, E. 2006. Model checking procedures for infinite state systems. In Proc. of ECBS-06, 419-425.
    • (2006) Proc. of ECBS-06 , pp. 419-425
    • Bogunovi, N.1    Pek, E.2
  • 4
    • 84894614886 scopus 로고    scopus 로고
    • Model-checking infinite state-space systems with finegrained abstractions using SPIN
    • Chechik, M.; Devereux, B.; and Gurfinkel, A. 2001. Model-checking infinite state-space systems with finegrained abstractions using SPIN. Lecture Notes in Computer Science 2057:16-36.
    • (2001) Lecture Notes in Computer Science , vol.2057 , pp. 16-36
    • Chechik, M.1    Devereux, B.2    Gurfinkel, A.3
  • 7
    • 34247154931 scopus 로고    scopus 로고
    • A verification framework for agent programming with declarative goals
    • de Boer, F. S.; Hindriks, K. V.; van der Hoek, W.; and Meyer, J.-J. C. 2007. A verification framework for agent programming with declarative goals. J. Applied Logic 5(2):277-302.
    • (2007) J. Applied Logic , vol.5 , Issue.2 , pp. 277-302
    • De Boer, F.S.1    Hindriks, K.V.2    Van Der Hoek, W.3    Meyer, J.-J.C.4
  • 8
    • 0342520920 scopus 로고    scopus 로고
    • ConGolog, a concurrent programming language based on the situation calculus
    • De Giacomo, G.; Lespérance, Y.; and Levesque, H. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2):109- 169.
    • (2000) Artificial Intelligence , vol.121 , Issue.1-2 , pp. 109-169
    • De Giacomo, G.1    Lespérance, Y.2    Levesque, H.3
  • 11
    • 66149169135 scopus 로고    scopus 로고
    • Precondition control and the progression algorithm
    • Gabaldon, A. 2004. Precondition control and the progression algorithm. In Proc. of KR-04, 634-643.
    • (2004) Proc. of KR-04 , pp. 634-643
    • Gabaldon, A.1
  • 15
    • 0036932311 scopus 로고    scopus 로고
    • A model checker for verifying ConGolog programs
    • Kalantari, L., and Ternovska, E. 2002. A model checker for verifying ConGolog programs. In AAAI-02, 953-954.
    • (2002) AAAI-02 , pp. 953-954
    • Kalantari, L.1    Ternovska, E.2
  • 16
    • 77951985081 scopus 로고    scopus 로고
    • Property persistence in the situation calculus
    • Kelly, R. F., and Pearce, A. R. 2007. Property persistence in the situation calculus. In Proc. of IJCAI-07, 1948-1953.
    • (2007) Proc. of IJCAI-07 , pp. 1948-1953
    • Kelly, R.F.1    Pearce, A.R.2
  • 17
    • 85167460406 scopus 로고    scopus 로고
    • Situations, si! situation terms, no!
    • Lakemeyer, G., and Levesque, H. 2004. Situations, si! situation terms, no! In Proc. of KR-2004, 516-526.
    • (2004) Proc. of KR-2004 , pp. 516-526
    • Lakemeyer, G.1    Levesque, H.2
  • 18
    • 84880716033 scopus 로고    scopus 로고
    • Semantics for a useful fragment of the situation calculus
    • Lakemeyer, G., and Levesque, H. J. 2005. Semantics for a useful fragment of the situation calculus. In Proc. of IJCAI- 05, 490-496.
    • (2005) Proc. of IJCAI- 05 , pp. 490-496
    • Lakemeyer, G.1    Levesque, H.J.2
  • 20
    • 0036927089 scopus 로고    scopus 로고
    • A hoare-style proof system for robot programs
    • Liu, Y. 2002. A hoare-style proof system for robot programs. In Proc. of AAAI-02, 74-79.
    • (2002) Proc. of AAAI-02 , pp. 74-79
    • Liu, Y.1
  • 21
    • 0014638440 scopus 로고
    • Some philosophical problems from the standpoint of artificial intelligence
    • Meltzer, B. and Michie, D. eds., New York: American Elsevier
    • McCarthy, J., and Hayes, P. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. New York: American Elsevier. 463-502.
    • (1969) Machine Intelligence , vol.4 , pp. 463-502
    • McCarthy, J.1    Hayes, P.2
  • 22
    • 27144550410 scopus 로고    scopus 로고
    • Reducing inductive definitions to propositional satisfiability
    • Pelov, N., and Ternovska, E. 2005. Reducing inductive definitions to propositional satisfiability. In Proc. of ICLP- 05, 221-234.
    • (2005) Proc. of ICLP- 05 , pp. 221-234
    • Pelov, N.1    Ternovska, E.2


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