A Relation Algebraic Semantics for a Lazy Functional Logic Language.
Bernd BraßelJan ChristiansenPublished in: RelMiCS (2008)
Keyphrases
- proof theory
- highly expressive
- formal language
- logic programming
- fixed point semantics
- modal operators
- dynamic logic
- operational semantics
- declarative semantics
- logic programming language
- conditional logic
- model theoretic
- intuitionistic logic
- propositional dynamic logic
- logical language
- algebraic structure
- predicate calculus
- default reasoning
- formal semantics
- epistemic logic
- modal logic
- programming language
- logic programs
- knowledge representation language
- specification language
- proof theoretic
- mathematical theory
- denotational semantics
- nonmonotonic logics
- sound and complete with respect
- sound and complete axiomatization
- predicate logic
- description logics
- nonmonotonic reasoning
- intended meaning
- logical framework
- definition language
- rule engine
- belief revision
- relational structures
- classical logic
- agent programming
- functional language
- alternating time temporal logic
- formal theory
- autoepistemic logic
- inference rules
- conceptual graphs
- defeasible logic
- speech acts
- conceptual model
- constraint language
- temporal logic
- algebraic operators
- derivation rules
- algebraic expressions
- binary relations
- rewrite systems
- reasoning about actions
- abstract argumentation
- deontic logic