Formal Rules and Semantics.
Published in: The IOTA Programming System (1983)
Keyphrases
- highly expressive
- deduction rules
- transformation rules
- logical rules
- model theoretic
- rule language
- proof theoretic
- default rules
- formal semantics
- formal language
- active rules
- operational semantics
- association rules
- machine processable
- formal model
- description logics
- rule sets
- uncertain information
- owl ontologies
- production rules
- logic programming
- derivation rules
- action theories
- formal methods
- normal logic programs
- business rules
- decision rules
- event condition action
- logic programs