Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/faabs/faabs2002.bht:"
download as .bib file
@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}
}
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-04-27 17:47 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:
