BibTeX records: Andrew Rock

download as .bib file

@inproceedings{DBLP:conf/enase/BillingtonEHR10,
  author    = {David Billington and
               Vladimir Estivill{-}Castro and
               Ren{\'{e}} Hexel and
               Andrew Rock},
  editor    = {Pericles Loucopoulos and
               Leszek A. Maciaszek},
  title     = {Non-monotonic Reasoning for Requirements Engineering - State Diagrams
               Driven by Plausible Logic},
  booktitle = {{ENASE} 2010 - Proceedings of the Fifth International Conference on
               Evaluation of Novel Approaches to Software Engineering, Athens, Greece,
               July 22-24, 2010},
  pages     = {68--77},
  publisher = {SciTePress},
  year      = {2010},
  timestamp = {Thu, 28 Apr 2011 14:15:33 +0200},
  biburl    = {https://dblp.org/rec/conf/enase/BillingtonEHR10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/BillingtonEHR10a,
  author    = {David Billington and
               Vladimir Estivill{-}Castro and
               Ren{\'{e}} Hexel and
               Andrew Rock},
  editor    = {Leszek A. Maciaszek and
               Pericles Loucopoulos},
  title     = {Requirements Engineering via Non-monotonic Logics and State Diagrams},
  booktitle = {Evaluation of Novel Approaches to Software Engineering - 5th International
               Conference, {ENASE} 2010, Athens, Greece, July 22-24, 2010, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {230},
  pages     = {121--135},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-23391-3\_9},
  doi       = {10.1007/978-3-642-23391-3\_9},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/enase/BillingtonEHR10a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpar/BillingtonEHR10,
  author    = {David Billington and
               Vladimir Estivill{-}Castro and
               Ren{\'{e}} Hexel and
               Andrew Rock},
  editor    = {Noriaki Ando and
               Stephen Balakirsky and
               Thomas Hemker and
               Monica Reggiani and
               Oskar von Stryk},
  title     = {Modelling Behaviour Requirements for Automatic Interpretation, Simulation
               and Deployment},
  booktitle = {Simulation, Modeling, and Programming for Autonomous Robots - Second
               International Conference, {SIMPAR} 2010, Darmstadt, Germany, November
               15-18, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6472},
  pages     = {204--216},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17319-6\_21},
  doi       = {10.1007/978-3-642-17319-6\_21},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/simpar/BillingtonEHR10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/BillingtonEHR09,
  author    = {David Billington and
               Vladimir Estivill{-}Castro and
               Ren{\'{e}} Hexel and
               Andrew Rock},
  editor    = {Emilio Corchado and
               Xindong Wu and
               Erkki Oja and
               {\'{A}}lvaro Herrero and
               Bruno Baruque},
  title     = {Architecture for Hybrid Robotic Behavior},
  booktitle = {Hybrid Artificial Intelligence Systems, 4th International Conference,
               {HAIS} 2009, Salamanca, Spain, June 10-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5572},
  pages     = {145--156},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02319-4\_18},
  doi       = {10.1007/978-3-642-02319-4\_18},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/hais/BillingtonEHR09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/BillingtonEHR06,
  author    = {David Billington and
               Vladimir Estivill{-}Castro and
               Ren{\'{e}} Hexel and
               Andrew Rock},
  editor    = {Gerhard Lakemeyer and
               Elizabeth Sklar and
               Domenico G. Sorrenti and
               Tomoichi Takahashi},
  title     = {Using Temporal Consistency to Improve Robot Localisation},
  booktitle = {RoboCup 2006: Robot Soccer World Cup {X}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4434},
  pages     = {232--244},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/978-3-540-74024-7\_20},
  doi       = {10.1007/978-3-540-74024-7\_20},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/robocup/BillingtonEHR06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BillingtonR03,
  author    = {David Billington and
               Andrew Rock},
  editor    = {Tam{\'{a}}s D. Gedeon and
               Lance Chun Che Fung},
  title     = {Constructive Plausible Logic Is Relatively Consistent},
  booktitle = {{AI} 2003: Advances in Artificial Intelligence, 16th Australian Conference
               on Artificial Intelligence, Perth, Australia, December 3-5, 2003,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2903},
  pages     = {954--965},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-24581-0\_82},
  doi       = {10.1007/978-3-540-24581-0\_82},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/ausai/BillingtonR03.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/sLogica/BillingtonR01,
  author    = {David Billington and
               Andrew Rock},
  title     = {Propositional Plausible Logic: Introduction and Implementation},
  journal   = {Stud Logica},
  volume    = {67},
  number    = {2},
  pages     = {243--269},
  year      = {2001},
  url       = {https://doi.org/10.1023/A:1010551204574},
  doi       = {10.1023/A:1010551204574},
  timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sLogica/BillingtonR01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/RockB00,
  author    = {Andrew Rock and
               David Billington},
  title     = {An Implementation of Propositional Plausible Logic},
  booktitle = {23rd Australasian Computer Science Conference {(ACSC} 2000), 31 January
               - 3 February 2000, Canberra, Australia},
  pages     = {204--210},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {https://doi.org/10.1109/ACSC.2000.824404},
  doi       = {10.1109/ACSC.2000.824404},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/acsc/RockB00.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/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 = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/ictai/MaherRABM00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics