메뉴 건너뛰기




Volumn 2003-January, Issue , 2003, Pages 2-4

Web services for time granularity reasoning

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; TEMPORAL LOGIC; WEBSITES;

EID: 84944049146     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2003.1214871     Document Type: Conference Paper
Times cited : (2)

References (8)
  • 1
    • 0028336331 scopus 로고
    • Arc-consistency and arc-consistency again
    • C. Bessière. Arc-Consistency and Arc-Consistency Again. Artificial Intelligence 65(1):179-190, 1994.
    • (1994) Artificial Intelligence , vol.65 , Issue.1 , pp. 179-190
    • Bessière, C.1
  • 3
    • 0036724190 scopus 로고    scopus 로고
    • Solving multi-granularity constraint networks
    • C. Bettini, X. Wang, S. Jajodia, Solving Multi-Granularity constraint networks, Artificial Intelligence, 140(1-2):107-152, 2002.
    • (2002) Artificial Intelligence , vol.140 , Issue.1-2 , pp. 107-152
    • Bettini, C.1    Wang, X.2    Jajodia, S.3
  • 5
    • 0021828305 scopus 로고
    • The complexity of some polynomial network consistency algorithms for constraint satisfaction problems
    • A. Mackworth, E. Freuder. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence 25:65-74, 1985.
    • (1985) Artificial Intelligence , vol.25 , pp. 65-74
    • Mackworth, A.1    Freuder, E.2
  • 6
    • 0003467525 scopus 로고    scopus 로고
    • PhD Thesis, University of Amsterdam, Amsterdam (NL), September, ILLC Dissertation Series 1996-02
    • A. Montanari. Metric and Layered Temporal Logic for Time Granularity. PhD Thesis, University of Amsterdam, Amsterdam (NL), September 1996, ILLC Dissertation Series 1996-02.
    • (1996) Metric and Layered Temporal Logic for Time Granularity
    • Montanari, A.1


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