Knowledge Representation and Reasoning in a Software Synthesis Architecture.
Dorothy E. SetliffRob A. RutenbarPublished in: IEEE Trans. Software Eng. (1992)
Keyphrases
- knowledge representation and reasoning
- software architecture
- knowledge representation
- reasoning systems
- software platform
- description logics
- artificial intelligence
- hardware design
- incomplete information
- logic programming
- automated reasoning
- software development
- software systems
- structured knowledge
- semantic modeling
- description language
- database
- disjunctive logic programming
- software engineering
- orders of magnitude
- international conference
- logic programs
- domain specific
- general purpose
- conference on artificial intelligence
- data model
- reinforcement learning
- update semantics
- high level