Declarative Semantics of the Hybrid Constraint Language HydLa.
Kazunori UedaHiroshi HosobeDaisuke IshiiPublished in: CoRR (2019)
Keyphrases
- constraint language
- declarative semantics
- deductive databases
- integrity constraints
- logic programs
- logic programming
- logic programming language
- constraint networks
- object oriented
- operational semantics
- modeling language
- databases
- process model
- partial order
- fixpoint
- case study
- inference rules
- stable models
- answer set programming
- artificial intelligence