References
- Arkoudas , K . (n.d.), Athena. Availabe at: http://www.cag.csail.mit.edu/~kostas/dpls/athena
- Arkoudas , K and Bringsjord , S . 2009 . Propositional Attitudes and Causation . International Journal of Software and Informatics , 3 : 47 – 65 .
- Baron , R and Kalsher , M . 2001 . Psychology, , 5th , Boston, MA : Allyn and Bacon .
- Bringsjord , S . 2008a . “ Declarative/logic-based Cognitive Modelling ” . In The Handbook of Computational Psychology , Edited by: Sun , R . 127 – 169 . Cambridge, , UK : Cambridge University Press .
- Bringsjord , S . 2008b . The Logicist Manifesto: At Long Last let Logic-based AI Become a Field Unto Itself . Journal of Applied Logic , 6 : 502 – 525 .
- Bringsjord , S and Ferrucci , D . 1998 . Logic and Artificial Intelligence: Divorced, Still Married, Separated…? . Minds and Machines , 8 : 273 – 308 .
- Bringsjord , S and Ferrucci , D . 2000 . Artificial Intelligence and Literary Creativity: Inside the Mind of Brutus, a Storytelling Machine , Mahwah, NJ : Lawrence Erlbaum .
- Bringsjord , S and Schimanski , B . 2003 . “ What Is Artificial Intelligence? Psychometric AI as an Answer ” . In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI–03) , 887 – 893 . Morgan Kaufmann, San Francisco, CA .
- Charniak , E and McDermott , D . 1985 . Introduction to Artificial Intelligence , Reading, MA : Addison-Wesley .
- Davis , M , Sigal , R and Weyuker , E . 1994 . Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science , New York, NY : Academic Press .
- Kafka , F (W. Muir and E. Muir, trans.) . 1948 . “ The Metamorphosis ” . In The Penal Colony , New York, NY : Schocken Books .
- Kowalski , R and Sergot , M . 1986 . A Logic-based Calculus of Events . New Generation Computing , 4 : 67 – 95 .
- Meehan , J . 1981 . “ Tale-spin ” . In Inside Computer Understanding: Five Programs Plus Miniatures , Edited by: Schank , R and Reisbeck , C . 197 – 226 . Englewood Cliffs, NJ : Lawrence Erlbaum .
- Mueller , E . 2006 . Commonsense Reasoning , San Francisco, CA : Morgan Kaufmann .
- Nilsson , N . 1991 . Logic and Artificial Intelligence . Artificial Intelligence , 47 : 31 – 56 .
- Schimanski , BK . 2006 . “ Psychometric AI and Story Arrangement: Progress of a Test-based Approach Toward an Achievable Artificial Intelligence ” . In PhD thesis , Rensselaer Polytechnic Institute (RPI) .
- Sun , R . 1994 . Integrating Rules and Connectionism for Robust Commonsense Reasoning , New York, NY : John Wiley and Sons .
- Voronkov , A . 1995 . The Anatomy of Vampire: Implementing Bottom-up Procedures with Code Trees . Journal of Automated Reasoning , 15 : 237 – 265 .