Functional and logic programming: Selected papers of FLOPS 2022.
Michael HanusAtsushi IgarashiPublished in: Sci. Comput. Program. (2024)
Keyphrases
- logic programming
- selected papers
- logic programs
- annual conference
- nonmonotonic reasoning
- knowledge representation
- international workshop
- deductive databases
- knowledge base
- computer science
- answer set programming
- knowledge representation and reasoning
- answer sets
- logic programming language
- programming language
- inductive logic programming
- classical logic
- dagstuhl castle
- stable models
- reasoning about actions
- review process
- computational logic
- real world
- probabilistic reasoning
- linear logic
- declarative semantics
- fixpoint
- background knowledge
- expert systems
- machine learning
- fuzzy linguistic
- propositional variables
- procedural semantics