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
Book ChapterDOI
Equivalences of logic programs
TL;DR: In this article, identical equivalences based upon functional semantics [P] and logical consequences of P allow the application of two different and powerful tools to reason about programs, in particular, these equivalences seem ideal for discussing the deductive structure of such deductive databases.
Journal ArticleDOI
What Educators in Catholic Schools Might Expect When Addressing Gay and Lesbian Issues: A Study of Needs and Barriers
Michael J. Maher,Linda M. Sever +1 more
TL;DR: This article investigated how educators in Catholic high schools were addressing the topic of homosexuality and what barriers they encountered in efforts at implementation, and found that their reasons for addressing the issue included educators being better trained in gay and lesbian youth issues, and students "coming out" in their schools.
Proceedings ArticleDOI
Separability of polyhedra for optimal filtering of spatial and constraint data
TL;DR: The key notion of separability classification is introduced and study, which is a general tool potentially useful in many applications of a computational geometry flavor and is best suited to applications in which the spatial data is relatively static, some directions are more dominant than others, and the dimension of the space is not high.
Proceedings Article
Invited Talk: Some Issues and Trends in the Semantics of Logic Programming
TL;DR: In this article, a user-oriented formalism for the Herbrand universe is proposed, where the objects in this formalism are the uninterpreted terms over the herbrand universe.
Book ChapterDOI
Elimination of negation in term algebras
TL;DR: The initial results appear to be very specialized with complex combinatorial proofs, but they have applications and relevance to a number of important areas: unification, learning, abstract data types and rewriting systems, constraints and constructive negation in logic languages.