메뉴 건너뛰기
CEUR Workshop Proceedings
Volumn 196, Issue , 2006, Pages 107-108
A ruleml syntax for answer-set programming
Author keywords

[No Author keywords available]
Indexed keywords

EID: 84884299638     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article
Times cited : (2)
References (4)
  • 1
    • 13244267910 scopus 로고    scopus 로고
    • Design rationale for ruleml: A markup language for semantic web rules
    • H. Boley, S. Tabet, and G. Wagner. Design Rationale for RuleML: A Markup Language for Semantic Web Rules. In Proc. SWWS 2001, pages 381-401, 2001.
    • (2001) Proc. SWWS 2001 , pp. 381-401
    • Boley, H.1    Tabet, S.2    Wagner, G.3
  • 2
    • 84880721144 scopus 로고    scopus 로고
    • A uniform integration of higher-order reasoning and external evaluations in answer set programming
    • T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In Proc. IJCAI 2005, pp. 90-96.
    • (2005) Proc. IJCAI , pp. 90-96
    • Eiter, T.1    Ianni, G.2    Schindlauer, R.3    Tompits, H.4
  • 3
    • 77951505493 scopus 로고
    • Classical negation in logic programs and disjunctive databases
    • M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
    • (1991) New Generation Computing , vol.9 , pp. 365-385
    • Gelfond, M.1    Lifschitz, V.2

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