Exploring Logic Artificial Chemistries: An Illogical Attempt?
Christof TeuscherPublished in: ALIFE (2007)
Keyphrases
- logic programming
- modal logic
- multi valued
- sound and complete axiomatization
- proof theory
- linear logic
- artificial systems
- artificial life
- expert systems
- genetic algorithm
- real world
- multi agent systems
- data structure
- website
- information systems
- defeasible logic
- data mining
- formal theory
- dynamic logic
- neural network
- databases