BibSonomy publications for /author/Michael MaherFri Jan 20 00:00:00 CET 2012LICSconf/lics/1988348-357Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees1988dblp Fri Jan 20 00:00:00 CET 2012LICSconf/lics/2005397-406Herbrand Constraint Abduction.2005dblp Fri Dec 23 00:00:00 CET 2011AAAIconf/aaai/1983229-231The Denotational Semantics of Horn Clauses as a Production System.1983dblp Fri Dec 23 00:00:00 CET 2011AAAI/IAAIconf/aaai/1999299-305A Semantic Decomposition of Defeasible Logics.1999dblp Mon Dec 05 00:00:00 CET 2011CoRRA flexible framework for defeasible logicscs.AI/00030132000dblp Mon Dec 05 00:00:00 CET 2011CoRRFlow-Based Propagators for the SEQUENCE and Related Global Constraintsabs/0909.44522009dblp Mon Dec 05 00:00:00 CET 2011CoRREmbedding Defeasible Logic into Logic Programmingabs/cs/05110552005dblp Mon Dec 05 00:00:00 CET 2011CoRRRepresentation results for defeasible logiccs.LO/00030822000dblp Mon Dec 05 00:00:00 CET 2011CoRRPropositional Defeasible Logic has Linear Complexitycs.AI/04050902004dblp Thu Dec 01 00:00:00 CET 2011J. Log. Program.1-3Guest Editor's Introduction.19/201994dblp Thu Dec 01 00:00:00 CET 2011J. Log. Program.503-581Constraint Logic Programming: A Survey.19/201994dblp Thu Dec 01 00:00:00 CET 2011J. Log. Program.147-57Defeasible Logic versus Logic Programming without Negation as Failure.422000dblp Thu Dec 01 00:00:00 CET 2011J. Log. Program.1-31-46The Semantics of Constraint Logic Programs.371998dblp Thu Dec 01 00:00:00 CET 2011J. Log. Program.2115-118Comments on "General Failure of Logic Programs".31986dblp Thu Dec 01 00:00:00 CET 2011J. Log. Program.287-88Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.231995dblp Thu Dec 01 00:00:00 CET 2011J. Log. Program.3211-223A Theory of Complete Logic Programs with Equality.11984dblp Mon Nov 28 00:00:00 CET 2011ISSPAconf/isspa/2010488-491Single input image super resolution with alias detection.2010dblp Thu Nov 10 00:00:00 CET 2011Circuits and Systems112-17Fast Implementation of VC-1 with Modified Motion Estimation and Adaptive Block Transform.12010dblp Mon Nov 07 00:00:00 CET 2011JSEA4391-403DSPs/FPGAs Comparative Study for Power Consumption, Noise Cancellation, and Real Time High Speed Applications.32010dblp Wed Sep 07 00:00:00 CEST 2011Theor. Comput. Sci.2377-403A Tranformation System for Deductive Databases Modules with Perfect Model Semantics.1101993dblp