A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
Sonia Estévez MartínAntonio J. FernándezMaria Teresa Hortalá-GonzálezMario Rodríguez-ArtalejoFernando Sáenz-PérezRafael del Vado VírsedaPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- logic programming
- logic programs
- declarative programming
- answer set programming
- nonmonotonic reasoning
- logic programming language
- cooperative
- knowledge base
- deductive databases
- programming language
- global constraints
- knowledge representation
- stable models
- constraint logic programming
- computational logic
- reasoning tasks
- multi agent
- probabilistic reasoning
- default logic
- answer sets
- reasoning about actions
- propositional variables
- procedural semantics
- pseudo boolean constraints