Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq.
Filip SieczkowskiMalgorzata BiernackaDariusz BiernackiPublished in: IFL (2010)
Keyphrases
- logical language
- operational semantics
- high level
- domain specific
- formal semantics
- formal methods
- knowledge representation
- logic programming
- propositional dynamic logic
- theorem prover
- blind deconvolution
- semantic information
- learning machines
- inference rules
- formal model
- reasoning tasks
- reduction method
- logical framework
- conceptual model
- artificial intelligence