List of Subject Classifications Records

Browse Results (80 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 -> 280000 Information, Computing and Communication Sciences -> 280400 Computation Theory and Mathematics -> 280403 Logics and Meanings of Programs :

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 (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. 203 445 1
Su, K., Sattar, A., Governatori, G. and Chen, Q. (2005). A Computationally Grounded Logic of Knowledge, Belief and Certainty. In: S. Kraus, M. P. Singh, S. Koening, M. Wooldridge, F. Dignum and V. Dignum, Proceedings of the 4th International Joint Conference of Autonomous Agents and Multiagent Systems. 4th International Conference on Autonomous Agents and Multiagent Systems, Utrecht, The Netherlands, (149-156). 25-29 July, 2005. 342 1288
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. 244 807
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 240 1900 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). . 255 488
Antoniou, Grigoris, Billington, David, Governatori, Guido, Maher, Michael J. and Rock, Andrew (2000). A Family of Defeasible Reasoning Logics and its Implementation. In: Horn, Werner, 14th European Conference on Artificial Intelligence, , (459-463). . 280 785
Padmanabhan, Vineet and Governatori, Guido (2006). A Fibred Tableau Calculus for BDI Logics. In: Baldoni, Matteo and Endriss, Ulle, Declarative Agent Languages and Technologies (Dalt 2006), Hakodate, Hokkaido, Japan, (). 8 May, 2006. 210 361
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2000). A Flexible Framework For Defeasible Logics. In: 9th Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, (). 9-11 April, 2000. 192 492
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2000). A Flexible Framework For Defeasible Logics. In: American National Conference on Artificial Intelligence (AAAI-2000), , (401-405). . 184 786
Wildman, L. P. (2001) A formal basis for a program compilation proof tool Brisbane: Software Verification Research Cen. Univ of Qld 51  
Lermer, K. and Fidge, C. J. (1999). A formal model of real-time program compilation. In: J. P. Katoen, Formal Methods for Real-Time and Probabilistic Systems: ARTS'99. 5th International AMAST Workshop on Real-Time and Probabilistic Systems ARTS'99, Bamberg, Germany, (192-210). 26-28 May 1999. 44  
Watson, Geoffrey Norman (2001). A Generic Proof Checker PhD Thesis, School of Computer Science and Electrical Engineering, The University of Queensland. 810 1443
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. 241 649 2
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1997). A Modal Computational Framework for Default Reasoning. In: Brewka, Gerhard, Habel, Christopher and Nebel, Bernhard, KI-97, , (373-376). . 184 418
Governatori, Guido and Milosevic, Zoran (2005). An approach for validating BCL contract specifications. In: Claudio Bartolini, Guido Governatori and Zoran Milosevic, The 9th International IEEE Enterprise Distributed Object Computing Conference, Enschede, Netherlands, (1-10). 19-23 September 2005. 278 1026
Governatori, Guido and Maher, Michael J. (2000). An Argumentation-Theoretic Characterization of Defeasible Logic. In: Horn, Werner, 14th European Conference on Artificial Intelligence, , (469-474). . 173 668
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1994). An Automated Approach to Normative Reasoning. In: Breuker, Joost, ECAI Workshop on Artificial Normative Reasoning, Amsterdam, (132-145). . 196 594
Cao, T. H. (2000) Annotated fuzzy logic programs. International Journal of Fuzzy Sets and Systems, 113 2: 277-298. doi:10.1016/S0165-0114(98)00083-9 76   18 0
Pothipruk, P. and Governatori, G (2005). An Optimization for Query Answering on ALC Database. In: G. Dobbie and J. Bailey, Proceedings of 17th Australasian Database Conference (ADC2006). 17th Australasian Database Conference (ADC2006), Hobart, Tasmania, Australia, (129-137). 16-19 January, 2006. 238 448
Lermer, K. (1999). A parallel operator for real-time processes with predicate transformer semantics. In: J. P. Katoen, 5th International AMAST Workshop on Real-Time and Probabilistic Systems: ARTS'99. 5th International AMAST Workshop on Real-Time and Probabilistic Systems: ARTS'99, Bamberg, Germany, (152-171). 26-28 May, 1999. 30  
Watson, G. N. and Fidge, C. J. (2003). A partial-correctness semantics for modelling assembler programs. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods. First International Conference on Software Engineering and Formal Methods 2003, Brisbane, Australia, (82-90). 22-27 September 2003. doi:10.1109/SEFM.2003.1236210 61   0 0
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1995). A Prolog Implementation of KEM. In: Alpuente, Maria and Sessa, Maria I., GULP-PRODE'95, Salerno, (395-400). . 252 966
Governatori, Guido, Maher, Michael J., Antoniou, Grigoris and Billington, David (2000). Argumentation Semantics for Defeasible Logics. In: Mizoguchi, Riichiro and Slaney, John, PRICAI 2000, Melbourne, Australia, (27-37). August, 2000. 193 870
Governatori, Guido, Maher, Michael J., Antoniou, Grigoris and Billington, David (2004) Argumentation Semantics for Defeasible Logics. Journal of Logic and Computation, 14 5: 675-702. doi:10.1093/logcom/14.5.675 256 1772 72 Cited 108 times in Scopus108 0
Maher, Michael J. and Governatori, Guido (1999). A Semantic Decomposition of Defeasible Logic. In: American National Conference on Artificial Intelligence (AAAI-1999), Orlando, Florida, (299-305). 18-22 July, 1999. 191 1378
Governatori, Guido and Hoang, Duy Pham (2005). A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. In: Asaf Adi, Suzette Stoutenburg and Said Tabet, Lecture Notes in Computer Science: Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web. 1st International Conference on Rules and Rule Markup Languages for the Semantic Web, Galway, Ireland, (145-158). 10-12 November, 2005. doi:10.1007/11580072_12 260 1479 8 Cited 9 times in Scopus9 0
Lermer, K. and Strooper, P. A. (2000). A single complete refinement rule for demonic specifications. In: J. van Leeuwen, O. Watanabe, M. Hagiya and P. D. Mosses, International Conference IFIP TCS2000. International Conference IFIP TCS2000, Sendai, Japan, (564-579). 17-19 August 2000. 42  
Antoniou, Grigoris, Dimaresis, Nikos and Governatori, Guido (2007). A System for Modal and Deontic Defeasible Reasoning. In: Orgun, Mehmet A. and Thornton, John, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Queensland, (609-613). 2-6 December, 2007. 94 768 3
Governatori, Guido, Lomuscio, Alessio and Sergot, Marek J. (2003). A Tableaux System for Deontic Interpreted Systems. In: Gedeon, Tamas D. and Fung, Lance Chun Che, AI2003: Advances in Artificial Intelligence. 16th Australian Conference on Artificial Intelligence, Perth, Australia, (339-351). 3-5 December, 2003. 213 599 1
Watson, G. N. (2003). Compilation by refinement for a practical assembly language. In: J. Dong and J. Woodcock, Proceedings of the Fifth International Conference on Formal Engineering Methods. The Fifth International Conference on Formal Engineering Methods, Singapore, (286-305). 5-7 November 2003. doi:10.1007/b94115 34   1 0
Governatori, Guido, Milosevic, Zoran and Sadiq, Shazia (2006). Compliance checking between business processes and business contracts. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06). 10th International Enterprise Distributed Object Computing Conference (EDOC 2006), Hong Kong, China, (221-232). 16-20 October 2006. doi:10.1109/EDOC.2006.22 186 3735 36 Cited 106 times in Scopus106 0
Goldson, D. W. and Dongol, B. M. S. (2005). Concurrent Program Design in the Extended Theory of Owicki and Gries. In: Atkinson, Mike and Dehne, Frank, Theory of Computing. Computing: The Australasian Theory Symposium (CATS2005), Newcastle, Australia, (41-50). 30 January - 3 February 2005. 218 256
Gelati, Jonathan, Governatori, Guido, Rotolo, Antonino and Sartor, Giovanni (2002). Declarative Power, Representation, and Mandate: A Formal Anaysis. In: Bench-Capon, Trevor, Daskalopulu, Aspassia and Winkels, Radboudb, Jurix 2002, London, (41-52). December, 2002. 243 1580
Governatori, Guido (2004). Defeasible Description Logics. In: Antoniou, Grigoris and Boley, Harold, Rules And Rule Markup Languages For The Semantic Web, Proceedings. Third International Workshop on Rules and Rule Markup Languages for the Semantic Web, Hiroshima, Japan, (98-112). 8 November, 2004. 196 2006 5
Governatori, Guido and Rotolo, Antonino (2004). Defeasible Logic: Agency, Intention and Obligation. In: Lomuscio, Alession and Nute, Donald, Deontic Logic In Computer Science, Proceedings. 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Spain, (114-128). 26-28 May, 2004. 188 2876 30
Governatori, Guido, ter Hofstede, Arthur H. M. and Oaks, Philippa (2000). Defeasible Logic for Automated Negotiation. In: P. M. Swatman,, 5th CollECTeR Conference on Electronic Commerce. CollECTeR, Brisbane, Queensland, Australia, (). 13-14 December, 2000. 339 950
Dongol, B M S (2006). Derivation of java monitors. In: J. Han and M. Staples, Proceedings of the 2006 Australian Software Engineering Conference (ASWEC 2006). 2006 Australian Sottware Engineering Conference (ASWEC 2006), Sydney, Australia, (211-220). 18-21 April, 2006. 45   0
Governatori, Guido and Pham Hoang, Duy (2005). DR-CONTRACT: An architecture for e-Contracts in defeasible logic. In: Claudio Bartolini, Guido Governatori and Zoran Milosevic, 2nd EDOC Workshop on Contract Architectures and Languages (CoALA 2005), Enschede, Netherlands, (1-9). 19-23 September 2005. 247 963
Skylogiannis, T., Antoniou, G., Bassiliades, N. and Governatori, Guido (2005). DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. In: W. K. Cheung and J. Hsu, Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Services EEE2005. The 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service. EEE'05, Hong Kong, (44-49). 29 March - 1 April, 2005. doi:10.1109/EEE.2005.61 287 1263 0 Cited 19 times in Scopus19 0
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2006) Embedding Defeasible Logic in Logic Progamming. 273 1013
Antoniou, G, Billington, D, Governatori, G and Maher, MJ (2006) Embedding defeasible logic into logic programming. Theory And Practice of Logic Programming, 6 6: 703-735. doi:10.1017/S1471068406002778 54 2 38 Cited 45 times in Scopus45 0
Dongol, Brijesh and Goldson, Doug (2005) Extending the Theory of Owicki and Gries with a Logic of Progress. Technical Report SSE-2005-03, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 295 242
Dongol, B. M. S. and Goldson, D. W. (2006) Extending the theory of Owicki and Gries with a logic of progress. Logical Methods in Computing Science, 2 1: 1-25. doi:10.2168/LMCS-2(1:6)2006 65 55 0
Gabbay, Dov M. and Governatori, Guido (1998). Fibred Modal Tableaux (Preliminary Report). In: de Swart, H. M., Tableaux'98: Position Papers, , (33-48). . 155 386
Fidge, Colin J. (2003) Foreword. Theoretical Computer Science, 293 3: 477-581. doi:10.1016/S0304-3975(02)00610-2 42   0 Cited 0 times in Scopus0 0
Dongol, Brijesh (2006). Formalising progress properties of non-blocking programs. In: Z. Liu and J. He, Lecture Notes in Computer Science: Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006). 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macau, China, (284-303). 1-3 November 2006. doi:10.1007/11901433 61   8 Cited 4 times in Scopus4 0
Colvin, Robert, Groves, Lindsay, Luchangco, Victor and Moir, Mark (2006). Formal verification of a lazy concurrent list-based set algorithm. In: T. Ball and R.B. Jones, Proceedings of 18th International Conference on Computer Aided Verification (CAV 2006). 18th International Conference on Computer Aided Verification (CAV 2006), Seattle, WA, USA, (475-488). 17-20 August, 2006. doi:10.1007/11817963_44 61   18 Cited 17 times in Scopus17 0
Cao, T. H. and Creasy, P. N. (2000) Fuzzy types: A framework for handling uncertainty about types of objects. International Journal of Approximate Reasoning, 25 3: 217-253. doi:10.1016/S0888-613X(00)00055-4 37   13 Cited 7 times in Scopus7 0
Governatori, Guido, ter Hofstede, Arthur H. M. and Oaks, Philippa (2001). Is Defeasible Logic Applicable?. In: Grigoris Antoniou and Guido Governatori, 2nd Australasian Workshop on Computational Logic, Gold Coast, Queensland, Australia, (47-62). 31 Januay-1 February, 2001. 235 706
Governatori, Guido (1995). KE+: Beyond Refutation. In: Dreschler-Fischer, L. and Pribbenow, S., KI-95, Bielefeld, Germany, (75-76). . 125 450

Page 1 of 2

Result Pages:    1 2  next › last »