Login / Signup
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.
Matteo Cimini
Published in:
FLOPS (2020)
Keyphrases
</>
logic programming
oriented programming
higher order
logic programming language
logic programs
programming language
knowledge representation language
constraint logic programming
answer set programming
deductive databases
nonmonotonic reasoning
declarative semantics
computational logic
object oriented
knowledge base
knowledge representation
knowledge representation and reasoning
answer sets
stable models
default logic
probabilistic reasoning
inductive logic programming
classical first order logic
procedural semantics
multi agent
classical logic
background knowledge
propositional variables
reasoning about actions
fixpoint
inference rules
natural language
declarative programming