The launch intercept condition (LIC) problem was analyzed to better understand the complexity of the automated reasoning process and the nature and role of background knowledge. An extension to resolution-based logic processing systems, called constraint logic programming, is described. Consideration is also given to a knowledge-driven incremental reasoning architecture which integrates a generic constraint logic programming system with a knowledge base of the domain.
Reasoning about software specifications - A case study
AIAA Computers in Aerospace Conference ; 1989 ; Monterey, CA, United States
01.01.1989
Aufsatz (Konferenz)
Keine Angabe
Englisch
Reasoning about software specifications - A case study
AIAA | 1989
|Specifications for IDAMST Software
NTIS | 1977
|Tailoring software acquisition specifications
Tema Archiv | 1976
|Case-Based Reasoning for Software Design Reuse
British Library Conference Proceedings | 2005
|Model checking large software specifications
Tema Archiv | 1997
|