A global workspace framework for combining reasoning systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5144 LNAI, Issue , 2008, Pages 261-265

  Charnley, John ^a   Colton, Simon ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 51049112072     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85110-3_21     Document Type: Conference Paper

References (8)

1. Charnley, J., Colton, S., Miguel, I.: Automatic generation of implied constraints. In: Proceedings of ECAI (2006)
2. Colton, S.: Automated conjecture making in number theory using HR. Otter and Maple. Journal of Symbolic Computation 39(5), 593-615 (2004)
3. Baars, B.: A cognitive theory of consciousness. Cambridge University Press, Cambridge (1988)
4. McCune, W.: Prover9, http://www.es.unm.edu/mccune/prover9/
5. Waterloo Maple. Maple Manual, http://www.maplesoft .on.ca
6. Colton, S.: Automated Theory Formation in Pure Mathematics. Springer, Heidelberg (2002)
7. Colton, S., Pease, A.: The TM system for repairing non-theorems. In: Proceedings of the IJCAR 2004 Disproving workshop (2004)
8. Colton, S., Meier, A., Sorge, V., McCasland, R.: Automatic generation of classification theorems for finite algebras. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI). vol. 3097, pp. 400-414. Springer, Heidelberg (2004)