A Logical Semantics for Hypothetical Rulebases with Deletion.
Anthony J. BonnerPublished in: J. Log. Program. (1997)
Keyphrases
- logical properties
- logical language
- formal semantics
- dynamic logic
- model theoretic
- predicate calculus
- logical framework
- logical structure
- logical theories
- semantic information
- logical rules
- neural network
- domain knowledge
- relational query languages
- logical reasoning
- logical formulas
- operational semantics
- conceptual graphs
- belief revision
- logic programming
- data structure
- learning algorithm