On Formal Reasoning on the Semantics of PLC using Coq
Jan Olaf BlechSidi Ould BihaPublished in: CoRR (2013)
Keyphrases
- formal methods
- model theoretic
- reasoning tasks
- formal semantics
- proof theory
- logical reasoning
- highly expressive
- proof theoretic
- formal language
- reasoning mechanism
- operational semantics
- machine processable
- open world
- default reasoning
- automated reasoning
- fuzzy description logics
- meta level
- theorem prover
- computational properties
- reasoning process
- specification languages
- formal models
- probabilistic reasoning
- reasoning systems
- logical framework
- logical rules
- deductive databases
- formal specification
- default rules
- uncertain information
- reasoning problems
- owl dl
- knowledge representation languages
- reasoning mechanisms
- logical formulas
- control system
- formal model
- description logics
- reasoning processes
- graphical representation
- reasoning services
- abstract argumentation
- knowledge representation
- knowledge sharing and reuse
- dynamic aspects
- knowledge base
- legal argument
- knowledge based systems
- logic programming
- semantic information
- situation calculus
- fuzzy control
- semantic mapping