A Logic of Subtyping (Extended Abstract)
Giuseppe LongoKathleen MilstedSergei SolovievPublished in: LICS (1995)
Keyphrases
- extended abstract
- modal logic
- automated reasoning
- neural network
- predicate logic
- multi valued
- logic programming
- sound and complete axiomatization
- classical logic
- probability theory
- hidden markov models
- probabilistic logic
- evolutionary algorithm
- computational properties
- defeasible logic
- digital circuits
- artificial intelligence
- asynchronous circuits
- genetic algorithm