List of Subject Classifications Records

Browse Results (66 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Page 1 of 2

Result Pages:    1 2  next › last »

 Browse by Research Fields, Courses and Disciplines The Research Fields, Courses and Disciplines (Australian Standard Research Classification) is published by the Australian Bureau of Statistics (ABS catalogue number 1297.0) 1998. ABS data is used with permission from the Australian Bureau of Statistics -> 440000 Philosophy and Religion -> 440100 Philosophy -> 440106 Logic :

No further child subject classifications could be found.
  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Governatori, Guido and Rotolo, Antonino (2006) A Computational Framework for Institutional Agency. 158 466
Governatori, Guido and Rotolo, Antonino (2003). A Computational Framework for Non-Monotonic Agency, Institutionalised Power and Multi-Agent Systems. In: Bourcier, Daniele, Jurix 2003, Utrecht Netherlands, (151-152). December, 2003. 202 442 1
Governatori, Guido, Gelati, Jonathan, Rotolo, Antonino and Sartor, Giovanni (2002). Actions, Institutions, Powers: Preliminary Notes. In: Lindemann, Gabriela, Moldt, Daniel, Paulucci, Mario and Yu, Bin, International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02), Bologna, (131-147). 12 July, 2002. 249 734
Governatori, Guido and Rotolo, Antonino (2003). A Defeasible Logic of Institutional Agency. In: Brewka, Gerhard and Peppas, Pavlos, Proceedings of the IJCAI-03 Workshop on Nonmonotonic Reasoning, Action and Change. IJCAI-03 Workshop on Nonmonotonic Reasoning, Action and Change, Acapulco, Mexico, (97-104). 10-11 August, 2003. 225 789
Governatori, Guido, Nair, Vineet and Sattar, Abdul (2002). A Defeasible Logic of Policy-based Intention. In: B. McKay and J. Slaney, Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence Proceedings. Australasian Workshop on Computational Logic 2002, Canberra, (9-20). 2-3 December, 2002. 241 476 7
Governatori, Guido and Nair, Vineet (2003). A Defeasible Logic of Policy-Based Intention. In: Gedeon, Tamas D. and Fung, Lance Chun Che, AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence Proceedings. 16th Australian Conference on Artificial Intelligence, Perth, Australia, (414-426). 3-5 December, 2003. doi:10.1007/b94701 237 1897 0
Governatori, Guido (1996). A Duplication and Loop Checking Free System for S4. In: Miglioli, P., Moscato, U., Mundici, D. and Ornaghi, M., 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (Short Papers), Terrassini, Italy, (19-32). . 251 480
Governatori, Guido and Rotolo, Antonino (2002). A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study. In: Jones, Andrew J. I. and Horty, John, Proceedings of the Sixth International Workshop on Deontic Logic in Computer Science. Deon 2002. Sixth International Workshop on Deontic Logic in Computer Science, London, (97-116). 22-24 May, 2002. 301 780
Artosi, Alberto, Governatori, Guido and Rotolo, Antonino (2000). A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. In: Dyckhoff, Roy, Tableaux 2000, St Andrews, Scotland, (82-97). Jul 03-07, 2000. 239 646 2
Tamminga, A. M. and Tanaka, K. (2001) A natural deduction system for first degree entailment. Notre Dame Journal of Formal Logic, 40 2: 258-272. 50  
Watson, Stephen George (2004). A proposal for a naturalised epistemology of logic PhD Thesis, School of History, Philosophy, Religion and Classics and School of Geography, Planning and Architecture, The University of Queensland. 104 2
Hyde, D (2001) A reply to Beall and Colyvan (Sorites Paradox). Mind, 110 438: 409-411. doi:10.1093/mind/110.438.409 63   3 0
Artosi, Alberto and Governatori, Guido (1998). A Tableaux Methodology For Deontic Conditional Logics. In: DEON'98, 4h International Workshop on Deontic Logic in Computer Science, Bologna, Italy, (65-81). January, 1998. 433 880
Colledge, Richard John David (2006). Beyond Alethia: A Critique of Heideggerian Einaiology PhD Thesis, School of History, Philosophy, Religion, and Classics, The University of Queensland. 300 16
Governatori, Guido and Rotolo, Antonino (2007). BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. In: Guido Boella, Leendert van der Torre and Harko Verhagen, Dagstuhl Seminar Proceedings. Normative Multi-Agent Systems (NorMAS), Dagstuhl, Germany, (1-34). 18-23 March, 2007. 147 352
Priest, Graham George (1999) C. Howson, Logic with Trees. Studia Logica, 63 1: 140-143. doi:10.1023/A:1017201505279 35   0
Dowe, P. (2007) Constraints on data in worlds with closed timelike curves. Philosophy of Science, 74 5: 724-735. doi:10.1086/525617 97 4 0 Cited 1 times in Scopus1 0
Gabbay, Dov M. and Governatori, Guido (1998). Dealing with Label Dependent Deontic Modalities. In McNamara, Paul and Prakken, Henry (Ed.), Norms, Logics and Information Systems. New Studies in Deontic Logic (pp. 311-330) : IOS Press. 155 632
Gabbay, Dov M. and Governatori, Guido (2000). Fibred Modal Tableaux. In Basin, David, D'Agostino, Marcello, Gabbay, Dov M., Matthews, Sean and Vigano', Luca (Ed.), Labelled Deduction (pp. 163-194) : Kluwer. 147 532
Gabbay, Dov M. and Governatori, Guido (1998). Fibred Modal Tableaux (Preliminary Report). In: de Swart, H. M., Tableaux'98: Position Papers, , (33-48). . 155 382
Governatori, Guido (1998). Ideality and subideality from a computational point of view. In: Alberto Artosi, Manuel Atienza and Hajme Yoshino, From the Practical Reason to Legal Computer Science: Proceedings of the 17th World Congress of the International Association for Philosophy of Law and Social Philosophy (IVR). 17th World Congress of the International Association for Philosophy of Law and Social Philosophy (IVR), Bologna, Italy, (315-328). 16-21 June 1995. 171 546
Priest, G. G. (2000) Inconsistent models of artihmetic Part II : The general case. The Journal of Symbolic Logic, 65 4: 1519-1529. doi:10.2307/2695062 20   10 3
Byeong-uk Yi (1999) Is two a property?. Journal of Philosophy, 96 4: 163-190. 42  
Governatori, Guido (1995). KE+: Beyond Refutation. In: Dreschler-Fischer, L. and Pribbenow, S., KI-95, Bielefeld, Germany, (75-76). . 123 449
Artosi, Alberto, Benassi, Paola, Governatori, Guido and Rotolo, Antonino (2004). Labelled Proofs For Quantified Modal Logic. In: Alferes, Jose J., Pereira, Luis M. and Orlowska, Ewa, Jelia'96, Evora, Portugal, (70-86). . 178 854
Governatori, Guido (1996). Labelled Tableaux for Multi-Modal Logics. In: Baumgartner, P., Hahnle, R. and Posegga, J., 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, St Goar, Germany, (79-94). . 142 1081
Artosi, Alberto, Governatori, Guido and Rotolo, Antonino (2002) Labelled tableaux for nonmonotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation, 12 6: 1027-1060. doi:10.1093/logcom/12.6.1027 188 997 9 Cited 14 times in Scopus14 0
Governatori, Guido and Luppi, Alessandro (2000). Labelled Tableaux For Non-Normal Modal Logics. In: Lamma, Evelina and Mello, Paola, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, (119-130). September. 162 807
Governatori, Guido and Luppi, Alessandro (1999). Labelled Tableaux For Non-Normal Modal Logics. In: Lamma, Evelina and Mello, Paola, AIIA 99, Bologna, (413-422). . 181 667
Governatori, Guido (1996). Labelling Ideality and Subideality. In: Gabbay, Dov M. and Ohlbach, Hans Jurgen, Formal Aspects of Practical Reasoning, Bonn, (291-304). . 133 525
Bueno, O. and Colyvan, M. (2004). Logical Non-Apriorism and the 'Law' of Non-Contradiction. In G Priest, J. C. Bell and B Amour-Garb (Ed.), The Law of Non-Contradiction: New Philosophical Essays (pp. 156-175) New York: Oxford University. 47  
Priest, G. G. Logic: A Very Short Introduction. Oxford UK: Oxford University Press, 2000. 60  
Governatori, Guido and Rotolo, Antonino (2006) Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, 4 1: 193-215. 37 1
Artosi, Alberto and Governatori, Guido (1998). Modal tableaux for nonmonotonic reasoning. In: Vito MIchele Abrusci, Carlo Cellucci, Roberto Cordeschi and Vincenzo Fano, Prospettive della logica e della filosofia della scienza : atti del Convegno Triennale della Societa Italiana di Logica e Filosofia delle Scienze. Convegno Triennale della Societa Italiana di Logica e Filosofia delle Scienze, Rome, Italy, (203-213). 3-5 January 1996. 239 541
Governatori, Guido and Rotolo, Antonino (2004). Modelling Contracts Using RuleML. In: Gordon, Thomas, Jurix 2004: The Seventeenth Annual Conference, Berlin, (). December, 2004. 344 3181
Priest, Graham George (1999) Negation as cancellation, and connexive logic. Topoi, 18 2: 141-148. doi:10.1023/A:1006294205280 31   6 3
Governatori, G., Nair, V. C. P. and Sattar, A. (2002). On Fibring Semantics for BDI Logics. In: Flesca, Sergio, Greco, Sergio, Leone, Nicola and Ianni, Gianbattista, Logics in Artificial Intelligence. Logics in Artificial Intelligence, European Conference, JELIA 2002., Cosenza, Italy, (198-210). 23-26 September, 2002. doi:10.1007/3-540-45757-7_17 154 733 4 0
Governatori, Guido and Rotolo, Antonino (2005) On the axiomatisation of Elgesem's logic of agency and ability. Journal of Philosophical Logic, 34 4: 403-431. doi:10.1007/s10992-004-6368-1 543 822 8 Cited 19 times in Scopus19 0
Governatori, Guido and Rotolo, Antonino (2004). On the Axiomatization of Elgesem's Logic of Agency and Ability. In: Renate Schmidt, Ian Pratt-Hartmann, Mark Reynold and Heinrich Wansing, Proceedings of the International Conference on Advances in Modal Logic. Advances in Modal Logic, Manchester, (130-144). 9--11 September, 2004. 314 515
Priest, Graham (2000) On the principle of uniform solution: A reply to Smith. Mind, 109 433: 123-126. doi:10.1093/mind/109.433.123 49   5 Cited 4 times in Scopus4 3
Bueno, Otávio and Colyvan, Mark (2003) Paradox without satisfaction. Analysis, 63 278: 152-156. doi:10.1111/1467-8284.00026 25   7 Cited 9 times in Scopus9 0
Hyde, Dominic (1999) Pleading classicism. Mind, 108 432: 733-735. doi:10.1093/mind/108.432.733 36   1 Cited 5 times in Scopus5 0
Artosi, Alberto and Governatori, Guido (2006). Popper on necessity and natural laws. In: Mario Alai and Gino Tarozzi, Karl Popper philosopher of science : proceedings of the conference. Karl Popper philosopher of science, Cesena, Italy, (107-118). 27-30 October 1994. 145 1061
Hardie, William Auchterlonie. (1936). Reason as the seat of authority M.A. Thesis, School of Mental and Moral Philosophy, The University of Queensland. 34 2
Hyde, D. G. (2000) Recent work on vagueness. Philosophical Books, 41 January: 1-13. 66  
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2001) Representation Results for Defeasible Logic. ACM Transactions on Computational Logic, 2 2: 255-287. doi:10.1145/371316.371517 154 1615 0
Tanaka, K. (2000) Review of A. Leitsch The Resolution Calculus. Studia Logica, 64 1: 136. doi:10.1023/A:1017212216372 32   0
Tanaka, K. (2001) Review of G. Antoniou Nonmonotonic Reasoning. Studia Logica, 67 144-146. 32  
Tanaka, K. (2001) Review of J.L Alferes and L.M. Pereira Reasoning with Logic Programming. Studia Logica, 67 118-120. 53  
Murray, Paul. (2005). Scepticism, contextualism, and natural doubt PhD Thesis, School of History, Philosophy, Religion and Classics, The University of Queensland. 176 7

Page 1 of 2

Result Pages:    1 2  next › last »