Constructive semantics, admissibility of rules and the validity of Peirce's law.
Wagner de Campos SanzThomas PiechaPeter Schroeder-HeisterPublished in: Log. J. IGPL (2014)
Keyphrases
- transformation rules
- deduction rules
- logical rules
- default rules
- derivation rules
- rule language
- formal semantics
- owl ontologies
- highly expressive
- classification rules
- active rules
- association rules
- rule sets
- legal reasoning
- semantic constraints
- uncertain information
- association rule mining
- operational semantics
- neural network
- normal logic programs
- learning classifier systems
- decision rules
- rule engine
- case law
- logic programming
- decision trees