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. 202 442 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. 339 1278
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. 224 788
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
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). . 278 782
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. 206 356
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. 191 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). . 183 774
Wildman, L. P. (2001) A formal basis for a program compilation proof tool Brisbane: Software Verification Research Cen. Univ of Qld 50  
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. 43  
Watson, Geoffrey Norman (2001). A Generic Proof Checker PhD Thesis, School of Computer Science and Electrical Engineering, The University of Queensland. 799 1428
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
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). . 183 407
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. 277 1016
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). . 172 667
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). . 195 590
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 74   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. 237 430
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 60   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). . 250 963
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. 192 858
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 255 1762 70 Cited 104 times in Scopus104 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. 190 1367
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 258 1449 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. 41  
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. 92 760 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. 212 589 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 33   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 3676 34 Cited 102 times in Scopus102 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. 217 253
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. 241 1562
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. 195 1986 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. 187 2844 31
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. 337 945
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. 44   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. 245 948
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 286 1254 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 1004
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 53 2 37 Cited 44 times in Scopus44 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. 293 240
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 64 54 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 382
Fidge, Colin J. (2003) Foreword. Theoretical Computer Science, 293 3: 477-581. doi:10.1016/S0304-3975(02)00610-2 41   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 60   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 60   19 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 36   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. 231 689
Governatori, Guido (1995). KE+: Beyond Refutation. In: Dreschler-Fischer, L. and Pribbenow, S., KI-95, Bielefeld, Germany, (75-76). . 123 449

Page 1 of 2

Result Pages:    1 2  next › last »