Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories.
Camilo RochaJosé MeseguerPublished in: LPAR (Yogyakarta) (2010)
Keyphrases
- description logics
- causal reasoning
- cognitive psychology
- knowledge representation and reasoning
- theoretical framework
- neural network
- multiscale
- learning environment
- mobile robot
- clustering algorithm
- data quality
- mathematical models
- information systems
- learning algorithm
- defeasible logic
- databases
- rewrite rules
- intelligent design
- equational theories