M
Michael J. Maher
Researcher at University of New South Wales
Publications - 157
Citations - 7302
Michael J. Maher is an academic researcher from University of New South Wales. The author has contributed to research in topics: Defeasible logic & Logic programming. The author has an hindex of 39, co-authored 154 publications receiving 7180 citations. Previous affiliations of Michael J. Maher include Australian Defence Force Academy & University of Texas at Austin.
Papers
More filters
Journal ArticleDOI
Constraint logic programming : A survey
Joxan Jaffar,Michael J. Maher +1 more
TL;DR: This survey of CLP is to give a systematic description of the major trends in terms of common fundamental concepts and the three main parts cover the theory, implementation issues, and programming for applications.
Journal ArticleDOI
Representation results for defeasible logic
TL;DR: In this article, transformations and normal forms in the context of defeasible logic have been investigated, a simple but efficient formalism for non-monotonic reasoning based on rules and priorities.
Proceedings ArticleDOI
Complete axiomatizations of the algebras of finite, rational and infinite trees
TL;DR: The elementary equivalence of thegebra of rational trees and the algebra of infinite trees is obtained and forms the basis of decision procedures for the theories of the corresponding algebras.
Journal ArticleDOI
Argumentation Semantics for Defeasible Logic
TL;DR: Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking, which provides the first ambiguity blocking Dung- like argumentation system.