An Experimental Computer Architecture Supporting Expert Systems and Logic Programming.
Hans DielNorbert G. LenzH. Martin WelschPublished in: IBM J. Res. Dev. (1986)
Keyphrases
- logic programming
- computer architecture
- expert systems
- knowledge representation
- logic programs
- knowledge base
- answer set programming
- computer systems
- knowledge based systems
- computational logic
- programming language
- parallel computing
- logic programming language
- nonmonotonic reasoning
- deductive databases
- default logic
- artificial intelligence
- answer sets
- numerical methods
- data processing
- high performance computing
- inference engine
- computer science
- stable models
- first order logic
- background knowledge
- object oriented
- rule based systems
- high level
- information systems
- normal logic programs
- data mining