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. 161 505
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. 206 448 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. 252 739
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. 259 825
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. 250 488 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 242 1908 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). . 259 494
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. 313 803
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. 244 653 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. 51  
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. 117 2
Hyde, D (2001) A reply to Beall and Colyvan (Sorites Paradox). Mind, 110 438: 409-411. doi:10.1093/mind/110.438.409 65   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. 437 888
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. 313 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. 155 373
Priest, Graham George (1999) C. Howson, Logic with Trees. Studia Logica, 63 1: 140-143. doi:10.1023/A:1017201505279 41   0
Dowe, P. (2007) Constraints on data in worlds with closed timelike curves. Philosophy of Science, 74 5: 724-735. doi:10.1086/525617 100 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. 156 638
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. 148 540
Gabbay, Dov M. and Governatori, Guido (1998). Fibred Modal Tableaux (Preliminary Report). In: de Swart, H. M., Tableaux'98: Position Papers, , (33-48). . 157 390
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. 173 558
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. 46  
Governatori, Guido (1995). KE+: Beyond Refutation. In: Dreschler-Fischer, L. and Pribbenow, S., KI-95, Bielefeld, Germany, (75-76). . 128 460
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). . 181 867
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). . 144 1102
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 191 1017 10 Cited 14 times in Scopus14 0
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 678
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. 165 848
Governatori, Guido (1996). Labelling Ideality and Subideality. In: Gabbay, Dov M. and Ohlbach, Hans Jurgen, Formal Aspects of Practical Reasoning, Bonn, (291-304). . 136 528
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. 49  
Priest, G. G. Logic: A Very Short Introduction. Oxford UK: Oxford University Press, 2000. 61  
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. 39 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. 243 558
Governatori, Guido and Rotolo, Antonino (2004). Modelling Contracts Using RuleML. In: Gordon, Thomas, Jurix 2004: The Seventeenth Annual Conference, Berlin, (). December, 2004. 347 3183
Priest, Graham George (1999) Negation as cancellation, and connexive logic. Topoi, 18 2: 141-148. doi:10.1023/A:1006294205280 37   7 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 156 760 5 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 549 836 9 Cited 20 times in Scopus20 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. 346 529
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 52   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 26   7 Cited 9 times in Scopus9 0
Hyde, Dominic (1999) Pleading classicism. Mind, 108 432: 733-735. doi:10.1093/mind/108.432.733 42   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. 158 1086
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. 69  
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 158 1633 0
Tanaka, K. (2000) Review of A. Leitsch The Resolution Calculus. Studia Logica, 64 1: 136. doi:10.1023/A:1017212216372 33   0
Tanaka, K. (2001) Review of G. Antoniou Nonmonotonic Reasoning. Studia Logica, 67 144-146. 33  
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. 193 7

Page 1 of 2

Result Pages:    1 2  next › last »