المؤلفون: Simon Colton, Murray Shanahan, John Charnley

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.doc.ic.ac.uk/~sgc/papers/aijspecial.pdf.

مصطلحات موضوعية: Key words, Combined Reasoning, Global Workspace Architectures, Automated Reasoning, Constraint Solving, Machine Learning, Automated Theorem Proving

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.9587; http://www.doc.ic.ac.uk/~sgc/papers/aijspecial.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.9587
http://www.doc.ic.ac.uk/~sgc/papers/aijspecial.pdf

المؤلفون: Simon Colton, Murray Shanahan, John Charnley

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.doc.ic.ac.uk/~jwc04/publications/other/colton_shanahan_charnley.pdf.

مصطلحات موضوعية: Key words, Combined Reasoning, Global Workspace Architectures, Automated Reasoning, Constraint Solving, Machine Learning, Automated Theorem Proving Preprint submitted to

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.2058; http://www.doc.ic.ac.uk/~jwc04/publications/other/colton_shanahan_charnley.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.2058
http://www.doc.ic.ac.uk/~jwc04/publications/other/colton_shanahan_charnley.pdf

المؤلفون: John Charnley, Simon Colton

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://events.cs.bham.ac.uk/cicm08/custom/esarm/ESARM2008.pdf.

مصطلحات موضوعية: global workspace, combined reasoning, conjecture making, finite algebra

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8508; http://events.cs.bham.ac.uk/cicm08/custom/esarm/ESARM2008.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8508
http://events.cs.bham.ac.uk/cicm08/custom/esarm/ESARM2008.pdf

المؤلفون: John Charnley, Simon Colton

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://events.cs.bham.ac.uk/cicm08/workshop-proc/ESARM2008.pdf.

مصطلحات موضوعية: global workspace, combined reasoning, conjecture making, finite algebra

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.30; http://events.cs.bham.ac.uk/cicm08/workshop-proc/ESARM2008.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.30
http://events.cs.bham.ac.uk/cicm08/workshop-proc/ESARM2008.pdf

المؤلفون: John Charnley, Simon Colton

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.doc.ic.ac.uk/~sgc/papers/charnley_esarm08.pdf.

مصطلحات موضوعية: global workspace, combined reasoning, conjecture making, finite algebra

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.9656; http://www.doc.ic.ac.uk/~sgc/papers/charnley_esarm08.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.9656
http://www.doc.ic.ac.uk/~sgc/papers/charnley_esarm08.pdf

المؤلفون: John Charnley, Simon Colton

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-378/proceedings.pdf.

مصطلحات موضوعية: global workspace, combined reasoning, conjecture making, finite algebra

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.940; http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-378/proceedings.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.940
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-378/proceedings.pdf

المؤلفون: John Charnley, Simon Colton

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-378/paper1.pdf.

مصطلحات موضوعية: global workspace, combined reasoning, conjecture making, finite algebra

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.932; http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-378/paper1.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.932
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-378/paper1.pdf