A Formal Approach to Aggregated Belief Formation

1. Heuvelink, A., Both, F.B.: A Cognitive Tactical Picture Compilation Agent. In: Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2007), pp. 175–181. IEEE Computer Society Press, Los Alamitos (2007)

   Chapter  Google Scholar 

2. Both, F., Heuvelink, A.: From a Formal Cognitive Task Model to an Implemented ACT-R Model. In: Proceedings of the 8th International Conference on Cognitive Modeling (ICCM 2007), pp. 199–204. Psychology Press (2007)

   Google Scholar 

3. Castelfranchi, C.: Representation and Integration of Multiple Knowledge Sources: Issue and Questions. In: Cantoni, V., Di Gesù, V., Setti, A., Tegolo, D. (eds.) Human & Machine Perception: Information Fusion, pp. 235–254. Plenum Press (1997)

   Google Scholar 

4. Bloch, I., Hunter, A., et al.: Fusion: General Concepts and Characteristics. International Journal of Intelligent Systems 16(10), 1107–1134 (2001)

   Article  Google Scholar 

5. Drosten, K.: Translating Algebraic Specifications to Prolog Programs: a Comparative Study. In: Algebraic and Logic Programming. LNCS, vol. 343, pp. 137–146. Springer, Heidelberg (1988)

   Google Scholar 

6. Hanus, M.: The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming 19, 20, 583–628 (1994)

   Article  MathSciNet  Google Scholar 

7. Wielemaker, J.: An Overview of the {SWI-Prolog} Programming Environment. In: Proceedings of the 13th International Workshop on Logic Programming Environments, pp. 1–16 (2003)

   Google Scholar 

8. Cadoli, M., Donini, F.M.: A Survey on Knowledge Compilation. AI Communications 10(3-4), 137–150 (1997)

   Google Scholar 

9. Shahar, Y.: A Framework for Knowledge-based Temporal Abstraction. Artificial Intelligence 90(11), 79–133 (1997)

   Article  MATH  Google Scholar 

10. Konieczny, S., Pino Pérez, R.: Merging Information Under Constraints: A Logical Framework. Journal of Logic and Computation 12(5), 773–808 (2002)

    Article  MATH  MathSciNet  Google Scholar 

11. Alchourròn, C.E., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50, 510–530 (1985)

    Article  MATH  MathSciNet  Google Scholar 

12. Sripada, S.M.: A Temporal Approach to Belief Revision in Knowledge Bases. In: Proceedings of the Ninth Conference on Artificial Intelligence for Applications, pp. 56–62. IEEE Computer Society Press, Los Alamitos (1993)

    Google Scholar 

13. Morrison, J.E.: A Review of Computer-Based Human Behavior Representations and Their Relation to Military Simulations. Institute for Defense Analyses, Paper P-3845 (2003)

    Google Scholar 

14. Anderson, J.R., Lebiere, C.: The Atomic Components of Thought. Lawrence Erlbaum Associates, Mahwah (1998)

    Google Scholar 

15. Laird, J.E., Newell, A., Rosenbloom, P.S.: SOAR: An Architecture for General Intelligence. Artificial Intelligence 33(1), 1–64 (1987)

    Article  MathSciNet  Google Scholar 

16. Muller, T.J., Heuvelink, A., Both, F.: Comparison of Implementations of a Cognitive Model in Soar and ACT-R. In: Proceedings of the 6th International Workshop on From Agent Theory to Agent Implementation (AT2AI-6) (2008)

    Google Scholar 

Download references