Logic Programming in Artificial Intelligence Education.
Brian LeesPublished in: Artificial Intelligence in Higher Education (1989)
Keyphrases
- logic programming
- artificial intelligence
- knowledge representation
- computational logic
- knowledge representation and reasoning
- logic programs
- answer set programming
- automated deduction
- nonmonotonic reasoning
- knowledge base
- deductive databases
- knowledge representation language
- default logic
- logic programming language
- classical logic
- programming language
- expert systems
- answer sets
- declarative semantics
- computer science
- probabilistic reasoning
- reasoning about actions
- constraint logic programming
- inductive logic programming
- procedural semantics
- high level
- normal logic programs
- databases
- classical first order logic
- stable models
- fixpoint
- general purpose
- software engineering
- object oriented
- natural language
- data mining