Axiom Schemata as Metalevel Axioms: Model Theory.
Timothy L. HinrichsMichael R. GeneserethPublished in: AAAI (2005)
Keyphrases
- computational model
- theoretical framework
- formal model
- high level
- conceptual framework
- mathematical model
- objective function
- probabilistic model
- probability distribution
- management system
- em algorithm
- theoretical analysis
- agent model
- object model
- simulation model
- theoretical foundation
- database
- search engine
- genetic algorithm