Vague Domains, S-Unification, Logic Programming.
Harry VirtanenPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- logic programming
- logic programs
- answer set programming
- nonmonotonic reasoning
- knowledge base
- logic programming language
- programming language
- deductive databases
- answer sets
- function symbols
- knowledge representation
- classical logic
- computational logic
- stable models
- default logic
- reasoning about actions
- fuzzy logic
- reasoning tasks
- probabilistic reasoning
- knowledge representation and reasoning
- constraint logic programming
- declarative semantics
- procedural semantics
- expert systems
- artificial intelligence
- theorem proving
- classical first order logic
- linear logic
- theorem prover
- fuzzy linguistic