Initial Logic and Induction in Algebraic Specification.
Dorel LucanuPublished in: Sci. Ann. Cuza Univ. (2002)
Keyphrases
- asynchronous circuits
- computer algebra
- high level
- formal specification
- explanation based learning
- intuitionistic logic
- linear temporal logic
- higher order
- logic programming
- state machine
- multi valued
- neural network
- transition systems
- formal language
- rule induction
- inductive learning
- data sets
- initial set
- active rules
- constructive induction
- probability theory
- modal logic
- proof search
- conceptual model
- machine learning