Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Paul H. Morris
@inproceedings{DBLP:conf/aips/Morris16, author = {Paul Henry Morris}, editor = {Amanda Jane Coles and Andrew Coles and Stefan Edelkamp and Daniele Magazzeni and Scott Sanner}, title = {The Mathematics of Dispatchability Revisited}, booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016}, pages = {244--252}, publisher = {{AAAI} Press}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13002}, timestamp = {Wed, 08 Jun 2016 12:49:09 +0200}, biburl = {https://dblp.org/rec/conf/aips/Morris16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aicom/KhatibMMRSV07, author = {Lina Khatib and Paul H. Morris and Robert A. Morris and Francesca Rossi and Alessandro Sperduti and Kristen Brent Venable}, title = {Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results}, journal = {{AI} Commun.}, volume = {20}, number = {3}, pages = {181--209}, year = {2007}, url = {http://content.iospress.com/articles/ai-communications/aic404}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aicom/KhatibMMRSV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/BresinaM07, author = {John L. Bresina and Paul H. Morris}, title = {Mixed-Initiative Planning in Space Mission Operations}, journal = {{AI} Mag.}, volume = {28}, number = {2}, pages = {75--88}, year = {2007}, url = {https://doi.org/10.1609/aimag.v28i2.2041}, doi = {10.1609/AIMAG.V28I2.2041}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/BresinaM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/FrankM07, author = {Jeremy Frank and Paul H. Morris}, editor = {Mark S. Boddy and Maria Fox and Sylvie Thi{\'{e}}baux}, title = {Bounding the Resource Availability of Activities with Linear Resource Impact}, booktitle = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA, September 22-26, 2007}, pages = {136--143}, publisher = {{AAAI}}, year = {2007}, url = {http://www.aaai.org/Library/ICAPS/2007/icaps07-018.php}, timestamp = {Tue, 02 Nov 2021 15:59:05 +0100}, biburl = {https://dblp.org/rec/conf/aips/FrankM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/MorrisM05, author = {Paul H. Morris and Nicola Muscettola}, editor = {Manuela M. Veloso and Subbarao Kambhampati}, title = {Temporal Dynamic Controllability Revisited}, booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}}, pages = {1193--1198}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2005}, url = {http://www.aaai.org/Library/AAAI/2005/aaai05-189.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/MorrisM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/BresinaJMR05, author = {John L. Bresina and Ari K. J{\'{o}}nsson and Paul H. Morris and Kanna Rajan}, editor = {Susanne Biundo and Karen L. Myers and Kanna Rajan}, title = {Activity Planning for the Mars Exploration Rovers}, booktitle = {Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling {(ICAPS} 2005), June 5-10 2005, Monterey, California, {USA}}, pages = {40--49}, publisher = {{AAAI}}, year = {2005}, url = {http://www.aaai.org/Library/ICAPS/2005/icaps05-005.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/BresinaJMR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BresinaJMR05, author = {John L. Bresina and Ari K. J{\'{o}}nsson and Paul H. Morris and Kanna Rajan}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, title = {Mixed-Initiative Activity Planning for Mars Rovers}, booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}, pages = {1709--1710}, publisher = {Professional Book Center}, year = {2005}, url = {http://ijcai.org/Proceedings/05/Papers/post-0444.pdf}, timestamp = {Tue, 20 Aug 2019 16:16:29 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BresinaJMR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/expert/Ai-ChangBCCHJKMRYCDM04, author = {Mitchell Ai{-}Chang and John L. Bresina and Leonard Charest and Adam Chase and Jennifer Cheng{-}jung Hsu and Ari K. J{\'{o}}nsson and Bob Kanefsky and Paul H. Morris and Kanna Rajan and Jeffrey Yglesias and Brian G. Chafin and William C. Dias and Pierre F. Maldague}, title = {{MAPGEN:} Mixed-Initiative Planning and Scheduling for the Mars Exploration Rover Mission}, journal = {{IEEE} Intell. Syst.}, volume = {19}, number = {1}, pages = {8--12}, year = {2004}, url = {https://doi.org/10.1109/MIS.2004.1265878}, doi = {10.1109/MIS.2004.1265878}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/expert/Ai-ChangBCCHJKMRYCDM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MorrisMKRB04, author = {Paul H. Morris and Robert A. Morris and Lina Khatib and Sailesh Ramakrishnan and Andrew Bachmann}, editor = {Mark Wallace}, title = {Strategies for Global Optimization of Temporal Preferences}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th International Conference, {CP} 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3258}, pages = {408--422}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30201-8\_31}, doi = {10.1007/978-3-540-30201-8\_31}, timestamp = {Fri, 27 Mar 2020 09:00:36 +0100}, biburl = {https://dblp.org/rec/conf/cp/MorrisMKRB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KhatibMMV03, author = {Lina Khatib and Paul H. Morris and Robert A. Morris and Kristen Brent Venable}, editor = {Georg Gottlob and Toby Walsh}, title = {Tractable Pareto Optimization of Temporal Preferences}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {1289--1294}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/184.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:41 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KhatibMMV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/RossiSVKMM02, author = {Francesca Rossi and Alessandro Sperduti and Kristen Brent Venable and Lina Khatib and Paul H. Morris and Robert A. Morris}, editor = {Pascal Van Hentenryck}, title = {Learning and Solving Soft Temporal Constraints: An Experimental Study}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2470}, pages = {249--263}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46135-3\_17}, doi = {10.1007/3-540-46135-3\_17}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/RossiSVKMM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sara/KhatibMM02, author = {Lina Khatib and Paul H. Morris and Robert A. Morris}, editor = {Sven Koenig and Robert C. Holte}, title = {Pareto Optimization of Temporal Decisions}, booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium, {SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2371}, pages = {116--125}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45622-8\_9}, doi = {10.1007/3-540-45622-8\_9}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/sara/KhatibMM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KhatibMMR01, author = {Lina Khatib and Paul H. Morris and Robert A. Morris and Francesca Rossi}, editor = {Bernhard Nebel}, title = {Temporal Constraint Reasoning With Preferences}, booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10, 2001}, pages = {322--327}, publisher = {Morgan Kaufmann}, year = {2001}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/KhatibMMR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/MorrisMV01, author = {Paul H. Morris and Nicola Muscettola and Thierry Vidal}, editor = {Bernhard Nebel}, title = {Dynamic Control Of Plans With Temporal Uncertainty}, booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10, 2001}, pages = {494--502}, publisher = {Morgan Kaufmann}, year = {2001}, timestamp = {Fri, 23 May 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/MorrisMV01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/RossiSKMM01, author = {Francesca Rossi and Alessandro Sperduti and Lina Khatib and Paul H. Morris and Robert A. Morris}, title = {Learning preferences on temporal constraints: a preliminary report}, booktitle = {Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001}, pages = {63--68}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/TIME.2001.930699}, doi = {10.1109/TIME.2001.930699}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/RossiSKMM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/MorrisM00, author = {Paul H. Morris and Nicola Muscettola}, editor = {Henry A. Kautz and Bruce W. Porter}, title = {Execution of Temporal Plans with Uncertainty}, 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 = {491--496}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2000}, url = {http://www.aaai.org/Library/AAAI/2000/aaai00-075.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/MorrisM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/JonssonMMRS00, author = {Ari K. J{\'{o}}nsson and Paul H. Morris and Nicola Muscettola and Kanna Rajan and Benjamin D. Smith}, editor = {Steve A. Chien and Subbarao Kambhampati and Craig A. Knoblock}, title = {Planning in Interplanetary Space: Theory and Practice}, booktitle = {Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, Breckenridge, CO, USA, April 14-17, 2000}, pages = {177--186}, publisher = {{AAAI}}, year = {2000}, url = {http://www.aaai.org/Library/AIPS/2000/aips00-019.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/JonssonMMRS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/MorrisM00, author = {Robert A. Morris and Paul H. Morris}, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, title = {On the complexity of reasoning about repeating events}, booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000}, pages = {580--588}, publisher = {Morgan Kaufmann}, year = {2000}, timestamp = {Tue, 20 Jun 2023 09:03:42 +0200}, biburl = {https://dblp.org/rec/conf/kr/MorrisM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sara/FrankJM00, author = {Jeremy Frank and Ari K. J{\'{o}}nsson and Paul H. Morris}, editor = {Berthe Y. Choueiry and Toby Walsh}, title = {On Reformulating Planning as Dynamic Constraint Satisfaction}, booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium, {SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1864}, pages = {271--280}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44914-0\_17}, doi = {10.1007/3-540-44914-0\_17}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/sara/FrankJM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/MorrisM99, author = {Paul H. Morris and Nicola Muscettola}, editor = {Thomas Dean}, title = {Managing Temporal Uncertainty Through Waypoint Controllability}, booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages}, pages = {1253--1258}, publisher = {Morgan Kaufmann}, year = {1999}, url = {http://ijcai.org/Proceedings/99-2/Papers/083.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:16 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/MorrisM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/TsamardinosMM98, author = {Ioannis Tsamardinos and Nicola Muscettola and Paul H. Morris}, editor = {Jack Mostow and Chuck Rich}, title = {Fast Transformation of Temporal Plans for Efficient Execution}, booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}}, pages = {254--261}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1998}, url = {http://www.aaai.org/Library/AAAI/1998/aaai98-035.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/TsamardinosMM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agents/MuscettolaMPS98, author = {Nicola Muscettola and Paul H. Morris and Barney Pell and Benjamin D. Smith}, editor = {Katia P. Sycara and Michael J. Wooldridge}, title = {Issues in Temporal Reasoning for Autonomous Control Systems}, booktitle = {Proceedings of the Second International Conference on Autonomous Agents, {AGENTS} 1998, St. Paul, Minnepolis, USA, May 9-13, 1998}, pages = {362--368}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/280765.280862}, doi = {10.1145/280765.280862}, timestamp = {Fri, 26 Apr 2019 14:26:42 +0200}, biburl = {https://dblp.org/rec/conf/agents/MuscettolaMPS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/MuscettolaMT98, author = {Nicola Muscettola and Paul H. Morris and Ioannis Tsamardinos}, editor = {Anthony G. Cohn and Lenhart K. Schubert and Stuart C. Shapiro}, title = {Reformulating Temporal Plans for Efficient Execution}, booktitle = {Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998}, pages = {444--452}, publisher = {Morgan Kaufmann}, year = {1998}, timestamp = {Tue, 20 Jun 2023 09:03:42 +0200}, biburl = {https://dblp.org/rec/conf/kr/MuscettolaMT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/FilmanM97, author = {Robert E. Filman and Paul H. Morris}, title = {Compiling Knowledge-Based Systems to Ada: The PrkAda ProTalk Compiler}, journal = {Int. J. Artif. Intell. Tools}, volume = {6}, number = {3}, pages = {325--339}, year = {1997}, url = {https://doi.org/10.1142/S0218213097000189}, doi = {10.1142/S0218213097000189}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/FilmanM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/Morris97, author = {Robert E. Filman and Paul H. Morris}, title = {Compiling Knowledge-Based Systems to Ada: The PrkAda Core}, journal = {Int. J. Artif. Intell. Tools}, volume = {6}, number = {3}, pages = {341--364}, year = {1997}, url = {https://doi.org/10.1142/S0218213097000190}, doi = {10.1142/S0218213097000190}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/Morris97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/MorrisGF97, author = {Paul H. Morris and Ronald A. Gray and Robert E. Filman}, title = {{GOTO} Removal Based on Regular Expressions}, journal = {J. Softw. Maintenance Res. Pract.}, volume = {9}, number = {1}, pages = {47--66}, year = {1997}, url = {https://doi.org/10.1002/(SICI)1096-908X(199701)9:1\&\#60;47::AID-SMR142\&\#62;3.0.CO;2-V}, doi = {10.1002/(SICI)1096-908X(199701)9:1\&\#60;47::AID-SMR142\&\#62;3.0.CO;2-V}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/smr/MorrisGF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcre/MorrisF96, author = {Paul H. Morris and Robert E. Filman}, title = {Mandrake: {A} Tool for Reverse-Engineering {IBM} Assembly Code}, booktitle = {3rd Working Conference on Reverse Engineering, {WCRE} '96, Monterey, CA, USA, November 8-10, 1996}, pages = {57--66}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/WCRE.1996.558863}, doi = {10.1109/WCRE.1996.558863}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcre/MorrisF96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pami/GoldzsmidtMP93, author = {Mois{\'{e}}s Goldszmidt and Paul H. Morris and Judea Pearl}, title = {A Maximum Entropy Approach to Nonmonotonic Reasoning}, journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.}, volume = {15}, number = {3}, pages = {220--232}, year = {1993}, url = {https://doi.org/10.1109/34.204904}, doi = {10.1109/34.204904}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pami/GoldzsmidtMP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/GoldszmidtMP90, author = {Mois{\'{e}}s Goldszmidt and Paul H. Morris and Judea Pearl}, editor = {Howard E. Shrobe and Thomas G. Dietterich and William R. Swartout}, title = {A Maximum Entropy Approach to Nonmonotonic Reasoning}, booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes}, pages = {646--652}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1990}, url = {http://www.aaai.org/Library/AAAI/1990/aaai90-097.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/GoldszmidtMP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Morris88, author = {Paul H. Morris}, title = {The Anomalous Extension Problem in Default Reasoning}, journal = {Artif. Intell.}, volume = {35}, number = {3}, pages = {383--399}, year = {1988}, url = {https://doi.org/10.1016/0004-3702(88)90022-7}, doi = {10.1016/0004-3702(88)90022-7}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Morris88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nmr/Morris88, author = {Paul H. Morris}, editor = {Michael Reinfrank and Johan de Kleer and Matthew L. Ginsberg and Erik Sandewall}, title = {Autoepistemic Stable Closures and Contradiction Resolution}, booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {346}, pages = {60--73}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50701-9\_20}, doi = {10.1007/3-540-50701-9\_20}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/nmr/Morris88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Morris82, author = {Paul H. Morris}, editor = {Michel Van Caneghem}, title = {Relational Production Systems and Logic Programs}, booktitle = {Proceedings of the First International Logic Programming Conference, Facult{\'{e}} des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982}, pages = {187--192}, publisher = {{ADDP-GIA}}, year = {1982}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Morris82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/GillM74, author = {John T. Gill III and Paul H. Morris}, title = {On Subcreative Sets and S-Reducibility}, journal = {J. Symb. Log.}, volume = {39}, number = {4}, pages = {669--677}, year = {1974}, url = {https://doi.org/10.2307/2272852}, doi = {10.2307/2272852}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/GillM74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.