STORK and PENGUIN: Logic programming systems using general clauses and defaults.
Ramiro A. de T. GuerreiroAndrea S. HemerlyMarco A. CasanovaPublished in: IBM J. Res. Dev. (1992)
Keyphrases
- logic programming
- logic programs
- default logic
- programming language
- nonmonotonic reasoning
- knowledge representation
- answer set programming
- propositional variables
- deductive databases
- cooperative multi agent
- logic programming language
- answer sets
- knowledge base
- stable models
- reasoning about actions
- computational logic
- classical logic
- defeasible argumentation
- inductive logic programming
- default reasoning
- constraint logic programming
- expressive power
- software engineering
- nonmonotonic logics
- relational databases
- horn clause logic
- artificial intelligence