A Formal Derivation of the Decidability of the Theory SA.
Chiharu HosonoYasuwo IkedaPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- theoretical basis
- formal models
- formal model
- mathematical foundations
- simulated annealing
- optimal solution
- theoretical foundation
- neural network
- information theory
- query answering
- description logics
- artificial intelligence
- incomplete information
- theoretical framework
- computational model
- formal specification
- decision making
- formal methods
- real time
- formal theory