A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems.
Alireza EnsanEugenia TernovskaHeng LiuPublished in: PRUV@IJCAR (2018)
Keyphrases
- search problems
- model theoretic
- operational semantics
- orders of magnitude
- search algorithm
- heuristic search
- deductive databases
- description logics
- proof theoretic
- search strategies
- high level
- search space
- decision procedures
- knowledge representation
- logic programs
- constraint satisfaction problems
- fixpoint
- declarative programming
- probabilistic reasoning
- default reasoning
- formal semantics
- expert systems
- constraint satisfaction
- state space
- machine learning