Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John Alan Robinson
@article{DBLP:journals/tplp/Robinson01,
author = {John Alan Robinson},
title = {Invited editorial},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {1},
pages = {1},
year = {2001},
url = {http://journals.cambridge.org/action/displayAbstract?aid=71134},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Robinson01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/RV01/RobinsonV01,
author = {John Alan Robinson and
Andrei Voronkov},
editor = {John Alan Robinson and
Andrei Voronkov},
title = {Preface},
booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
pages = {v--vii},
publisher = {Elsevier and {MIT} Press},
year = {2001},
url = {https://doi.org/10.1016/B978-044450813-3/50000-X},
doi = {10.1016/B978-044450813-3/50000-X},
timestamp = {Thu, 25 Jul 2019 12:26:00 +0200},
biburl = {https://dblp.org/rec/books/el/RV01/RobinsonV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/RobinsonV01,
editor = {John Alan Robinson and
Andrei Voronkov},
title = {Handbook of Automated Reasoning (in 2 volumes)},
publisher = {Elsevier and {MIT} Press},
year = {2001},
url = {https://www.sciencedirect.com/book/9780444508133/handbook-of-automated-reasoning},
isbn = {0-444-50813-9},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/RobinsonV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Robinson00,
author = {John Alan Robinson},
editor = {Steffen H{\"{o}}lldobler},
title = {Proof = Guarantee + Explanation},
booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
of his 60th birthday)},
series = {Applied Logic Series},
volume = {19},
pages = {277--294},
publisher = {Kluwer},
year = {2000},
timestamp = {Thu, 03 Jan 2002 11:54:05 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Robinson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Robinson00,
author = {John Alan Robinson},
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 = {Computational Logic: Memories of the Past and Challenges for the Future},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1--24},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_1},
doi = {10.1007/3-540-44957-4\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/Robinson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismb/RobinsonF97,
author = {John Alan Robinson and
Tomas P. Flores},
editor = {Terry Gaasterland and
Peter D. Karp and
Kevin Karplus and
Christos A. Ouzounis and
Chris Sander and
Alfonso Valencia},
title = {Novel Techniques for Visualizing Biological Information},
booktitle = {Proceedings of the 5th International Conference on Intelligent Systems
for Molecular Biology, Halkidiki, Greece, June 21-26, 1997},
pages = {241--249},
publisher = {{AAAI}},
year = {1997},
url = {http://www.aaai.org/Library/ISMB/1997/ismb97-037.php},
timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismb/RobinsonF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Robinson97,
author = {John Alan Robinson},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Unification and resolution in retrospect},
booktitle = {JFPLC'97, Sixi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et Programmation par Contraintes, 26-28 mai 1997, Orl{\'{e}}ans,
France},
pages = {241},
publisher = {Hermes},
year = {1997},
timestamp = {Thu, 27 May 2004 08:38:46 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Robinson97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Robinson97,
author = {John Alan Robinson},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Informal Rigor and Mathematical Understanding},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {54--64},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_32},
doi = {10.1007/3-540-63385-5\_32},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Robinson97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mi/RobinsonB95,
author = {John Alan Robinson and
Jonas Barklund},
editor = {Koichi Furukawa and
Donald Michie and
Stephen H. Muggleton},
title = {Vesper},
booktitle = {Machine Intelligence 15, Intelligent Agents [St. Catherine's College,
Oxford, UK, July 1995]},
pages = {360--377},
publisher = {Oxford University Press},
year = {1995},
timestamp = {Sat, 30 Apr 2022 12:43:32 +0200},
biburl = {https://dblp.org/rec/conf/mi/RobinsonB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Robinson94,
author = {John Alan Robinson},
title = {Introduction: 10th Birthday Special Issue of The Journal of Logic
Programming},
journal = {J. Log. Program.},
volume = {19/20},
pages = {5--8},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90023-X},
doi = {10.1016/0743-1066(94)90023-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Robinson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Robinson92,
author = {John Alan Robinson},
title = {Logic and Logic Programming},
journal = {Commun. {ACM}},
volume = {35},
number = {3},
pages = {40--65},
year = {1992},
url = {https://doi.org/10.1145/131295.131296},
doi = {10.1145/131295.131296},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Robinson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Robinson92,
author = {John Alan Robinson},
title = {The Role of Logic in Computer Science and Artificial Intelligence},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {199--210},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Robinson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mi/Robinson94,
author = {John Alan Robinson},
editor = {Koichi Furukawa and
Donald Michie and
Stephen H. Muggleton},
title = {Logic, Computers, Turing, and von Neumann},
booktitle = {Machine Intelligence 13, Machine Intelligence and Inductive Learning,
Loch Lomond, UK, 1992},
pages = {1--35},
publisher = {Clarendon Press, Oxford},
year = {1992},
timestamp = {Sat, 30 Apr 2022 12:43:31 +0200},
biburl = {https://dblp.org/rec/conf/mi/Robinson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Robinson91,
author = {John Alan Robinson},
editor = {Robert S. Boyer},
title = {Formal and Informal Proofs},
booktitle = {Automated Reasoning: Essays in Honor of Woody Bledsoe},
series = {Automated Reasoning Series},
pages = {267--282},
publisher = {Kluwer Academic Publishers},
year = {1991},
timestamp = {Wed, 30 Mar 2016 17:34:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Robinson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/Robinson86,
author = {John Alan Robinson},
editor = {Robert Meersman and
Am{\'{\i}}lcar Sernadas},
title = {Is Logic Programming Enough?},
booktitle = {Proceedings of the {IFIP} {WG} 2.6 Working Conference on Data Semantics,
"Data and Knowledge" {(DS-2).} Albufeira, Portugal, 3-7 November,
1986},
pages = {307--319},
publisher = {North-Holland},
year = {1986},
timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ds/Robinson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Robinson86,
author = {John Alan Robinson},
editor = {Hans{-}J{\"{u}}rgen Kugler},
title = {The Future of Logic Programming (Invited Paper)},
booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
Congress, Dublin, Ireland, September 1-5, 1986},
pages = {219--224},
publisher = {North-Holland/IFIP},
year = {1986},
timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Robinson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Robinson86,
author = {John Alan Robinson},
title = {Merging Functional with Relational Programming in a Reduction Setting
(Abstract of an Invited Lecture)},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Robinson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Robinson84,
author = {John Alan Robinson},
title = {Editor's Introduction},
journal = {J. Log. Program.},
volume = {1},
number = {1},
pages = {1--2},
year = {1984},
url = {https://doi.org/10.1016/0743-1066(84)90019-0},
doi = {10.1016/0743-1066(84)90019-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Robinson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Robinson83,
author = {John Alan Robinson},
title = {Logic Programming - Past, Present and Future},
journal = {New Gener. Comput.},
volume = {1},
number = {2},
pages = {107--124},
year = {1983},
url = {https://doi.org/10.1007/BF03037419},
doi = {10.1007/BF03037419},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Robinson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Robinson68,
author = {John Alan Robinson},
editor = {A. J. H. Morrel},
title = {New directions in mechanical theorem proving},
booktitle = {Information Processing, Proceedings of {IFIP} Congress 1968, Edinburgh,
UK, 5-10 August 1968, Volume 1 - Mathematics, Software},
pages = {63--69},
year = {1968},
timestamp = {Fri, 26 Jul 2019 15:40:04 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Robinson68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RobinsonM67,
author = {John Alan Robinson and
Norman M. Martin},
title = {Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {32},
number = {3},
pages = {430},
year = {1967},
url = {https://doi.org/10.2307/2270848},
doi = {10.2307/2270848},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/RobinsonM67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Robinson65,
author = {John Alan Robinson},
title = {A Machine-Oriented Logic Based on the Resolution Principle},
journal = {J. {ACM}},
volume = {12},
number = {1},
pages = {23--41},
year = {1965},
url = {https://doi.org/10.1145/321250.321253},
doi = {10.1145/321250.321253},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Robinson65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Robinson63,
author = {John Alan Robinson},
title = {Theorem-Proving on the Computer},
journal = {J. {ACM}},
volume = {10},
number = {2},
pages = {163--174},
year = {1963},
url = {https://doi.org/10.1145/321160.321166},
doi = {10.1145/321160.321166},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Robinson63.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 01:55 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:
