A rewrite-based computational model for functional logic programming.
Mircea MarinTemur KutsiaBesik DunduaPublished in: SCSS (2016)
Keyphrases
- computational model
- logic programming
- logic programs
- nonmonotonic reasoning
- computational models
- logic programming language
- programming language
- deductive databases
- knowledge representation
- knowledge base
- answer set programming
- language acquisition
- answer sets
- computational modeling
- computational logic
- knowledge representation and reasoning
- reasoning about actions
- cognitive architecture
- default logic
- declarative semantics
- working memory
- stable models
- probabilistic reasoning
- constraint logic programming
- fuzzy linguistic
- procedural semantics
- stable model semantics
- object oriented
- cooperative multi agent