Resource semantics: logic as a modelling technology.
David J. PymPublished in: ACM SIGLOG News (2019)
Keyphrases
- logic programming
- proof theory
- sound and complete axiomatization
- epistemic logic
- sound and complete with respect
- logical framework
- cost effective
- computational properties
- propositional dynamic logic
- operational semantics
- dynamic logic
- data processing
- logic programs
- conditional logic
- resource constraints
- causal reasoning
- nonmonotonic logics
- rapid development
- proof theoretic
- valued semantics
- case study
- automated reasoning
- key technologies
- autoepistemic logic
- web resources
- resource management
- highly expressive
- resource allocation
- semantic information
- fixed point semantics