Adfa

Results: 541



#Item
11

Open Contractible Global Constraints Michael J. Maher NICTA∗ and University of NSW Abstract

Add to Reading List

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

- Date: 2009-04-18 03:41:20
    12

    Under consideration for publication in Theory and Practice of Logic Programming 1 Embedding Defeasible Logic into Logic Programming

    Add to Reading List

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

    Language: English - Date: 2005-11-11 18:39:50
      13

      Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation M.A.Hakim Newton1,2 , Duc Nghia Pham1,2 , Abdul Sattar1,2 , and Michael Maher1,3,4 1

      Add to Reading List

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

      Language: English - Date: 2011-08-05 00:44:04
        14

        Local Consistency for Extended CSPs Michael J. Maher National ICT Australia and University of NSW

        Add to Reading List

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

        Language: English - Date: 2009-05-01 00:27:20
          15

          An Argumentation-Theoretic Characterization of Defeasible Logic G. Governatori and M.J. Maher School of Computing and Information Technology, Griffith University Nathan, QLD 4111, Australia guido,mjm @cit.gu.edu.au

          Add to Reading List

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

          Language: English - Date: 2006-11-13 21:54:46
            16

            An Inclusion Theorem for Defeasible Logics David Billington School of ICT, Griffith University, Australia, Grigoris Antoniou Institute of Computer Science, FORTH, Greece, h.g

            Add to Reading List

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

            Language: English - Date: 2010-05-26 20:25:44
              17

              Online appendix for the paper Relative Expressiveness of Defeasible Logics II 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-06-21 01:02:06
                18

                Argumentation Semantics for Defeasible Logic GUIDO GOVERNATORI, School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD 4072, Australia. E-mail: MICHA

                Add to Reading List

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

                Language: English - Date: 2006-01-17 20:15:08
                  19

                  On Parameterized Substitutions Michael J. Maher IBM – T.J. Watson Research Center, Yorktown Heights, NYAbstract

                  Add to Reading List

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

                  Language: English - Date: 2006-02-08 20:19:56
                    20

                    J. LOGIC PROGRAMMING 1994:19, 20:1{THE SEMANTICS OF CONSTRAINT LOGIC PROGRAMS

                    Add to Reading List

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

                    Language: English - Date: 2006-09-14 01:09:12
                      UPDATE