Extraction of Strong Typing Laws from Action Semantics Definitions.
Kyung-Goo DohDavid A. SchmidtPublished in: ESOP (1992)
Keyphrases
- action descriptions
- fixed point semantics
- precise definition
- action language
- information extraction
- logic programming
- automatic extraction
- formal semantics
- speech acts
- database
- action theories
- semantic information
- human actions
- reasoning about actions
- valued logic
- multi agent systems
- information retrieval
- fluent calculus
- data sets