The Equivalence Problem for Computational Models: Decidable and Undecidable Cases.
Vladimir A. ZakharovPublished in: MCU (2001)
Keyphrases
- computational models
- datalog programs
- computational model
- query containment
- cognitive modelling
- cognitive processes
- computational modeling
- language acquisition
- cognitive modeling
- sufficient conditions
- conjunctive queries
- biological systems
- cognitive architecture
- mathematical models
- active vision
- query answering
- np complete
- cognitive architectures
- social learning
- case base
- artificial intelligence
- virtual agents