메뉴 건너뛰기




Volumn 9, Issue , 1998, Pages 423-461

Complexity of prioritized default logics

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0038344194     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.554     Document Type: Article
Times cited : (6)

References (4)
  • 1
    • 9444240656 scopus 로고
    • Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
    • Baader, F., & Hollander, B. (1995). Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Journal of Automated Reasoning, 15(1), 41-68.
    • (1995) Journal of Automated Reasoning , vol.15 , Issue.1 , pp. 41-68
    • Baader, F.1    Hollander, B.2
  • 3
    • 0001419078 scopus 로고
    • It is not my default: The complexity of reasoning in default logic
    • Boston, Massachusetts. Morgan Kaufmann Publishers
    • Stillman, J. (1990). It is not my default: the complexity of reasoning in default logic. In Proceedings of the 8th National Conference on Artificial Intelligence, pp. 571-578 Boston, Massachusetts. Morgan Kaufmann Publishers.
    • (1990) Proceedings of the 8th National Conference on Artificial Intelligence , pp. 571-578
    • Stillman, J.1
  • 4
    • 0000023467 scopus 로고
    • Constructive default logic and the control of defeasible reasoning
    • Neumann, B. (Ed.), Vienna. John Wiley & Sons
    • Tan, Y. H., & Treur, J. (1992). Constructive default logic and the control of defeasible reasoning. In Neumann, B. (Ed.), Proceedings of the 10th European Conference on Artificial Intelligence, pp. 299-303 Vienna. John Wiley & Sons.
    • (1992) Proceedings of the 10th European Conference on Artificial Intelligence , pp. 299-303
    • Tan, Y.H.1    Treur, J.2


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