BibSonomy publications for /author/Michael Maher

BibSonomy publications for /author/Michael MaherBibSonomypublrss/author/Michael MaherBibSonomy RSS feed for /author/Michael Maher2012-02-16T20:04:15+01:00Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Treeshttp://www.bibsonomy.org/bibtex/2adb17715fbbc9bef2ec280dbd1027494/dblpdblp2012-01-20T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Maher">Michael J. Maher</a> </span><em>LICS, </em><em>page 348-357. </em><em>IEEE Computer Society, </em>(<em>1988</em>)Herbrand Constraint Abduction.http://www.bibsonomy.org/bibtex/24ff8543e8b4a93f14c1ea033bb9c3c88/dblpdblp2012-01-20T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Maher">Michael J. Maher</a> </span><em>LICS, </em><em>page 397-406. </em><em>IEEE Computer Society, </em>(<em>2005</em>)The Denotational Semantics of Horn Clauses as a Production System.http://www.bibsonomy.org/bibtex/2e2a95c3f16aa9a82bb6add8208a9a0c5/dblpdblp2011-12-23T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Lassez">Jean-Louis Lassez</a>, and <a href="/author/Maher">Michael J. Maher</a> </span><em>AAAI, </em><em>page 229-231. </em><em>AAAI Press, </em>(<em>1983</em>)A Semantic Decomposition of Defeasible Logics.http://www.bibsonomy.org/bibtex/233d8eefb91388c0a532067c88c527e09/dblpdblp2011-12-23T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Maher">Michael J. Maher</a>, and <a href="/author/Governatori">Guido Governatori</a> </span><em>AAAI/IAAI, </em><em>page 299-305. </em><em>AAAI Press / The MIT Press, </em>(<em>1999</em>)A flexible framework for defeasible logicshttp://www.bibsonomy.org/bibtex/2bdf1701b30648f723c99d7d0c638caf8/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Antoniou">Grigoris Antoniou</a>, <a href="/author/Billington">David Billington</a>, <a href="/author/Governatori">Guido Governatori</a>, and <a href="/author/Maher">Michael J. Maher</a> </span><em>CoRR</em> (<em>2000</em>)Flow-Based Propagators for the SEQUENCE and Related Global Constraintshttp://www.bibsonomy.org/bibtex/2c80ec5656b2a1b21d1d8354d09428430/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Maher">Michael J. Maher</a>, <a href="/author/Narodytska">Nina Narodytska</a>, <a href="/author/Quimper">Claude-Guy Quimper</a>, and <a href="/author/Walsh">Toby Walsh</a> </span><em>CoRR</em> (<em>2009</em>)Embedding Defeasible Logic into Logic Programminghttp://www.bibsonomy.org/bibtex/2dc1c49a6222c9dacacf2ea0bf919fd24/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Antoniou">Grigoris Antoniou</a>, <a href="/author/Billington">David Billington</a>, <a href="/author/Governatori">Guido Governatori</a>, and <a href="/author/Maher">Michael J. Maher</a> </span><em>CoRR</em> (<em>2005</em>)Representation results for defeasible logichttp://www.bibsonomy.org/bibtex/2a4980feb321ccfbcc6e3aa9171386e47/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Antoniou">Grigoris Antoniou</a>, <a href="/author/Billington">David Billington</a>, <a href="/author/Governatori">Guido Governatori</a>, and <a href="/author/Maher">Michael J. Maher</a> </span><em>CoRR</em> (<em>2000</em>)Propositional Defeasible Logic has Linear Complexityhttp://www.bibsonomy.org/bibtex/213ca197e0d6af69f349ffd283003c36c/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Maher">Michael J. Maher</a> </span><em>CoRR</em> (<em>2004</em>)Guest Editor's Introduction.http://www.bibsonomy.org/bibtex/2b4ef56c66d0419e5efcab6fe8793e32a/dblpdblp2011-12-01T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Bruynooghe">Maurice Bruynooghe</a>, <a href="/author/Debray">Saumya K. Debray</a>, <a href="/author/Hermenegildo">Manuel V. Hermenegildo</a>, and <a href="/author/Maher">Michael J. Maher</a> </span><em>J. Log. Program.</em> (<em>1994</em>)Constraint Logic Programming: A Survey.http://www.bibsonomy.org/bibtex/2048792b9eb7a25f4cc3720f6cc718f19/dblpdblp2011-12-01T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Jaffar">Joxan Jaffar</a>, and <a href="/author/Maher">Michael J. Maher</a> </span><em>J. Log. Program.</em> (<em>1994</em>)Defeasible Logic versus Logic Programming without Negation as Failure.http://www.bibsonomy.org/bibtex/28395a3963bc9a6c90ea583eaae89cbe9/dblpdblp2011-12-01T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Antoniou">Grigoris Antoniou</a>, <a href="/author/Maher">Michael J. Maher</a>, and <a href="/author/Billington">David Billington</a> </span><em>J. Log. Program.</em> <em>42(1):47-57</em> (<em>2000</em>)The Semantics of Constraint Logic Programs.http://www.bibsonomy.org/bibtex/28fdea4b387a35bb7938362a1f3c9dc6a/dblpdblp2011-12-01T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Jaffar">Joxan Jaffar</a>, <a href="/author/Maher">Michael J. Maher</a>, <a href="/author/Marriott">Kim Marriott</a>, and <a href="/author/Stuckey">Peter J. Stuckey</a> </span><em>J. Log. Program.</em> <em>37(1-3):1-46</em> (<em>1998</em>)Comments on "General Failure of Logic Programs".http://www.bibsonomy.org/bibtex/25a90204094e6ba291865f0f7849d4d2c/dblpdblp2011-12-01T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Jaffar">Joxan Jaffar</a>, <a href="/author/Lassez">Jean-Louis Lassez</a>, and <a href="/author/Maher">Michael J. Maher</a> </span><em>J. Log. Program.</em> <em>3(2):115-118</em> (<em>1986</em>)Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.http://www.bibsonomy.org/bibtex/23fc6aab4165ded75410a5246911c5f27/dblpdblp2011-12-01T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Bruynooghe">Maurice Bruynooghe</a>, <a href="/author/Debray">Saumya K. Debray</a>, <a href="/author/Hermenegildo">Manuel V. Hermenegildo</a>, and <a href="/author/Maher">Michael J. Maher</a> </span><em>J. Log. Program.</em> <em>23(2):87-88</em> (<em>1995</em>)A Theory of Complete Logic Programs with Equality.http://www.bibsonomy.org/bibtex/28c04a0b49cddc48a3f091df5158f46ab/dblpdblp2011-12-01T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Jaffar">Joxan Jaffar</a>, <a href="/author/Lassez">Jean-Louis Lassez</a>, and <a href="/author/Maher">Michael J. Maher</a> </span><em>J. Log. Program.</em> <em>1(3):211-223</em> (<em>1984</em>)Single input image super resolution with alias detection.http://www.bibsonomy.org/bibtex/2f334d222ecefd024f0b318e3aa603d05/dblpdblp2011-11-28T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Chukwu">Michael Chukwu</a>, and <a href="/author/Sid-Ahmed">Maher A. Sid-Ahmed</a> </span><em>ISSPA, </em><em>page 488-491. </em><em>IEEE, </em>(<em>2010</em>)Fast Implementation of VC-1 with Modified Motion Estimation and Adaptive Block Transform.http://www.bibsonomy.org/bibtex/26b35d0e304537729cfa41926d3f8e795/dblpdblp2011-11-10T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Tammen">Michael Tammen</a>, <a href="/author/El-Sharkawy">Mohamed El-Sharkawy</a>, <a href="/author/Sliman">Hisham Sliman</a>, and <a href="/author/Rizkalla">Maher E. Rizkalla</a> </span><em>Circuits and Systems</em> <em>1(1):12-17</em> (<em>2010</em>)DSPs/FPGAs Comparative Study for Power Consumption, Noise Cancellation, and Real Time High Speed Applications.http://www.bibsonomy.org/bibtex/2e3ac92c68559724e3d28b77b284d9fcf/dblpdblp2011-11-07T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Hayim">Alon Hayim</a>, <a href="/author/Knieser">Michael Knieser</a>, and <a href="/author/Rizkalla">Maher E. Rizkalla</a> </span><em>JSEA</em> <em>3(4):391-403</em> (<em>2010</em>)A Tranformation System for Deductive Databases Modules with Perfect Model Semantics.http://www.bibsonomy.org/bibtex/2c45081c94763f5a018a8f9a7285fa3e9/dblpdblp2011-09-07T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Maher">Michael J. Maher</a> </span><em>Theor. Comput. Sci.</em> <em>110(2):377-403</em> (<em>1993</em>)