共 50 条
- [2] REASONING ABOUT SOFTWARE SPECIFICATIONS - A CASE-STUDY AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 1024 - 1033
- [3] MuTACLP:: A language for temporal reasoning with multiple theories COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2408 : 1 - 40
- [9] A CASE-STUDY IN KNOWLEDGE REPRESENTATION AND REASONING WITH HIGHER-ORDER COMBINATORS SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 37 - 48
- [10] An approach for temporal case-based reasoning:: Episode-based reasoning CASE-BASED REASONING RESEARCH AND DEVELOPMENT, PROCEEDINGS, 2005, 3620 : 465 - 476