Modelling the dynamics of reasoning processes: Reasoning by assumption

1998 Brazier, 1998, Principles of component-based design of intelligent agents, 347 Brazier, 1999, Compositional modelling of reflective agents, International Journal of Human–Computer Studies, 50, 407, 10.1006/ijhc.1999.0249 Busemeyer, 1993, Decision field theory: a dynamic-cognitive approach to decision making in an uncertain environment, Psychological Review, 100, 432, 10.1037/0033-295X.100.3.432 Byrne, 2002, Contradictions and counterfactuals: generating belief revision in conditional inference, 160 Dechter, 1996, Structure-driven algorithms for truth maintenance, Artificial Intelligence, 82, 1, 10.1016/0004-3702(94)00096-4 Dieussaert, 2002, The quality of test context and contra evidence as a moderating factor in the belief revision process, 280 Doyle, 1979, A truth maintenance system, Artificial Intelligence, 12, 231, 10.1016/0004-3702(79)90008-0 De Kleer, 1986, An assumption-based TMS, Artificial Intelligence, 28, 127, 10.1016/0004-3702(86)90080-9 van Eck, 2001, A survey of languages for specifying dynamics: a knowledge engineering perspective, IEEE Transactions on Knowledge and Data Engineering, 13, 462, 10.1109/69.929903 Engelfriet, 2001, Default logic and specification of nonmonotonic reasoning, Journal of Experimental and Theoretical AI, 13, 99, 10.1080/09528130117278 Engelfriet, 1995, Temporal theories of reasoning, Journal of Applied Non-Classical Logics, 5, 239, 10.1080/11663081.1995.10510858 Engelfriet, 1998, An interpretation of default logic in minimal temporal epistemic logic, Journal of Logic, Language and Information, 7, 369, 10.1023/A:1008243611454 Herlea, 1999, Specification of behavioural requirements within compositional multi-agent system design, vol. 1647, 8 Hölldobler, 1990, A new deductive approach to planning, New Generation Computing, 8, 225, 10.1007/BF03037518 Johnson-Laird, 1983 Johnson-Laird, 1991 Jonker, 1998, Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness, vol. 1536, 350 Jonker, 2002, Analysis of the dynamics of reasoning using multiple representations, 512 Kelso, 1995 Kowalski, 1986, A logic-based calculus of events, New Generation Computing, 4, 67, 10.1007/BF03037383 van Langevelde, 1992, Logical methods in protocol analysis, 162 Marek, 1993 McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence, 4, 463 Meyer, J.-J. Ch. & Treur, J. (Vol. Eds.) (2001). Dynamics and management of reasoning processes. In Gabby, D. & Smets, Ph., Series Eds.), Series in defeasible reasoning and uncertainty management systems. Kluwer, Vol. 6. 1995 Reiter, 1980, A logic for default reasoning, Artificial Intelligence, 13, 81, 10.1016/0004-3702(80)90014-4 Rips, 1994 Schroyens, 2001, A meta-analytic review of conditional reasoning by model and/or rule: mental models theory revised Yang, 1999, A study of complex reasoning: the case GRE ‘logical’ problems, 767 Yang, 2001, Mental metalogic: a new paradigm in psychology of reasoning. Extended abstract, 199