Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/faabs:"
download as .bib file
@proceedings{DBLP:conf/faabs/2004,
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b105317},
doi = {10.1007/B105317},
isbn = {3-540-24422-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Bergman04,
author = {Margo Bergman},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Petri Nets as Modeling Tool for Emergent Agents},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {271--274},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_19},
doi = {10.1007/978-3-540-30960-4\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Bergman04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BohnerGGH04,
author = {Shawn A. Bohner and
Boby George and
Denis Gracanin and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Formalism Challenges of the Cougaar Model Driven Architecture},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {57--71},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_5},
doi = {10.1007/978-3-540-30960-4\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BohnerGGH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BreitmanFHS04,
author = {Karin Koogan Breitman and
Alu{\'{\i}}zio Haendchen Filho and
Edward Hermann Haeusler and
Arndt von Staa},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Using Ontologies to Formalize Services Specifications in Multi-agent
Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {92--110},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_7},
doi = {10.1007/978-3-540-30960-4\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BreitmanFHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/CampagneCCN04,
author = {Jean{-}Charles Campagne and
Alain Cardon and
Etienne Collomb and
Toyoaki Nishida},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Massive Multi-agent systems control},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {275--280},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_20},
doi = {10.1007/978-3-540-30960-4\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/CampagneCCN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/DignumBDM04,
author = {Frank Dignum and
Jan M. Broersen and
Virginia Dignum and
John{-}Jules Ch. Meyer},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Meeting the Deadline: Why, When and How},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {30--40},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_3},
doi = {10.1007/978-3-540-30960-4\_3},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/DignumBDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/FilhoCHS04,
author = {Alu{\'{\i}}zio Haendchen Filho and
Nuno Caminada and
Edward Hermann Haeusler and
Arndt von Staa},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Facilitating the Specification Capture and Transformation Process
in the Development of Multi-agent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {72--91},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_6},
doi = {10.1007/978-3-540-30960-4\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/FilhoCHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/GracaninSBH04,
author = {Denis Gracanin and
H. Lally Singh and
Shawn A. Bohner and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Model-Driven Architecture for Agent-Based Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {249--261},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_17},
doi = {10.1007/978-3-540-30960-4\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/GracaninSBH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/GrossiD04,
author = {Davide Grossi and
Frank Dignum},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {From Abstract to Concrete Norms in Agent Institutions},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {12--29},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_2},
doi = {10.1007/978-3-540-30960-4\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/GrossiD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KacprzakLLPS04,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
T. Lasica and
Wojciech Penczek and
Maciej Szreter},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Verifying Multi-agent Systems via Unbounded Model Checking},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {189--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_13},
doi = {10.1007/978-3-540-30960-4\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KacprzakLLPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KerrSST04,
author = {Wesley Kerr and
Diana F. Spears and
William M. Spears and
David R. Thayer},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {111--130},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_8},
doi = {10.1007/978-3-540-30960-4\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KerrSST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KlaudelW04,
author = {Guillaume Hutzler and
Hanna Klaudel and
Dong Yue Wang},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Towards Timed Automata and Multi-agent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {161--172},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_11},
doi = {10.1007/978-3-540-30960-4\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KlaudelW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/PeysakhovCR04,
author = {Maxim Peysakhov and
Vincent A. Cicirello and
William C. Regli},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Ecology Based Decentralized Agent Management System},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {1--11},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_1},
doi = {10.1007/978-3-540-30960-4\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/PeysakhovCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RaimondiL04,
author = {Franco Raimondi and
Alessio Lomuscio},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Towards Symbolic Model Checking for Multi-agent Systems via OBDD's},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {213--221},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_14},
doi = {10.1007/978-3-540-30960-4\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RaimondiL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RamirezA04,
author = {Jaime Ram{\'{\i}}rez and
Ang{\'{e}}lica de Antonio},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Formal Consistency Verification of Deliberative Agents with Respect
to Communication Protocols},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {222--237},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_15},
doi = {10.1007/978-3-540-30960-4\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RamirezA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RudnianskiB04,
author = {Michel Rudnianski and
Helene Bestougeff},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Multi-agent Systems Reliability, Fuzziness, and Deterrence},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {41--56},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_4},
doi = {10.1007/978-3-540-30960-4\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RudnianskiB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Sarmadi04,
author = {Hengameh Sarmadi},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Fuzzy Hybrid Deliberative/Reactive Paradigm {(FHDRP)}},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {281--286},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_21},
doi = {10.1007/978-3-540-30960-4\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Sarmadi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SmidOFT04,
author = {Jan Smid and
Marek Obitko and
David Fisher and
Walt Truszkowski},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Interaction and Communication of Agents in Networks and Language Complexity
Estimates},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {287--289},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_22},
doi = {10.1007/978-3-540-30960-4\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SmidOFT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SpearsSH04,
author = {William M. Spears and
Diana F. Spears and
Rodney Heil},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {A Formal Analysis of Potential Energy in a Multi-agent System},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {131--145},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_9},
doi = {10.1007/978-3-540-30960-4\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SpearsSH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SterrittH04,
author = {Roy Sterritt and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Apoptosis and Self-Destruct: {A} Contribution to Autonomic Agents?},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {262--270},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_18},
doi = {10.1007/978-3-540-30960-4\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SterrittH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/YerramallaLFCG04,
author = {Sampath Yerramalla and
Yan Liu and
Edgar Fuller and
Bojan Cukic and
Srikanth Gururajan},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {An Approach to V{\&}V of Embedded Adaptive Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {173--188},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_12},
doi = {10.1007/978-3-540-30960-4\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/YerramallaLFCG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/ZarzhitskySTS04,
author = {Dimitri V. Zarzhitsky and
Diana F. Spears and
David R. Thayer and
William M. Spears},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Agent-Based Chemical Plume Tracing Using Fluid Dynamics},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {146--160},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_10},
doi = {10.1007/978-3-540-30960-4\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/ZarzhitskySTS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/ZouFC04,
author = {Youyong Zou and
Timothy W. Finin and
Harry Chen},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {{F-OWL:} An Inference Engine for Semantic Web},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {238--248},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_16},
doi = {10.1007/978-3-540-30960-4\_16},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/ZouFC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/faabs/2002,
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b11729},
doi = {10.1007/B11729},
isbn = {3-540-40665-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/AldridgeSHP02,
author = {Stuart Aldridge and
Alexander D. Stoyen and
Jeffrey S. Hicks and
Plamen V. Petrov},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Using {XML} for Interprocess Communications in a Space Situational
Awareness and Control Application},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {241--253},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_22},
doi = {10.1007/978-3-540-45133-4\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/AldridgeSHP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BaalenB02,
author = {Jeffrey Van Baalen and
Thomas B{\"{o}}hne},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Automated Protocol Analysis in Maude},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {68--78},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_6},
doi = {10.1007/978-3-540-45133-4\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BaalenB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Bergman02,
author = {Margo Bergman},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Evaluating Agent-Based Modeling as a Tool for Economists},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {283--285},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_28},
doi = {10.1007/978-3-540-45133-4\_28},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Bergman02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Bharadwaj02,
author = {Ramesh Bharadwaj},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Verifiable Middleware for Secure Agent Interoperability},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {126--132},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_11},
doi = {10.1007/978-3-540-45133-4\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Bharadwaj02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Bharadwaj02a,
author = {Ramesh Bharadwaj},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Naval Applications of Secure Multi-agent Technology},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {235},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_19},
doi = {10.1007/978-3-540-45133-4\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Bharadwaj02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/DignumMDW02,
author = {Virginia Dignum and
John{-}Jules Ch. Meyer and
Frank Dignum and
Hans Weigand},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Formal Specification of Interaction in Agent Societies},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {37--52},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_4},
doi = {10.1007/978-3-540-45133-4\_4},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/DignumMDW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Esterline02,
author = {Albert C. Esterline},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {146--161},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_13},
doi = {10.1007/978-3-540-45133-4\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Esterline02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/FisherGH02,
author = {Michael Fisher and
Chiara Ghidini and
Benjamin Hirsch},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Organising Logic-Based Agents},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {15--27},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_2},
doi = {10.1007/978-3-540-45133-4\_2},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/FisherGH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Gordon-Spears02,
author = {Diana F. Gordon{-}Spears},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Asimov's Laws: Current Progress},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {257--259},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_23},
doi = {10.1007/978-3-540-45133-4\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Gordon-Spears02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Gordon-SpearsS02,
author = {Diana F. Gordon{-}Spears and
William M. Spears},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Analysis of a Phase Transition in a Physics-Based Multiagent System},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {193--207},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_16},
doi = {10.1007/978-3-540-45133-4\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Gordon-SpearsS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/HicksFPS02,
author = {Jeffrey S. Hicks and
Richard Flanagan and
Plamen V. Petrov and
Alexander D. Stoyen},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Taking Intelligent Agents to the Battlefield},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {220--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_18},
doi = {10.1007/978-3-540-45133-4\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/HicksFPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Hogan02,
author = {James P. Hogan},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Asimov's Laws},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {260--263},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_24},
doi = {10.1007/978-3-540-45133-4\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Hogan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/HooleTY02,
author = {Alexander M. Hoole and
Issa Traor{\'{e}} and
Michael Yanguo Liu},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System:
(Extended Abstract)},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {292--293},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_31},
doi = {10.1007/978-3-540-45133-4\_31},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/HooleTY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/JungNTM02,
author = {Hyuckchul Jung and
Ranjit Nair and
Milind Tambe and
Stacy Marsella},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Computational Models for Multiagent Coordination Analysis: Extending
Distributed {POMDP} Models},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {103--114},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_9},
doi = {10.1007/978-3-540-45133-4\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/JungNTM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KimiaghalamHE02,
author = {Bahram Kimiaghalam and
Abdollah Homaifar and
Albert C. Esterline},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {A Statechart Framework for Agent Roles that Captures Expertise and
Learns Improved Behavior},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {28--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_3},
doi = {10.1007/978-3-540-45133-4\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KimiaghalamHE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KiriakidisG02,
author = {Kiriakos Kiriakidis and
Diana F. Gordon{-}Spears},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Formal Modeling and Supervisory Control of Reconfigurable Robot Teams},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {92--102},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_8},
doi = {10.1007/978-3-540-45133-4\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KiriakidisG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Kondo02,
author = {Yoji Kondo},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {On Laws of Robotics},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {264--265},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_25},
doi = {10.1007/978-3-540-45133-4\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Kondo02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/LomuscioLP02,
author = {Alessio Lomuscio and
T. Lasica and
Wojciech Penczek},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Bounded Model Checking for Interpreted Systems: Preliminary Experimental
Results},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {115--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_10},
doi = {10.1007/978-3-540-45133-4\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/LomuscioLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/MarcheQ02,
author = {Mikael Marche and
Yves{-}Marie Quemener},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {A Model for Conformance Testing of Mobile Agents in a {MASIF} Framework},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {173--192},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_15},
doi = {10.1007/978-3-540-45133-4\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/MarcheQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/MenziesOC02,
author = {Tim Menzies and
David Owen and
Bojan Cukic},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {You Seem Friendly, But Can {I} Trust You?},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {208--219},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_17},
doi = {10.1007/978-3-540-45133-4\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/MenziesOC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/MenziesPHG02,
author = {Tim Menzies and
Adrian R. Pearce and
Clinton Heinze and
Simon Goss},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {What Is an Agent and Why Should {I} Care?},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {1--14},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_1},
doi = {10.1007/978-3-540-45133-4\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/MenziesPHG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Meyer02,
author = {John{-}Jules Ch. Meyer},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Tools and Education towards Formal Methods Practice},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {274--279},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_27},
doi = {10.1007/978-3-540-45133-4\_27},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Meyer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/NelsonP02,
author = {Stacy D. Nelson and
Charles Pecheur},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Formal Verification for a Next-Generation Space Shuttle},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {53--67},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_5},
doi = {10.1007/978-3-540-45133-4\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/NelsonP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Pecheur02,
author = {Charles Pecheur},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Challenges Arising from Applications},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {236--238},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_20},
doi = {10.1007/978-3-540-45133-4\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Pecheur02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/PenaCA02,
author = {Joaqu{\'{\i}}n Pe{\~{n}}a and
Rafael Corchuelo and
Jos{\'{e}} Luis Arjona},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Towards Interaction Protocol Operations for Large Multi-agent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {79--91},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_7},
doi = {10.1007/978-3-540-45133-4\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/PenaCA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RiemsdijkHM02,
author = {Birna van Riemsdijk and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Agent Programming in Dribble: From Beliefs to Goals with Plans},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {294--295},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_32},
doi = {10.1007/978-3-540-45133-4\_32},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/RiemsdijkHM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RobinsonHC02,
author = {Peter J. Robinson and
Michael G. Hinchey and
Keith L. Clark},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning
Capabilities},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {162--172},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_14},
doi = {10.1007/978-3-540-45133-4\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RobinsonHC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RudnianskiB02,
author = {Michel Rudnianski and
Helene Bestougeff},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Modeling Traffic Control through Deterrent Agents},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {286--289},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_29},
doi = {10.1007/978-3-540-45133-4\_29},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RudnianskiB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Schlenoff02,
author = {Craig Schlenoff},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Applications Panel: Agents Applied to Autonomous Vehicles},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {239--240},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_21},
doi = {10.1007/978-3-540-45133-4\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Schlenoff02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SchlenoffG02,
author = {Craig Schlenoff and
Michael Gr{\"{u}}ninger},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Towards a Formal Representation of Driving Behaviors},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {290--291},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_30},
doi = {10.1007/978-3-540-45133-4\_30},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SchlenoffG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Truszkowski02,
author = {Walt Truszkowski},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Challenges Arising from Applications of Agent-Based System},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {269--273},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_26},
doi = {10.1007/978-3-540-45133-4\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Truszkowski02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Zappacosta-Amboldi02,
author = {Silvana Zappacosta{-}Amboldi},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Distributed Implementation of a Connection Graph Based on Cylindric
Set Algebra Operators},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {133--145},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_12},
doi = {10.1007/978-3-540-45133-4\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Zappacosta-Amboldi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/faabs/2000,
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45484-5},
doi = {10.1007/3-540-45484-5},
isbn = {3-540-42716-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/AlonsoK00,
author = {Eduardo Alonso and
Daniel Kudenko},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Machine Learning for Logic-Based Multi-agent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {306--307},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_28},
doi = {10.1007/3-540-45484-5\_28},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/AlonsoK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/AmbroszkiewiczPN00,
author = {Stanislaw Ambroszkiewicz and
Wojciech Penczek and
Tomasz Nowak},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Towards Formal Specification and Verification in Cyberspace},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {16--32},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_2},
doi = {10.1007/3-540-45484-5\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/AmbroszkiewiczPN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/AraragiAKKLLM00,
author = {Tadashi Araragi and
Paul C. Attie and
Idit Keidar and
Kiyoshi Kogure and
Victor Luchangco and
Nancy A. Lynch and
Ken Mano},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {On Formal Modeling of Agent Computations},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {48--62},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_4},
doi = {10.1007/3-540-45484-5\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/AraragiAKKLLM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BaalenCM00,
author = {Jeffrey Van Baalen and
James L. Caldwell and
Shivakant Mishra},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Specifying and Checking Fault-Tolerant Agent-Based Protocols Using
Maude},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {180--193},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_15},
doi = {10.1007/3-540-45484-5\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BaalenCM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Bailin00,
author = {Sidney C. Bailin},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Ontology Negotiation in a Community of Agents},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {294--297},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_23},
doi = {10.1007/3-540-45484-5\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Bailin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BakamKPB00,
author = {Innocent Bakam and
Fabrice Kordon and
Christophe Le Page and
Fran{\c{c}}ois Bousquet},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Formalization of a Spatialized Multiagent Model Using Coloured Petri
Nets for the Study of an Hunting Management System},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {123--132},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_10},
doi = {10.1007/3-540-45484-5\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BakamKPB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BenerecettiG00,
author = {Massimo Benerecetti and
Fausto Giunchiglia},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Model Checking-Based Analysis of Multiagent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {1--15},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_1},
doi = {10.1007/3-540-45484-5\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BenerecettiG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Bharadwaj00,
author = {Ramesh Bharadwaj},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Analysis of Agent-Based Systems Using Decision Procedures},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {298--299},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_24},
doi = {10.1007/3-540-45484-5\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Bharadwaj00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/CarchioloMM00,
author = {Vincenza Carchiolo and
Michele Malgeri and
Giuseppe Mangioni},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Using a Formal Framework for Agent System Design},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {308--317},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_29},
doi = {10.1007/3-540-45484-5\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/CarchioloMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Chainbi00,
author = {Walid Chainbi},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {A Formal Approach to Belief-Goal-Role Agents},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {300--301},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_25},
doi = {10.1007/3-540-45484-5\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Chainbi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/EngrandP00,
author = {Peter Engrand and
Charles Pecheur},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Model Checking of Autonomy Models for an In-Situ Propellant Production
System},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {302--303},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_26},
doi = {10.1007/3-540-45484-5\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/EngrandP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/EsterlineR00,
author = {Albert C. Esterline and
Toinette Rorie},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Using the pi-Calculus to Model Multiagent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {164--179},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_14},
doi = {10.1007/3-540-45484-5\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/EsterlineR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Fisher00,
author = {Michael Fisher},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Direct Execution of Agent Specifications},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {163},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_13},
doi = {10.1007/3-540-45484-5\_13},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/Fisher00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Gordon00,
author = {Diana F. Gordon},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {{APT} Agents: Agents That Are Adaptive, Predictable, and Timely},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {278--293},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_22},
doi = {10.1007/3-540-45484-5\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Gordon00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/GordonHAI00,
author = {Diana F. Gordon and
Henry Hexmoor and
Robert L. Axtell and
Nenad Ivezic},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Panel Discussion: Empirical versus Formal Methods},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {345--353},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_36},
doi = {10.1007/3-540-45484-5\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/GordonHAI00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/HincheyHPHGLT00,
author = {Michael G. Hinchey and
James A. Hendler and
Charles Pecheur and
Constance L. Heitmeyer and
Diana F. Gordon and
Michael Luck and
Walt Truszkowski},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Panel Discussion: Future Directions},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {354--368},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_37},
doi = {10.1007/3-540-45484-5\_37},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/HincheyHPHGLT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/HindriksBHM00,
author = {Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {A Programming Logic for Part of the Agent Language 3APL},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {78--89},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_6},
doi = {10.1007/3-540-45484-5\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/HindriksBHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/HustadtDSFMH00,
author = {Ullrich Hustadt and
Clare Dixon and
Renate A. Schmidt and
Michael Fisher and
John{-}Jules Ch. Meyer and
Wiebe van der Hoek},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Verification within the {KARO} Agent Theory},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {33--47},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_3},
doi = {10.1007/3-540-45484-5\_3},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/HustadtDSFMH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KawabeMK00,
author = {Yoshinobu Kawabe and
Ken Mano and
Kiyoshi Kogure},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {The Nepi\({}^{\mbox{2}}\) Programming System: {A} pi-Calculus-Based
Approach to Agent-Based Programming},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {90--102},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_7},
doi = {10.1007/3-540-45484-5\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KawabeMK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KhatibMH00,
author = {Lina Khatib and
Nicola Muscettola and
Klaus Havelund},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Verification of Plan Models Using {UPPAAL}},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {114--122},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_9},
doi = {10.1007/3-540-45484-5\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KhatibMH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KiriakidisG00,
author = {Kiriakos Kiriakidis and
Diana F. Gordon},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Adaptive Supervisory Control of Multi-agent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {304--305},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_27},
doi = {10.1007/3-540-45484-5\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KiriakidisG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Lerman00,
author = {Kristina Lerman},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Design and Mathematical Analysis of Agent-Based Systems},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {222--234},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_18},
doi = {10.1007/3-540-45484-5\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Lerman00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Mandutianu00,
author = {Sanda Mandutianu},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Modeling Agent-Based Systems},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {318--320},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_30},
doi = {10.1007/3-540-45484-5\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Mandutianu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/McIlraith00,
author = {Sheila A. McIlraith},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Modeling and Programming Devices and Web Agents},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {63--77},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_5},
doi = {10.1007/3-540-45484-5\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/McIlraith00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/MenziesCS00,
author = {Tim Menzies and
Bojan Cukic and
Harshinder Singh},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Agents Talking Faster},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {194--208},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_16},
doi = {10.1007/3-540-45484-5\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/MenziesCS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/PecheurS00,
author = {Charles Pecheur and
Reid G. Simmons},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {From Livingstone to {SMV}},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {103--113},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_8},
doi = {10.1007/3-540-45484-5\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/PecheurS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Peng00,
author = {Yun Peng},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Modeling Agent Systems by Bayesian Belief Networks},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {321--322},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_31},
doi = {10.1007/3-540-45484-5\_31},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Peng00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Riley00,
author = {Tom A. D. Riley},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {The Anthropomorphizing of Intelligent Agents},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {323--334},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_32},
doi = {10.1007/3-540-45484-5\_32},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Riley00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RudnianskiB00,
author = {Michel Rudnianski and
Helene Bestougeff},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Modeling Task and Teams through Game Theoretical Agents},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {235--249},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_19},
doi = {10.1007/3-540-45484-5\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RudnianskiB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SchumannW00,
author = {Johann Schumann and
Jon Whittle},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Automatic Synthesis of Agent Designs in {UML}},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {148--162},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_12},
doi = {10.1007/3-540-45484-5\_12},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SchumannW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Soundarajan00,
author = {Neelam Soundarajan},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Refining Interactions in a Distributed System},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {209--221},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_17},
doi = {10.1007/3-540-45484-5\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Soundarajan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SurkaCS00,
author = {Derek M. Surka and
Mark E. Campbell and
Thomas P. Schetter},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Controlling Multiple Satellite Constellations Using the TEAMAgent
System},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {335--336},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_33},
doi = {10.1007/3-540-45484-5\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SurkaCS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Torney00,
author = {Susan E. Torney},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Operations Assistants for Johnson Space Center's Mission Control Center},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {337--338},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_34},
doi = {10.1007/3-540-45484-5\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Torney00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Waldinger00,
author = {Richard J. Waldinger},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Web Agents Cooperating Deductively},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {250--262},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_20},
doi = {10.1007/3-540-45484-5\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Waldinger00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Wesley00,
author = {Leonard P. Wesley},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {A Real Time Object-Oriented Rational Agent Development System},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {339--344},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_35},
doi = {10.1007/3-540-45484-5\_35},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Wesley00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Zhu00,
author = {Hong Zhu},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Formal Specification of Agent Behaviour through Environment Scenarios},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {263--277},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_21},
doi = {10.1007/3-540-45484-5\_21},
timestamp = {Thu, 30 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Zhu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/dInvernoL00,
author = {Mark d'Inverno and
Michael Luck},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Formal Agent Development: Framework to System},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {133--147},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_11},
doi = {10.1007/3-540-45484-5\_11},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/dInvernoL00.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.
retrieved on 2024-05-12 02:33 CEST from data curated 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:
