Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael J. Maher
@article{DBLP:journals/tplp/EiterMPRT23,
author = {Thomas Eiter and
Michael J. Maher and
Enrico Pontelli and
Luc De Raedt and
Miroslaw Truszczynski},
title = {The Collection of Papers Celebrating the 20th Anniversary of TPLP,
Part {II}},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {1},
pages = {1},
year = {2023},
url = {https://doi.org/10.1017/S1471068422000394},
doi = {10.1017/S1471068422000394},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterMPRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Maher23,
author = {Michael J. Maher},
title = {Defeasible Reasoning via Datalog{\(\lnot\)}},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {5},
pages = {986--1028},
year = {2023},
url = {https://doi.org/10.1017/s1471068421000387},
doi = {10.1017/S1471068421000387},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Maher23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Maher22,
author = {Michael J. Maher},
title = {On Signings and the Well-Founded Semantics},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {1},
pages = {115--127},
year = {2022},
url = {https://doi.org/10.1017/S1471068421000077},
doi = {10.1017/S1471068421000077},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Maher22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterMPRT22,
author = {Thomas Eiter and
Michael J. Maher and
Enrico Pontelli and
Luc De Raedt and
Miroslaw Truszczynski},
title = {Introduction to the Collection of Papers Celebrating the 20th Anniversary
of {TPLP}},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {6},
pages = {770--775},
year = {2022},
url = {https://doi.org/10.1017/S1471068422000345},
doi = {10.1017/S1471068422000345},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterMPRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/GovernatoriMO21,
author = {Guido Governatori and
Michael J. Maher and
Francesco Olivieri},
title = {Strategic Argumentation},
journal = {{FLAP}},
volume = {8},
number = {6},
pages = {1679--1748},
year = {2021},
url = {https://collegepublications.co.uk/ifcolog/?00048},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/flap/GovernatoriMO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/brains/MeydenM21,
author = {Ron van der Meyden and
Michael J. Maher},
title = {Architecture for Smart {SAFE} Contracts},
booktitle = {3rd Conference on Blockchain Research {\&} Applications for Innovative
Networks and Services, {BRAINS} 2021, Paris, France, September 27-30,
2021},
pages = {145--148},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/BRAINS52497.2021.9569831},
doi = {10.1109/BRAINS52497.2021.9569831},
timestamp = {Wed, 03 Nov 2021 08:28:20 +0100},
biburl = {https://dblp.org/rec/conf/brains/MeydenM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06495,
author = {Michael J. Maher},
title = {On Signings and the Well-Founded Semantics},
journal = {CoRR},
volume = {abs/2102.06495},
year = {2021},
url = {https://arxiv.org/abs/2102.06495},
eprinttype = {arXiv},
eprint = {2102.06495},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-10532,
author = {Michael J. Maher},
title = {Relative Expressiveness of Defeasible Logics {II}},
journal = {CoRR},
volume = {abs/2102.10532},
year = {2021},
url = {https://arxiv.org/abs/2102.10532},
eprinttype = {arXiv},
eprint = {2102.10532},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-10532.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-10946,
author = {Michael J. Maher},
title = {Defeasible Reasoning via Datalog{\(\lnot\)}},
journal = {CoRR},
volume = {abs/2106.10946},
year = {2021},
url = {https://arxiv.org/abs/2106.10946},
eprinttype = {arXiv},
eprint = {2106.10946},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-10946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-05232,
author = {Michael J. Maher},
title = {Approximating Defeasible Logics to Improve Scalability},
journal = {CoRR},
volume = {abs/2108.05232},
year = {2021},
url = {https://arxiv.org/abs/2108.05232},
eprinttype = {arXiv},
eprint = {2108.05232},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-05232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MaherTAWC20,
author = {Michael J. Maher and
Ilias Tachmazidis and
Grigoris Antoniou and
Stephen J. Wade and
Long Cheng},
title = {Rethinking Defeasible Reasoning: {A} Scalable Approach},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {4},
pages = {552--586},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000010},
doi = {10.1017/S1471068420000010},
timestamp = {Wed, 06 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MaherTAWC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-00406,
author = {Michael J. Maher and
Ilias Tachmazidis and
Grigoris Antoniou and
Stephen J. Wade and
Long Cheng},
title = {Rethinking Defeasible Reasoning: {A} Scalable Approach},
journal = {CoRR},
volume = {abs/2001.00406},
year = {2020},
url = {http://arxiv.org/abs/2001.00406},
eprinttype = {arXiv},
eprint = {2001.00406},
timestamp = {Wed, 06 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-00406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-00724,
author = {Michael J. Maher},
title = {A lemma on closures and its application to modularity in logic programming
semantics},
journal = {CoRR},
volume = {abs/2008.00724},
year = {2020},
url = {https://arxiv.org/abs/2008.00724},
eprinttype = {arXiv},
eprint = {2008.00724},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-00724.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-13115,
author = {Michael J. Maher},
title = {Corruption and Audit in Strategic Argumentation},
journal = {CoRR},
volume = {abs/2008.13115},
year = {2020},
url = {https://arxiv.org/abs/2008.13115},
eprinttype = {arXiv},
eprint = {2008.13115},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/TajvidiEM18,
author = {Masoumeh Tajvidi and
Daryl Essam and
Michael J. Maher},
editor = {V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Donald Ferguson and
Markus Helfert and
Claus Pahl},
title = {Deadline-constrained Stochastic Optimization of Resource Provisioning,
for Cloud Users},
booktitle = {Proceedings of the 8th International Conference on Cloud Computing
and Services Science, {CLOSER} 2018, Funchal, Madeira, Portugal, March
19-21, 2018},
pages = {179--189},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006761401790189},
doi = {10.5220/0006761401790189},
timestamp = {Mon, 30 Apr 2018 14:55:48 +0200},
biburl = {https://dblp.org/rec/conf/closer/TajvidiEM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Maher17,
author = {Michael J. Maher},
title = {Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation},
journal = {Fundam. Informaticae},
volume = {155},
number = {3},
pages = {233--260},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1584},
doi = {10.3233/FI-2017-1584},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Maher17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Maher17,
author = {Michael J. Maher},
title = {Contractibility for open global constraints},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {4},
pages = {365--407},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000126},
doi = {10.1017/S1471068417000126},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Maher17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GovernatoriM17,
author = {Guido Governatori and
Michael J. Maher},
title = {Annotated defeasible logic},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {819--836},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000266},
doi = {10.1017/S1471068417000266},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GovernatoriM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/TajvidiME17,
author = {Masoumeh Tajvidi and
Michael J. Maher and
Daryl Essam},
editor = {Donald Ferguson and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Jorge Cardoso and
Markus Helfert and
Claus Pahl},
title = {Uncertainty-aware Optimization of Resource Provisioning, a Cloud End-user
Perspective},
booktitle = {{CLOSER} 2017 - Proceedings of the 7th International Conference on
Cloud Computing and Services Science, Porto, Portugal, April 24-26,
2017},
pages = {293--300},
publisher = {SciTePress},
year = {2017},
timestamp = {Thu, 03 Feb 2022 09:27:48 +0100},
biburl = {https://dblp.org/rec/conf/closer/TajvidiME17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Maher17,
author = {Michael J. Maher},
title = {Contractibility for Open Global Constraints},
journal = {CoRR},
volume = {abs/1702.07889},
year = {2017},
url = {http://arxiv.org/abs/1702.07889},
eprinttype = {arXiv},
eprint = {1702.07889},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Maher17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GovernatoriM17,
author = {Guido Governatori and
Michael J. Maher},
title = {Annotated Defeasible Logic},
journal = {CoRR},
volume = {abs/1707.04734},
year = {2017},
url = {http://arxiv.org/abs/1707.04734},
eprinttype = {arXiv},
eprint = {1707.04734},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GovernatoriM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Maher16,
author = {Michael J. Maher},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Resistance to Corruption of Strategic Argumentation},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {1030--1036},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10090},
doi = {10.1609/AAAI.V30I1.10090},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Maher16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Maher16,
author = {Michael J. Maher},
editor = {Byeong Ho Kang and
Quan Bai},
title = {Corrupt Strategic Argumentation: The Ideal and the Naive},
booktitle = {{AI} 2016: Advances in Artificial Intelligence - 29th Australasian
Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9992},
pages = {17--28},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50127-7\_2},
doi = {10.1007/978-3-319-50127-7\_2},
timestamp = {Mon, 03 Jan 2022 22:15:46 +0100},
biburl = {https://dblp.org/rec/conf/ausai/Maher16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/Maher16,
author = {Michael J. Maher},
editor = {Matteo Baldoni and
Amit K. Chopra and
Tran Cao Son and
Katsutoshi Hirayama and
Paolo Torroni},
title = {Resistance to Corruption of General Strategic Argumentation},
booktitle = {{PRIMA} 2016: Princiles and Practice of Multi-Agent Systems - 19th
International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9862},
pages = {61--75},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44832-9\_4},
doi = {10.1007/978-3-319-44832-9\_4},
timestamp = {Fri, 27 Mar 2020 08:49:36 +0100},
biburl = {https://dblp.org/rec/conf/prima/Maher16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inis/AhmedAMSM15,
author = {Mohiuddin Ahmed and
Adnan Anwar and
Abdun Naser Mahmood and
Zubair Shah and
Michael J. Maher},
title = {An Investigation of Performance Analysis of Anomaly Detection Techniques
for Big Data in {SCADA} Systems},
journal = {{EAI} Endorsed Trans. Ind. Networks Intell. Syst.},
volume = {2},
number = {3},
pages = {e5},
year = {2015},
url = {https://doi.org/10.4108/inis.2.3.e5},
doi = {10.4108/INIS.2.3.E5},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/inis/AhmedAMSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sis/AhmedMM15,
author = {Mohiuddin Ahmed and
Abdun Naser Mahmood and
Michael J. Maher},
title = {An Efficient Technique for Network Traffic Summarization using Multiview
Clustering and Statistical Sampling},
journal = {{EAI} Endorsed Trans. Scalable Inf. Syst.},
volume = {2},
number = {5},
pages = {e4},
year = {2015},
url = {https://doi.org/10.4108/sis.2.5.e4},
doi = {10.4108/SIS.2.5.E4},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sis/AhmedMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Maher15,
author = {Michael J. Maher},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {Relating Concrete Argumentation Formalisms and Abstract Argumentation},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_43.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Maher15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Maher14,
author = {Michael J. Maher},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Comparing Defeasible Logics},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {585--590},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-585},
doi = {10.3233/978-1-61499-419-0-585},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Maher14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Maher14a,
author = {Michael J. Maher},
editor = {Richard Booth and
Giovanni Casini and
Szymon Klarman and
Gilles Richard and
Ivan Jos{\'{e}} Varzinczak},
title = {Defeasible and Ampliative Reasoning: Same-same but Different},
booktitle = {Proceedings of the International Workshop on Defeasible and Ampliative
Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference
on Artificial Intelligence {(ECAI} 2014), Prague, Czech Republic,
August 19, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1212},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1212/DARe-14-invited.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Maher14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/GovernatoriMORS14,
author = {Guido Governatori and
Michael J. Maher and
Francesco Olivieri and
Antonino Rotolo and
Simone Scannapieco},
editor = {Nils Bulling},
title = {Strategic Argumentation Under Grounded Semantics is NP-Complete},
booktitle = {Multi-Agent Systems - 12th European Conference, {EUMAS} 2014, Prague,
Czech Republic, December 18-19, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8953},
pages = {379--387},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17130-2\_26},
doi = {10.1007/978-3-319-17130-2\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/GovernatoriMORS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infoscale/AhmedMM14,
author = {Mohiuddin Ahmed and
Abdun Naser Mahmood and
Michael J. Maher},
editor = {Jason J. Jung and
Costin Badica and
Attila Kiss},
title = {An Efficient Approach for Complex Data Summarization Using Multiview
Clustering},
booktitle = {Scalable Information Systems - 5th International Conference, {INFOSCALE}
2014, Seoul, South Korea, September 25-26, 2014, Revised Selected
Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {139},
pages = {38--47},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-16868-5\_4},
doi = {10.1007/978-3-319-16868-5\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infoscale/AhmedMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infoscale/AhmedMM14a,
author = {Mohiuddin Ahmed and
Abdun Naser Mahmood and
Michael J. Maher},
editor = {Jason J. Jung and
Costin Badica and
Attila Kiss},
title = {A Novel Approach for Network Traffic Summarization},
booktitle = {Scalable Information Systems - 5th International Conference, {INFOSCALE}
2014, Seoul, South Korea, September 25-26, 2014, Revised Selected
Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {139},
pages = {51--60},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-16868-5\_5},
doi = {10.1007/978-3-319-16868-5\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infoscale/AhmedMM14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infoscale/AhmedMM14b,
author = {Mohiuddin Ahmed and
Abdun Naser Mahmood and
Michael J. Maher},
editor = {Jason J. Jung and
Costin Badica and
Attila Kiss},
title = {Heart Disease Diagnosis Using Co-clustering},
booktitle = {Scalable Information Systems - 5th International Conference, {INFOSCALE}
2014, Seoul, South Korea, September 25-26, 2014, Revised Selected
Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {139},
pages = {61--70},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-16868-5\_6},
doi = {10.1007/978-3-319-16868-5\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infoscale/AhmedMM14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/Maher14,
author = {Michael J. Maher},
editor = {Duc Nghia Pham and
Seong{-}Bae Park},
title = {Complexity of Exploiting Privacy Violations in Strategic Argumentation},
booktitle = {{PRICAI} 2014: Trends in Artificial Intelligence - 13th Pacific Rim
International Conference on Artificial Intelligence, Gold Coast, QLD,
Australia, December 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8862},
pages = {523--535},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13560-1\_42},
doi = {10.1007/978-3-319-13560-1\_42},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/Maher14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Maher13,
author = {Michael J. Maher},
title = {Relative expressiveness of defeasible logics {II}},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {579--592},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000367},
doi = {10.1017/S1471068413000367},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Maher13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Maher13,
author = {Michael J. Maher},
editor = {Stephen Cranefield and
Abhaya C. Nayak},
title = {Relative Expressiveness of Well-Founded Defeasible Logics},
booktitle = {{AI} 2013: Advances in Artificial Intelligence - 26th Australasian
Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8272},
pages = {338--349},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03680-9\_35},
doi = {10.1007/978-3-319-03680-9\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/Maher13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Maher12,
author = {Michael J. Maher},
title = {Relative expressiveness of defeasible logics},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {793--810},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000294},
doi = {10.1017/S1471068412000294},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Maher12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-1785,
author = {Michael J. Maher},
title = {Relative Expressiveness of Defeasible Logics},
journal = {CoRR},
volume = {abs/1210.1785},
year = {2012},
url = {http://arxiv.org/abs/1210.1785},
eprinttype = {arXiv},
eprint = {1210.1785},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-1785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NewtonPSM11,
author = {Muhammad Abdul Hakim Newton and
Duc Nghia Pham and
Abdul Sattar and
Michael J. Maher},
editor = {Jimmy Ho{-}Man Lee},
title = {Kangaroo: An Efficient Constraint-Based Local Search System Using
Lazy Propagation},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {645--659},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_49},
doi = {10.1007/978-3-642-23786-7\_49},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/NewtonPSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/MehaniBME11,
author = {Olivier Mehani and
Roksana Boreli and
Michael J. Maher and
Thierry Ernst},
editor = {Chun Tung Chou and
Tom Pfeifer and
Anura P. Jayasumana},
title = {User- and application-centric multihomed flow management},
booktitle = {{IEEE} 36th Conference on Local Computer Networks, {LCN} 2011, Bonn,
Germany, October 4-7, 2011},
pages = {26--34},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LCN.2011.6115206},
doi = {10.1109/LCN.2011.6115206},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcn/MehaniBME11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BillingtonAGM10,
author = {David Billington and
Grigoris Antoniou and
Guido Governatori and
Michael J. Maher},
title = {An inclusion theorem for defeasible logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {6:1--6:27},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838558},
doi = {10.1145/1838552.1838558},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BillingtonAGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Maher10,
author = {Michael J. Maher},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Contractibility and Contractible Approximations of Soft Global Constraints},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {114--123},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.114},
doi = {10.4230/LIPICS.ICLP.2010.114},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Maher10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Maher10,
author = {Michael J. Maher},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Human and Unhuman Commonsense Reasoning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {16--29},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_3},
doi = {10.1007/978-3-642-16242-8\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Maher10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maher09,
author = {Michael J. Maher},
title = {Local consistency for extended CSPs},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {46},
pages = {4769--4783},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.07.042},
doi = {10.1016/J.TCS.2009.07.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Maher09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Maher09,
author = {Michael J. Maher},
editor = {Ian P. Gent},
title = {SOGgy Constraints: Soft Open Global Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {584--591},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_46},
doi = {10.1007/978-3-642-04244-7\_46},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Maher09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Maher09,
author = {Michael J. Maher},
editor = {Willem Jan van Hoeve and
John N. Hooker},
title = {Open Constraints in a Boundable World},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 6th International Conference,
{CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5547},
pages = {163--177},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01929-6\_13},
doi = {10.1007/978-3-642-01929-6\_13},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/Maher09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Maher09,
author = {Michael J. Maher},
editor = {Craig Boutilier},
title = {Open Contractible Global Constraints},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {578--583},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/102.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Maher09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-4452,
author = {Michael J. Maher and
Nina Narodytska and
Claude{-}Guy Quimper and
Toby Walsh},
title = {Flow-Based Propagators for the {SEQUENCE} and Related Global Constraints},
journal = {CoRR},
volume = {abs/0909.4452},
year = {2009},
url = {http://arxiv.org/abs/0909.4452},
eprinttype = {arXiv},
eprint = {0909.4452},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0909-4452.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MaherNQW08,
author = {Michael J. Maher and
Nina Narodytska and
Claude{-}Guy Quimper and
Toby Walsh},
editor = {Peter J. Stuckey},
title = {Flow-Based Propagators for the {SEQUENCE} and Related Global Constraints},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {159--174},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_11},
doi = {10.1007/978-3-540-85958-1\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MaherNQW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MaherH08,
author = {Michael J. Maher and
Ge Huang},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {On Computing Constraint Abduction Answers},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {421--435},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_30},
doi = {10.1007/978-3-540-89439-1\_30},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MaherH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FalaschiM07,
author = {Moreno Falaschi and
Michael J. Maher},
title = {Introduction Special Issue on Multiparadigm Languages and Constraint
Programming},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002808},
doi = {10.1017/S1471068406002808},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/FalaschiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AntoniouBGM06,
author = {Grigoris Antoniou and
David Billington and
Guido Governatori and
Michael J. Maher},
title = {Embedding defeasible logic into logic programming},
journal = {Theory Pract. Log. Program.},
volume = {6},
number = {6},
pages = {703--735},
year = {2006},
url = {https://doi.org/10.1017/S1471068406002778},
doi = {10.1017/S1471068406002778},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AntoniouBGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Maher06,
author = {Michael J. Maher},
editor = {Abdul Sattar and
Byeong{-}Ho Kang},
title = {Heyting Domains for Constraint Abduction},
booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint
Conference on Artificial Intelligence, Hobart, Australia, December
4-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4304},
pages = {9--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11941439\_5},
doi = {10.1007/11941439\_5},
timestamp = {Mon, 04 Nov 2019 12:36:13 +0100},
biburl = {https://dblp.org/rec/conf/ausai/Maher06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2006,
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
publisher = {{ACM}},
year = {2006},
isbn = {1-59593-388-3},
timestamp = {Thu, 07 Dec 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/WangTM05,
author = {Junhu Wang and
Rodney W. Topor and
Michael J. Maher},
title = {Rewriting Union Queries Using Views},
journal = {Constraints An Int. J.},
volume = {10},
number = {3},
pages = {219--251},
year = {2005},
url = {https://doi.org/10.1007/s10601-005-2238-x},
doi = {10.1007/S10601-005-2238-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/WangTM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/StuckeyBMMSSWW05,
author = {Peter J. Stuckey and
Maria J. Garc{\'{\i}}a de la Banda and
Michael J. Maher and
Kim Marriott and
John K. Slaney and
Zoltan Somogyi and
Mark Wallace and
Toby Walsh},
editor = {Peter van Beek},
title = {The {G12} Project: Mapping Solver Independent Models to Efficient
Solutions},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {13--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_4},
doi = {10.1007/11564751\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/StuckeyBMMSSWW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/StuckeyBMMSSWW05,
author = {Peter J. Stuckey and
Maria J. Garc{\'{\i}}a de la Banda and
Michael J. Maher and
Kim Marriott and
John K. Slaney and
Zoltan Somogyi and
Mark Wallace and
Toby Walsh},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {The {G12} Project: Mapping Solver Independent Models to Efficient
Solutions},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {9--13},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_3},
doi = {10.1007/11562931\_3},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/StuckeyBMMSSWW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Maher05,
author = {Michael J. Maher},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Abduction of Linear Arithmetic Constraints},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {174--188},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_15},
doi = {10.1007/11562931\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Maher05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Maher05,
author = {Michael J. Maher},
title = {Herbrand Constraint Abduction},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {397--406},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.21},
doi = {10.1109/LICS.2005.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Maher05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0511055,
author = {Grigoris Antoniou and
David Billington and
Guido Governatori and
Michael J. Maher},
title = {Embedding Defeasible Logic into Logic Programming},
journal = {CoRR},
volume = {abs/cs/0511055},
year = {2005},
url = {http://arxiv.org/abs/cs/0511055},
eprinttype = {arXiv},
eprint = {cs/0511055},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0511055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ThorntonBSM04,
author = {John Thornton and
Matthew Beaumont and
Abdul Sattar and
Michael J. Maher},
title = {A Local Search Approach to Modelling and Solving Interval Algebra
Problems},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {93--112},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.93},
doi = {10.1093/LOGCOM/14.1.93},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ThorntonBSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GovernatoriMAB04,
author = {Guido Governatori and
Michael J. Maher and
Grigoris Antoniou and
David Billington},
title = {Argumentation Semantics for Defeasible Logic},
journal = {J. Log. Comput.},
volume = {14},
number = {5},
pages = {675--702},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.5.675},
doi = {10.1093/LOGCOM/14.5.675},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GovernatoriMAB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/BeaumontTSM04,
author = {Matthew Beaumont and
John Thornton and
Abdul Sattar and
Michael J. Maher},
editor = {Chengqi Zhang and
Hans W. Guesgen and
Wai{-}Kiang Yeap},
title = {Solving Over-Constrained Temporal Reasoning Problems Using Local Search},
booktitle = {{PRICAI} 2004: Trends in Artificial Intelligence, 8th Pacific Rim
International Conference on Artificial Intelligence, Auckland, New
Zealand, August 9-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3157},
pages = {134--143},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28633-2\_16},
doi = {10.1007/978-3-540-28633-2\_16},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/BeaumontTSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/2004,
editor = {Michael J. Maher},
title = {Advances in Computer Science - {ASIAN} 2004, Higher-Level Decision
Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis
Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand,
December 8-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3321},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b103476},
doi = {10.1007/B103476},
isbn = {3-540-24087-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0405090,
author = {Michael J. Maher},
title = {Propositional Defeasible Logic has Linear Complexity},
journal = {CoRR},
volume = {cs.AI/0405090},
year = {2004},
url = {http://arxiv.org/abs/cs/0405090},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0405090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Maher03,
author = {Michael J. Maher},
editor = {Francesca Rossi},
title = {A Synthesis of Constraint Satisfaction and Constraint Solving},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {525--539},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_36},
doi = {10.1007/978-3-540-45193-8\_36},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/Maher03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/JaffarM02,
author = {Joxan Jaffar and
Michael J. Maher},
title = {Guest Editorial},
journal = {Constraints An Int. J.},
volume = {7},
number = {3-4},
pages = {227--228},
year = {2002},
url = {https://doi.org/10.1023/A:1020564731987},
doi = {10.1023/A:1020564731987},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/JaffarM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adc/WangMT02,
author = {Junhu Wang and
Michael J. Maher and
Rodney W. Topor},
editor = {Xiaofang Zhou},
title = {Rewriting General Conjunctive Queries Using Views},
booktitle = {Database Technologies 2002, Thirteenth Australasian Database Conference
(ADC2002), Monash University, Melbourne, Victoria, Australia, January/February
2002},
series = {{CRPIT}},
volume = {5},
publisher = {Australian Computer Society},
year = {2002},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV5Wang.html},
timestamp = {Wed, 20 Nov 2019 16:52:44 +0100},
biburl = {https://dblp.org/rec/conf/adc/WangMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/WangMT02,
author = {Junhu Wang and
Michael J. Maher and
Rodney W. Topor},
editor = {Christian S. Jensen and
Keith G. Jeffery and
Jaroslav Pokorn{\'{y}} and
Simonas Saltenis and
Elisa Bertino and
Klemens B{\"{o}}hm and
Matthias Jarke},
title = {Rewriting Unions of General Conjunctive Queries Using Views},
booktitle = {Advances in Database Technology - {EDBT} 2002, 8th International Conference
on Extending Database Technology, Prague, Czech Republic, March 25-27,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2287},
pages = {52--69},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45876-X\_6},
doi = {10.1007/3-540-45876-X\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/edbt/WangMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Maher02,
author = {Michael J. Maher},
editor = {Peter J. Stuckey},
title = {Propagation Completeness of Reactive Constraints},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {148--162},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_11},
doi = {10.1007/3-540-45619-8\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Maher02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AntoniouM02,
author = {Grigoris Antoniou and
Michael J. Maher},
editor = {Peter J. Stuckey},
title = {Embedding Defeasible Logic into Logic Programs},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {393--404},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_27},
doi = {10.1007/3-540-45619-8\_27},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AntoniouM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/Maher02,
author = {Michael J. Maher},
editor = {Hendrik Decker and
J{\o}rgen Villadsen and
Toshiharu Waragai},
title = {A Model-Theoretic Semantics for Defeasible Logic},
booktitle = {Paraconsistent Computational Logic, This proceedings volume contains
the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
Logic Conference (FLoC)},
series = {Datalogiske Skrifter},
volume = {95},
pages = {67--80},
publisher = {Roskilde University, Roskilde, Denmark},
year = {2002},
url = {https://arxiv.org/abs/cs/0207086},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pcl/Maher02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ThorntonBSM02,
author = {John Thornton and
Matthew Beaumont and
Abdul Sattar and
Michael J. Maher},
title = {Applying Local Search to Temporal Reasoning},
booktitle = {9th International Symposium on Temporal Representation and Reasoning,
TIME-2002, Manchester, UK, July 7-9, 2002},
pages = {94--99},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/TIME.2002.1027481},
doi = {10.1109/TIME.2002.1027481},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ThorntonBSM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/MaherRABM01,
author = {Michael J. Maher and
Andrew Rock and
Grigoris Antoniou and
David Billington and
Tristan Miller},
title = {Efficient Defeasible Reasoning Systems},
journal = {Int. J. Artif. Intell. Tools},
volume = {10},
number = {4},
pages = {483--501},
year = {2001},
url = {https://doi.org/10.1142/S0218213001000623},
doi = {10.1142/S0218213001000623},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/MaherRABM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AntoniouBGM01,
author = {Grigoris Antoniou and
David Billington and
Guido Governatori and
Michael J. Maher},
title = {Representation results for defeasible logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {2},
number = {2},
pages = {255--287},
year = {2001},
url = {https://doi.org/10.1145/371316.371517},
doi = {10.1145/371316.371517},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AntoniouBGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Maher01,
author = {Michael J. Maher},
title = {Propositional Defeasible Logic has Linear Complexity},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {6},
pages = {691--711},
year = {2001},
url = {https://doi.org/10.1017/S1471068401001168},
doi = {10.1017/S1471068401001168},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Maher01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BeaumontSMT01,
author = {Matthew Beaumont and
Abdul Sattar and
Michael J. Maher and
John Thornton},
editor = {Markus Stumptner and
Dan Corbett and
Michael J. Brooks},
title = {Solving Overconstrained Temporal Reasoning Problems},
booktitle = {{AI} 2001: Advances in Artificial Intelligence, 14th Australian Joint
Conference on Artificial Intelligence, Adelaide, Australia, December
10-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2256},
pages = {37--49},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45656-2\_4},
doi = {10.1007/3-540-45656-2\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/BeaumontSMT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/WangTM01,
author = {Junhu Wang and
Rodney W. Topor and
Michael J. Maher},
editor = {Heinrich C. Mayr and
Jir{\'{\i}} Lazansk{\'{y}} and
Gerald Quirchmayr and
Pavel Vogel},
title = {Reasoning with Disjunctive Constrained Tuple-Generating Dependencies},
booktitle = {Database and Expert Systems Applications, 12th International Conference,
{DEXA} 2001 Munich, Germany, September 3-5, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2113},
pages = {963--973},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44759-8\_93},
doi = {10.1007/3-540-44759-8\_93},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/WangTM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AntoniouMB00,
author = {Grigoris Antoniou and
Michael J. Maher and
David Billington},
title = {Defeasible Logic versus Logic Programming without Negation as Failure},
journal = {J. Log. Program.},
volume = {42},
number = {1},
pages = {47--57},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(99)00060-6},
doi = {10.1016/S0743-1066(99)00060-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AntoniouMB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AntoniouBGM00,
author = {Grigoris Antoniou and
David Billington and
Guido Governatori and
Michael J. Maher},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {A Flexible Framework for Defeasible Logics},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {405--410},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-062.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AntoniouBGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Maher00,
author = {Michael J. Maher},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A Denotational Semantics of Defeasible Logic},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {209--222},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_14},
doi = {10.1007/3-540-44957-4\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/Maher00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/MaherW00,
author = {Michael J. Maher and
Junhu Wang},
editor = {Mohamed T. Ibrahim and
Josef K{\"{u}}ng and
Norman Revell},
title = {Optimizing Queries in Extended Relational Databases},
booktitle = {Database and Expert Systems Applications, 11th International Conference,
{DEXA} 2000, London, UK, September 4-8, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1873},
pages = {386--396},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44469-6\_36},
doi = {10.1007/3-540-44469-6\_36},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/MaherW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AntoniouBGMR00,
author = {Grigoris Antoniou and
David Billington and
Guido Governatori and
Michael J. Maher and
Andrew Rock},
editor = {Werner Horn},
title = {A Family of Defeasible Reasoning Logics and its Implementation},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {459--463},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AntoniouBGMR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GovernatoriM00,
author = {Guido Governatori and
Michael J. Maher},
editor = {Werner Horn},
title = {An Argumentation-Theoretic Characterization of Defeasible Logic},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {469--473},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GovernatoriM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MaherRABM00,
author = {Michael J. Maher and
Andrew Rock and
Grigoris Antoniou and
David Billington and
Tristan Miller},
title = {Efficient defeasible reasoning systems},
booktitle = {12th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2000), 13-15 November 2000, Vancouver, BC, Canada},
pages = {384--392},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TAI.2000.889898},
doi = {10.1109/TAI.2000.889898},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/MaherRABM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/GovernatoriMAB00,
author = {Guido Governatori and
Michael J. Maher and
Grigoris Antoniou and
David Billington},
editor = {Riichiro Mizoguchi and
John K. Slaney},
title = {Argumentation Semantics for Defeasible Logics},
booktitle = {{PRICAI} 2000, Topics in Artificial Intelligence, 6th Pacific Rim
International Conference on Artificial Intelligence, Melbourne, Australia,
August 28 - September 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1886},
pages = {27--37},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44533-1\_7},
doi = {10.1007/3-540-44533-1\_7},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/pricai/GovernatoriMAB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003013,
author = {Grigoris Antoniou and
David Billington and
Guido Governatori and
Michael J. Maher},
title = {A flexible framework for defeasible logics},
journal = {CoRR},
volume = {cs.AI/0003013},
year = {2000},
url = {https://arxiv.org/abs/cs/0003013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0003082,
author = {Grigoris Antoniou and
David Billington and
Guido Governatori and
Michael J. Maher},
title = {Representation results for defeasible logic},
journal = {CoRR},
volume = {cs.LO/0003082},
year = {2000},
url = {https://arxiv.org/abs/cs/0003082},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0003082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BrodskyLLM99,
author = {Alexander Brodsky and
Catherine Lassez and
Jean{-}Louis Lassez and
Michael J. Maher},
title = {Separability of Polyhedra for Optimal Filtering of Spatial and Constraint
Data},
journal = {J. Autom. Reason.},
volume = {23},
number = {1},
pages = {83--104},
year = {1999},
url = {https://doi.org/10.1023/A:1006171919920},
doi = {10.1023/A:1006171919920},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BrodskyLLM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MaherG99,
author = {Michael J. Maher and
Guido Governatori},
editor = {Jim Hendler and
Devika Subramanian},
title = {A Semantic Decomposition of Defeasible Logics},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {299--305},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-044.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MaherG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/AntoniouBM99,
author = {Grigoris Antoniou and
David Billington and
Michael J. Maher},
title = {On the Analysis of Regulations using Defeasible Rules},
booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32),
January 5-8, 1999, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HICSS.1999.772631},
doi = {10.1109/HICSS.1999.772631},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/AntoniouBM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/JaffarMN99,
author = {Joxan Jaffar and
Michael J. Maher and
Gustaf Neumann},
title = {An Architecture and Prototype Implementation of a System for Individualized
Workflows in Medical Information Systems},
booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32),
January 5-8, 1999, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HICSS.1999.772963},
doi = {10.1109/HICSS.1999.772963},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/JaffarMN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TickYM99,
author = {Evan Tick and
Roland H. C. Yap and
Michael J. Maher},
editor = {Danny De Schreye},
title = {Finding Fair Allocations for the Coalition Problem with Constraints},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {530--544},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TickYM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BillingtonAGM99,
author = {David Billington and
Grigoris Antoniou and
Guido Governatori and
Michael J. Maher},
editor = {Wolfram Burgard and
Thomas Christaller and
Armin B. Cremers},
title = {Revising Nonmonotonic Theories: The Case of Defeasible Logic},
booktitle = {{KI-99:} Advances in Artificial Intelligence, 23rd Annual German Conference
on Artificial Intelligence, Bonn, Germany, September 13-15, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1701},
pages = {101--112},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48238-5\_8},
doi = {10.1007/3-540-48238-5\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/BillingtonAGM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AntoniouMBG99,
author = {Grigoris Antoniou and
Michael J. Maher and
David Billington and
Guido Governatori},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {A Comparison of Sceptical NAF-Free Logic Programming Approaches},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {347--356},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_25},
doi = {10.1007/3-540-46767-X\_25},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AntoniouMBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/Maher99,
author = {Michael J. Maher},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Adding Constraints to Logic-based Formalisms},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {313--331},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_13},
doi = {10.1007/978-3-642-60085-2\_13},
timestamp = {Mon, 29 Jul 2019 13:50:28 +0200},
biburl = {https://dblp.org/rec/books/sp/99/Maher99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JaffarMMS98,
author = {Joxan Jaffar and
Michael J. Maher and
Kim Marriott and
Peter J. Stuckey},
title = {The Semantics of Constraint Logic Programs},
journal = {J. Log. Program.},
volume = {37},
number = {1-3},
pages = {1--46},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(98)10002-X},
doi = {10.1016/S0743-1066(98)10002-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JaffarMMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/MaherAB98,
author = {Michael J. Maher and
Grigoris Antoniou and
David Billington},
editor = {Grigoris Antoniou and
John K. Slaney},
title = {A Study of Provability in Defeasible Logic},
booktitle = {Advanced Topics in Artificial Intelligence, 11th Australian Joint
Conference on Artificial Intelligence, {AI} '98, Brisbane, Australia,
July 13-17, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1502},
pages = {215--226},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0095054},
doi = {10.1007/BFB0095054},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/MaherAB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AntoniouBM98,
author = {Grigoris Antoniou and
David Billington and
Michael J. Maher},
editor = {Joxan Jaffar},
title = {Normal Forms for Defeasible Logic},
booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
on Logic Programming, Manchester, UK, June 15-19, 1998},
pages = {160--174},
publisher = {{MIT} Press},
year = {1998},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AntoniouBM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1998,
editor = {Michael J. Maher and
Jean{-}Francois Puget},
title = {Principles and Practice of Constraint Programming - CP98, 4th International
Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1520},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49481-2},
doi = {10.1007/3-540-49481-2},
isbn = {3-540-65224-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BrodskyJM97,
author = {Alexander Brodsky and
Joxan Jaffar and
Michael J. Maher},
title = {Toward Practical Query Evaluation for Constraint Databases},
journal = {Constraints An Int. J.},
volume = {2},
number = {3/4},
pages = {279--304},
year = {1997},
url = {https://doi.org/10.1023/A:1009795512753},
doi = {10.1023/A:1009795512753},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BrodskyJM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maher97,
author = {Michael J. Maher},
title = {Constrained Dependencies},
journal = {Theor. Comput. Sci.},
volume = {173},
number = {1},
pages = {113--149},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00193-4},
doi = {10.1016/S0304-3975(96)00193-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Maher97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/MaherS96,
author = {Michael J. Maher and
Divesh Srivastava},
editor = {Richard Hull},
title = {Chasing Constrained Tuple-Generating Dependencies},
booktitle = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
pages = {128--138},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237661.237693},
doi = {10.1145/237661.237693},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/MaherS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1995w,
editor = {Michael Jampel and
Eugene C. Freuder and
Michael J. Maher},
title = {Over-Constrained Systems},
series = {Lecture Notes in Computer Science},
volume = {1106},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61479-6},
doi = {10.1007/3-540-61479-6},
isbn = {3-540-61479-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/1995w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1996,
editor = {Michael J. Maher},
title = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515},
isbn = {0-262-63173-3},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MaherS95,
author = {Michael J. Maher and
Peter J. Stuckey},
title = {On Inductive Inference of Cyclic Structures},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {2},
pages = {167--208},
year = {1995},
url = {https://doi.org/10.1007/BF01534454},
doi = {10.1007/BF01534454},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MaherS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BarbutiCGM95,
author = {Roberto Barbuti and
Michael Codish and
Roberto Giacobazzi and
Michael J. Maher},
title = {Oracle Semantics for Prolog},
journal = {Inf. Comput.},
volume = {122},
number = {2},
pages = {178--200},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1146},
doi = {10.1006/INCO.1995.1146},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BarbutiCGM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BruynoogheDHM95,
author = {Maurice Bruynooghe and
Saumya K. Debray and
Manuel V. Hermenegildo and
Michael J. Maher},
title = {Guest Editors' Introduction: Special Section: Ten Years of Logic Programming},
journal = {J. Log. Program.},
volume = {23},
number = {2},
pages = {87--88},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00037-7},
doi = {10.1016/0743-1066(94)00037-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BruynoogheDHM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Maher95,
author = {Michael J. Maher},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Constrained Dependencies},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {170--185},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_11},
doi = {10.1007/3-540-60299-2\_11},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/Maher95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BrodskyLLM95,
author = {Alexander Brodsky and
Catherine Lassez and
Jean{-}Louis Lassez and
Michael J. Maher},
editor = {Mihalis Yannakakis and
Serge Abiteboul},
title = {Separability of Polyhedra for Optimal Filtering of Spatial and Constraint
Data},
booktitle = {Proceedings of the Fourteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 22-25, 1995, San Jose, California,
{USA}},
pages = {54--65},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/212433.212449},
doi = {10.1145/212433.212449},
timestamp = {Sat, 24 Oct 2020 16:41:20 +0200},
biburl = {https://dblp.org/rec/conf/pods/BrodskyLLM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/JaffarMN95,
author = {Joxan Jaffar and
Michael J. Maher and
Gustaf Neumann},
editor = {John W. Lloyd},
title = {Logic Programming and Object Modelling: {A} Case Study (Abstract)},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {48},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299974},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/JaffarMN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BruynoogheDHM94,
author = {Maurice Bruynooghe and
Saumya K. Debray and
Manuel V. Hermenegildo and
Michael J. Maher},
title = {Guest Editor's Introduction},
journal = {J. Log. Program.},
volume = {19/20},
pages = {1--3},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90022-1},
doi = {10.1016/0743-1066(94)90022-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BruynoogheDHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JaffarM94,
author = {Joxan Jaffar and
Michael J. Maher},
title = {Constraint Logic Programming: {A} Survey},
journal = {J. Log. Program.},
volume = {19/20},
pages = {503--581},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90033-7},
doi = {10.1016/0743-1066(94)90033-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JaffarM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/JaffarMSY94,
author = {Joxan Jaffar and
Michael J. Maher and
Peter J. Stuckey and
Roland H. C. Yap},
editor = {Alan Borning},
title = {Beyond Finite Domains},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {86--94},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_92},
doi = {10.1007/3-540-58601-6\_92},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/JaffarMSY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Maher94,
author = {Michael J. Maher},
editor = {Peter Z. Revesz and
Divesh Srivastava and
Peter J. Stuckey and
S. Sudarshan},
title = {Constrained Dependencies},
booktitle = {{ILPS} 1994, Workshop 2: Constraints and Databases, Ithaca, New York,
USA, November 17, 1994},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Maher94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/JaffarMSY93,
author = {Joxan Jaffar and
Michael J. Maher and
Peter J. Stuckey and
Roland H. C. Yap},
title = {Projecting {CLP} {(R)} Constraints},
journal = {New Gener. Comput.},
volume = {11},
number = {3},
pages = {449--469},
year = {1993},
url = {https://doi.org/10.1007/BF03037187},
doi = {10.1007/BF03037187},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/JaffarMSY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maher93,
author = {Michael J. Maher},
title = {A Tranformation System for Deductive Databases Modules with Perfect
Model Semantics},
journal = {Theor. Comput. Sci.},
volume = {110},
number = {2},
pages = {377--403},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90013-J},
doi = {10.1016/0304-3975(93)90013-J},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Maher93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Maher93,
author = {Michael J. Maher},
editor = {David Scott Warren},
title = {A Logic Programming View of {CLP}},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {737--753},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Maher93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/BrodskyJM93,
author = {Alexander Brodsky and
Joxan Jaffar and
Michael J. Maher},
editor = {Rakesh Agrawal and
Se{\'{a}}n Baker and
David A. Bell},
title = {Toward Practical Constraint Databases},
booktitle = {19th International Conference on Very Large Data Bases, August 24-27,
1993, Dublin, Ireland, Proceedings},
pages = {567--580},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://www.vldb.org/conf/1993/P567.PDF},
timestamp = {Wed, 13 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vldb/BrodskyJM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LassezM92,
author = {Jean{-}Louis Lassez and
Michael J. Maher},
title = {On Fourier's Algorithm for Linear Arithmetic Constraints},
journal = {J. Autom. Reason.},
volume = {9},
number = {3},
pages = {373--379},
year = {1992},
url = {https://doi.org/10.1007/BF00245296},
doi = {10.1007/BF00245296},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LassezM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BarbutiCGM92,
author = {Roberto Barbuti and
Michael Codish and
Roberto Giacobazzi and
Michael J. Maher},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Oracle Semantics for Prolog},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {100--114},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013822},
doi = {10.1007/BFB0013822},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/BarbutiCGM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Maher92,
author = {Michael J. Maher},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {A {CLP} View of Logic Programming},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {364--383},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013838},
doi = {10.1007/BFB0013838},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Maher92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/JaffarMSY92,
author = {Joxan Jaffar and
Michael J. Maher and
Peter J. Stuckey and
Roland H. C. Yap},
title = {Output in {CLP}},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {987--995},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/JaffarMSY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Maher91,
author = {Michael J. Maher},
editor = {Anil Nerode and
V. Wiktor Marek and
V. S. Subrahmanian},
title = {Representing Sets of Rational Trees Using Techniques of Non-Monotonic
Reasoning},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
First International Workshop, Washington, D.C., USA, July 1991},
pages = {181--195},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Maher91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LassezMM91,
author = {Jean{-}Louis Lassez and
Michael J. Maher and
Kim Marriott},
editor = {Andrzej Tarlecki},
title = {Elimination of Negation in Term Algebras},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {1--16},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_44},
doi = {10.1007/3-540-54345-7\_44},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LassezMM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GaifmanMS91,
author = {Haim Gaifman and
Michael J. Maher and
Ehud Shapiro},
editor = {Luigi Logrippo},
title = {Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent
Programs},
booktitle = {Proceedings of the Tenth Annual {ACM} Symposium on Principles of Distributed
Computing, Montreal, Quebec, Canada, August 19-21, 1991},
pages = {241--255},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/112600.112621},
doi = {10.1145/112600.112621},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GaifmanMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Maher89,
author = {Michael J. Maher},
editor = {C. E. Veni Madhavan},
title = {A Transformation System for Deductive Database Modules with Perfect
Model Semantics},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {405},
pages = {89--98},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52048-1\_35},
doi = {10.1007/3-540-52048-1\_35},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Maher89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BorningMMW89,
author = {Alan Borning and
Michael J. Maher and
Amy Martindale and
Molly Wilson},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {Constraint Hierarchies and Logic Programming},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {149--164},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BorningMMW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MaherS89,
author = {Michael J. Maher and
Peter J. Stuckey},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Expanding Query Power in Constraint Logic Programming Languages},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {20--36},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MaherS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GaifmanMS89,
author = {Haim Gaifman and
Michael J. Maher and
Ehud Shapiro},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Reactive Behaviour Semantics for Concurrent Constraint Logic Programs},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {553--569},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Thu, 04 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/GaifmanMS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MaherR89,
author = {Michael J. Maher and
Raghu Ramakrishnan},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {D{\'{e}}j{\`{a}} Vu in Fixpoints of Logic Programs},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {963--980},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MaherR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Maher88,
author = {Michael J. Maher},
title = {Complete Axiomatizations of the Algebras of Finite, Rational and Infinite
Trees},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {348--357},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5132},
doi = {10.1109/LICS.1988.5132},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Maher88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/minker88/LassezMM88,
author = {Jean{-}Louis Lassez and
Michael J. Maher and
Kim Marriott},
editor = {Jack Minker},
title = {Unification Revisited},
booktitle = {Foundations of Deductive Databases and Logic Programming},
pages = {587--625},
publisher = {Morgan Kaufmann},
year = {1988},
url = {https://doi.org/10.1016/b978-0-934613-40-8.50019-1},
doi = {10.1016/B978-0-934613-40-8.50019-1},
timestamp = {Thu, 27 Jun 2019 09:09:21 +0200},
biburl = {https://dblp.org/rec/books/mk/minker88/LassezMM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/minker88/Maher88,
author = {Michael J. Maher},
editor = {Jack Minker},
title = {Equivalences of Logic Programs},
booktitle = {Foundations of Deductive Databases and Logic Programming},
pages = {627--658},
publisher = {Morgan Kaufmann},
year = {1988},
url = {https://doi.org/10.1016/b978-0-934613-40-8.50020-8},
doi = {10.1016/B978-0-934613-40-8.50020-8},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mk/minker88/Maher88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Maher87,
author = {Michael J. Maher},
editor = {Jean{-}Louis Lassez},
title = {Logic Semantics for a Class of Committed-Choice Programs},
booktitle = {Logic Programming, Proceedings of the Fourth International Conference,
Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
pages = {858--876},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Maher87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/JaffarLM87,
author = {Joxan Jaffar and
Jean{-}Louis Lassez and
Michael J. Maher},
editor = {Martin Wirsing},
title = {{PROLOG} - {II} as an instance of the logic programming language scheme},
booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of
the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
pages = {275--298},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 10 Jan 2019 14:37:08 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/JaffarLM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JaffarLM86,
author = {Joxan Jaffar and
Jean{-}Louis Lassez and
Michael J. Maher},
title = {Comments on "General Failure of Logic Programs"},
journal = {J. Log. Program.},
volume = {3},
number = {2},
pages = {115--118},
year = {1986},
url = {https://doi.org/10.1016/0743-1066(86)90018-X},
doi = {10.1016/0743-1066(86)90018-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JaffarLM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flfp/LassezMM86,
author = {Jean{-}Louis Lassez and
Michael J. Maher and
Kim Marriott},
editor = {Mauro Boscarol and
Luigia Carlucci Aiello and
Giorgio Levi},
title = {Unification Revisited},
booktitle = {Foundations of Logic and Functional Programming, Workshop, Trento,
Italy, December 15-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {306},
pages = {67--113},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-19129-1\_4},
doi = {10.1007/3-540-19129-1\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/flfp/LassezMM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JaffarLM86,
author = {Joxan Jaffar and
Jean{-}Louis Lassez and
Michael J. Maher},
editor = {Ehud Shapiro},
title = {Invited Talk: Some Issues and Trends in the Semantics of Logic Programming},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {223--241},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_78},
doi = {10.1007/3-540-16492-8\_78},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JaffarLM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Maher86,
author = {Michael J. Maher},
editor = {Ehud Shapiro},
title = {Eqivalences of Logic Programs},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {410--424},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_91},
doi = {10.1007/3-540-16492-8\_91},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Maher86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ph/deGrootL86/JaffarLM86,
author = {Joxan Jaffar and
Jean{-}Louis Lassez and
Michael J. Maher},
editor = {Doug DeGroot and
Gary Lindstrom},
title = {Logic Programming Language Scheme},
booktitle = {Logic Programming: Functions, Relations, and Equations},
pages = {441--467},
publisher = {Prentice-Hall},
year = {1986},
timestamp = {Mon, 05 Aug 2019 11:53:35 +0200},
biburl = {https://dblp.org/rec/books/ph/deGrootL86/JaffarLM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LassezM85,
author = {Jean{-}Louis Lassez and
Michael J. Maher},
title = {Optimal Fixedpoints of Logic Programs},
journal = {Theor. Comput. Sci.},
volume = {39},
pages = {15--25},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90128-8},
doi = {10.1016/0304-3975(85)90128-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LassezM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JaffarLM84,
author = {Joxan Jaffar and
Jean{-}Louis Lassez and
Michael J. Maher},
title = {A Theory of Complete Logic Programs with Equality},
journal = {J. Log. Program.},
volume = {1},
number = {3},
pages = {211--223},
year = {1984},
url = {https://doi.org/10.1016/0743-1066(84)90010-4},
doi = {10.1016/0743-1066(84)90010-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JaffarLM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LassezM84,
author = {Jean{-}Louis Lassez and
Michael J. Maher},
title = {Closures and Fairness in the Semantics of Programming Logic},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {167--184},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90017-3},
doi = {10.1016/0304-3975(84)90017-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LassezM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/JaffarLM84,
author = {Joxan Jaffar and
Jean{-}Louis Lassez and
Michael J. Maher},
title = {A Theory of Complete Logic Programs with Equality},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {175--184},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 10:45:49 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/JaffarLM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WolframML84,
author = {David A. Wolfram and
Michael J. Maher and
Jean{-}Louis Lassez},
editor = {Sten{-}{\AA}ke T{\"{a}}rnlund},
title = {A Unified Treatment of Resolution Strategies for Logic Programs},
booktitle = {Proceedings of the Second International Logic Programming Conference,
Uppsala University, Uppsala, Sweden, July 2-6, 1984},
pages = {263--276},
publisher = {Uppsala University},
year = {1984},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/WolframML84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LassezM83,
author = {Jean{-}Louis Lassez and
Michael J. Maher},
editor = {Michael R. Genesereth},
title = {The Denotational Semantics of Horn Clauses as a Production System},
booktitle = {Proceedings of the National Conference on Artificial Intelligence,
Washington, D.C., USA, August 22-26, 1983},
pages = {229--231},
publisher = {{AAAI} Press},
year = {1983},
url = {http://www.aaai.org/Library/AAAI/1983/aaai83-006.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LassezM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
