First-order modal logic M Fitting, RL Mendelsohn, RA Girle Kluwer Academic, 1998 | 1026 | 1998 |
Modal logics and philosophy R Girle Routledge, 2014 | 222 | 2014 |
Possible worlds R Girle Routledge, 2014 | 94 | 2014 |
Decision support for practical reasoning: A theoretical and computational perspective R Girle, D Hitchcock, P McBurney, B Verheij Argumentation machines: New frontiers in argument and computation, 55-83, 2004 | 64 | 2004 |
Commands in dialogue logic RA Girle Practical Reasoning: International Conference on Formal and Applied …, 1996 | 47 | 1996 |
Command dialogues K Atkinson, R Girle, P McBurney, S Parsons Argumentation in Multi-Agent Systems: Fifth International Workshop, ArgMAS …, 2009 | 23 | 2009 |
Dialogue and entrenchment RA Girle Proceedings Of The 6th Florida Artificial Intelligence Research Symposium …, 1993 | 18 | 1993 |
Dialogue and discourse RA Girle | 18 | 1986 |
Knowledge organized and disorganized RA Girle The Florida AI Research Society, 1994 | 17 | 1994 |
Argumentation in Artificial Intelligence, chapter Abstract argumentation and values T Bench-Capon, K Atkinson Rahwan and Simari [RS09], 2009 | 13 | 2009 |
Epistemic logic, language and concepts RA Girle Logique et Analyse 16 (63/64), 359-373, 1973 | 13 | 1973 |
Introduction to logic RA Girle | 12 | 2002 |
Dialogue and the Teaching of Reasoning RA Girle Educational Philosophy and Theory 23 (1), 45-55, 1991 | 11 | 1991 |
Time, truth and logic J Slaney, T Surendonk, R Girle Technical Report TR-ARP-11/89, Australian National University, Canberra, 1989 | 11 | 1989 |
Logical fiction: Real vs. ideal RA Girle Pacific Rim International Conference on Artificial Intelligence, 542-552, 1998 | 10 | 1998 |
Belief sets and commitment stores RA Girle | 10 | 1997 |
A Top Down Approach to the Teaching of Reasoning Skills RA Girle Proceedings of the International, Interdisciplinary Conference on Thinking …, 1983 | 8 | 1983 |
The Question of the Question in Critical Thinking RA Girle Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011 | 7 | 2011 |
S1≠S0.9 RA Girle Notre Dame Journal of Formal Logic 16 (3), 339-344, 1975 | 7 | 1975 |
Computational models for knowledge RA Girle Proceedings of the Australian Joint Artificial Intelligence Conference, 14-17, 1989 | 6 | 1989 |