Abstract
Throughout, unless said otherwise, we will work in propositional logic.
Original language | English |
---|---|
Pages (from-to) | 1-30 |
Number of pages | 30 |
Journal | Cognitive Technologies |
Issue number | 9783642044069 |
DOIs | |
State | Published - 2010 |
Bibliographical note
Publisher Copyright:© 2010, Springer-Verlag Berlin Heidelberg.