메뉴 건너뛰기




Volumn , Issue , 2009, Pages 53-58

Definability and process ontologies

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIZATION; DEFINABILITY; FIRST-ORDER; FIRST-ORDER THEORIES; PROCESS ONTOLOGIES; PSL ONTOLOGY; SECOND ORDERS; SITUATION CALCULUS;

EID: 84888346485     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (3)

References (10)
  • 3
    • 84972506153 scopus 로고
    • Monadic -11-theories of -11-properties
    • Doets, K. 1989. Monadic -11-theories of -11-properties. Notre Dame Journal of Formal Logic 30:224-240.
    • (1989) Notre Dame Journal of Formal Logic , vol.30 , pp. 224-240
    • Doets, K.1
  • 5
    • 11244253024 scopus 로고    scopus 로고
    • Ontology of the process specification language
    • In Staab, S., and Studer, R., eds Springer- Verlag.
    • Gruninger, M. 2004. Ontology of the Process Specification Language. In Staab, S., and Studer, R., eds., Handbook of Ontologies in Information Systems. Springer-Verlag.
    • (2004) Handbook of Ontologies in Information Systems
    • Gruninger, M.1
  • 6
    • 0012982558 scopus 로고    scopus 로고
    • A catalog of temporal theories
    • UIUC-BI-AI- University of Illinois. Levesque; H., Reiter, R.; Lesperance, Y.; Lin, F.; and
    • Hayes, P. 1996. A catalog of temporal theories. Technical Report UIUC-BI-AI-96-01, University of Illinois. Levesque; H., Reiter, R.; Lesperance, Y.; Lin, F.; and
    • (1996) Technical Report , pp. 96-01
    • Hayes, P.1
  • 7
    • 85048647303 scopus 로고    scopus 로고
    • Golog: A logic programming language for dynamic domains
    • Scherl, R. 1997. Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31:92-128.
    • (1997) Journal of Logic Programming , vol.31 , pp. 92-128
    • Scherl, R.1


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