Correct Object-Oriented Systems in Computational Logic.
Kung-Kiu LauMario OrnaghiPublished in: LOPSTR (2001)
Keyphrases
- multi criteria
- object oriented systems
- computational logic
- management science
- object oriented design
- object oriented
- decision analysis
- logic programming
- software maintenance
- source code
- software systems
- software engineering
- test case generation
- inductive logic programming
- multi agent systems
- early days
- artificial intelligence
- domain knowledge
- databases
- program synthesis
- multi agent
- knowledge representation
- agent technology
- knowledge management
- future directions
- data warehouse
- background knowledge
- information systems
- general purpose
- programming language
- machine learning
- open source