The Rewriting Logic Semantics Project: A Progress Report.
José MeseguerGrigore RosuPublished in: FCT (2011)
Keyphrases
- logic programming
- proof theory
- epistemic logic
- nonmonotonic logics
- sound and complete axiomatization
- sound and complete with respect
- propositional dynamic logic
- proof theoretic
- logical framework
- default reasoning
- computational properties
- dynamic logic
- conditional logic
- operational semantics
- project management
- model theoretic
- highly expressive
- active rules
- case study
- modal operators
- formal language
- alternating time temporal logic
- autoepistemic logic
- rewrite rules
- algebraic structure
- abstract argumentation frameworks
- formal semantics
- rewrite systems
- proof procedures
- nonmonotonic reasoning
- modal logic
- programming language
- predicate calculus
- defeasible logic
- reasoning tasks
- multi valued
- argumentation semantics
- belief revision