Adfa

Results: 541



#Item
31Comparing Defeasible Logics Michael J. Maher1 Abstract. In this paper we seek to formally establish the similarities and differences between two formalizations of defeasible reasoning: the defeasible logics of Nute and M

Comparing Defeasible Logics Michael J. Maher1 Abstract. In this paper we seek to formally establish the similarities and differences between two formalizations of defeasible reasoning: the defeasible logics of Nute and M

Add to Reading List

Source URL: seit.unsw.adfa.edu.au

Language: English - Date: 2014-05-30 02:21:12
    32[16] H. Schmidt, W. Kiessling, U. Guntzer and R. Bayer, \Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iterations

    [16] H. Schmidt, W. Kiessling, U. Guntzer and R. Bayer, \Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iterations", Proceedings of Symposium on Logic Programming, San Francisco, pp. 234{).

    Add to Reading List

    Source URL: seit.unsw.adfa.edu.au

    Language: English - Date: 2007-01-17 20:55:46
      33Online appendix for the paper  Relative Expressiveness of Defeasible Logics published in Theory and Practice of Logic Programming Michael J. Maher School of Engineering and Information Technology

      Online appendix for the paper Relative Expressiveness of Defeasible Logics published in Theory and Practice of Logic Programming Michael J. Maher School of Engineering and Information Technology

      Add to Reading List

      Source URL: seit.unsw.adfa.edu.au

      Language: English - Date: 2013-01-21 00:46:12
        34

        PDF Document

        Add to Reading List

        Source URL: seit.unsw.adfa.edu.au

        - Date: 2010-09-23 03:48:12
          35Representation Results for Defeasible Logic GRIGORIS ANTONIOU School of Computing and Information Technology, Griffith University DAVID BILLINGTON School of Computing and Information Technology, Griffith University GUIDO

          Representation Results for Defeasible Logic GRIGORIS ANTONIOU School of Computing and Information Technology, Griffith University DAVID BILLINGTON School of Computing and Information Technology, Griffith University GUIDO

          Add to Reading List

          Source URL: seit.unsw.adfa.edu.au

          Language: English - Date: 2006-11-13 21:08:38
            36Argumentation Semantics for Defeasible Logics G. Governatori1 , M.J. Maher2 , G. Antoniou2 , and D. Billington2 1 School of Information Systems, Queensland University of Technology, GPO Box 2434 Brisbane, QLD 4001, Austr

            Argumentation Semantics for Defeasible Logics G. Governatori1 , M.J. Maher2 , G. Antoniou2 , and D. Billington2 1 School of Information Systems, Queensland University of Technology, GPO Box 2434 Brisbane, QLD 4001, Austr

            Add to Reading List

            Source URL: seit.unsw.adfa.edu.au

            Language: English - Date: 2004-07-06 04:12:34
              37On the Modelling and Analysis of Regulations G. Antoniou, D. Billington, G. Governatori and M.J. Maher CIT, Griffith University Nathan, QLD 4111, Australia {ga,db,guido,mjm}@cit.gu.edu.au

              On the Modelling and Analysis of Regulations G. Antoniou, D. Billington, G. Governatori and M.J. Maher CIT, Griffith University Nathan, QLD 4111, Australia {ga,db,guido,mjm}@cit.gu.edu.au

              Add to Reading List

              Source URL: seit.unsw.adfa.edu.au

              Language: English - Date: 2012-01-12 21:52:26
              38SOGgy Constraints: Soft Open Global Constraints Michael J. Maher NICTA? and University of NSW Sydney, Australia

              SOGgy Constraints: Soft Open Global Constraints Michael J. Maher NICTA? and University of NSW Sydney, Australia

              Add to Reading List

              Source URL: seit.unsw.adfa.edu.au

              Language: English - Date: 2009-06-18 05:17:46
              39ADFA PARTICIPATING LENDER LIST as of September 10, 2014 Arvest Mortgage  First Western Mortgage

              ADFA PARTICIPATING LENDER LIST as of September 10, 2014 Arvest Mortgage First Western Mortgage

              Add to Reading List

              Source URL: www.state.ar.us

              - Date: 2014-10-07 10:06:30
                40Microsoft Word - ICTS ID Card Replacement.DOCX

                Microsoft Word - ICTS ID Card Replacement.DOCX

                Add to Reading List

                Source URL: icts.unsw.adfa.edu.au

                - Date: 2015-05-20 20:47:22