Search dblp for Publications

export results for "toc:db/conf/dalt/dalt2011.bht:"

 download as .bib file

@proceedings{DBLP:conf/dalt/2011,
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29113-5},
  doi          = {10.1007/978-3-642-29113-5},
  isbn         = {978-3-642-29112-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BijaniRA11,
  author       = {Shahriar Bijani and
                  David Robertson and
                  David Aspinall},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Probing Attacks on Multi-Agent Systems Using Electronic Institutions},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {33--50},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_4},
  doi          = {10.1007/978-3-642-29113-5\_4},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/BijaniRA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Bordini11,
  author       = {Rafael H. Bordini},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Agent and Multi-Agent Software Engineering: Modelling, Programming,
                  and Verification - Extended Abstract for a Course at {DALT} Spring
                  School 2011},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {149--151},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_15},
  doi          = {10.1007/978-3-642-29113-5\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/Bordini11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/ChopraS11,
  author       = {Amit K. Chopra and
                  Munindar P. Singh},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {The Evolution of Interoperability},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {90--94},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_8},
  doi          = {10.1007/978-3-642-29113-5\_8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/ChopraS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/CorsarCV11,
  author       = {David Corsar and
                  Alison Chorley and
                  Wamberto Weber Vasconcelos},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Web Service Composition via Organisation-Based (Re)Planning},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {128--148},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_14},
  doi          = {10.1007/978-3-642-29113-5\_14},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/CorsarCV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Dennis11,
  author       = {Louise A. Dennis},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Plan Indexing for State-Based Plans},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {3--15},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_2},
  doi          = {10.1007/978-3-642-29113-5\_2},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/Dennis11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/FornaraC11,
  author       = {Nicoletta Fornara and
                  Marco Colombetti},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Specifying and Enforcing Norms in Artificial Institutions: {A} Retrospective
                  Review},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {117--119},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_12},
  doi          = {10.1007/978-3-642-29113-5\_12},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dalt/FornaraC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Garcia-CaminoRSV11,
  author       = {Andr{\'{e}}s Garc{\'{\i}}a{-}Camino and
                  Juan A. Rodr{\'{\i}}guez{-}Aguilar and
                  Carles Sierra and
                  Wamberto Weber Vasconcelos},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {A Distributed Architecture for Norm-Aware Agent Societies: {A} Retrospective},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {102--110},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_10},
  doi          = {10.1007/978-3-642-29113-5\_10},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/Garcia-CaminoRSV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/GunayY11,
  author       = {Akin G{\"{u}}nay and
                  Pinar Yolum},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Detecting Conflicts in Commitments},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_5},
  doi          = {10.1007/978-3-642-29113-5\_5},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/GunayY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Hoek11,
  author       = {Wiebe van der Hoek},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Control and Delegation},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_1},
  doi          = {10.1007/978-3-642-29113-5\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/Hoek11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/MascardiA11,
  author       = {Viviana Mascardi and
                  Davide Ancona},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {1000 Years of Coo-BDI},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {95--101},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_9},
  doi          = {10.1007/978-3-642-29113-5\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/MascardiA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/MoreiraVB11,
  author       = {{\'{A}}lvaro F. Moreira and
                  Renata Vieira and
                  Rafael H. Bordini},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Speech-Act Based Communication: Progress in the Formal Semantics and
                  in the Implementation of Multi-agent Oriented Programming Languages},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {111--116},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_11},
  doi          = {10.1007/978-3-642-29113-5\_11},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dalt/MoreiraVB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Robertson11,
  author       = {David Robertson},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Lightweight Coordination Calculus for Agent Systems: Retrospective
                  and Prospective},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {84--89},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_7},
  doi          = {10.1007/978-3-642-29113-5\_7},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/Robertson11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/SonPS11,
  author       = {Tran Cao Son and
                  Enrico Pontelli and
                  Chiaki Sakama},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {Formalizing Commitments Using Action Languages},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {67--83},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_6},
  doi          = {10.1007/978-3-642-29113-5\_6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/SonPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/TorroniCMM11,
  author       = {Paolo Torroni and
                  Federico Chesani and
                  Paola Mello and
                  Marco Montali},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {A Retrospective on the Reactive Event Calculus and Commitment Modeling
                  Language},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {120--127},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_13},
  doi          = {10.1007/978-3-642-29113-5\_13},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dalt/TorroniCMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Winikoff11,
  author       = {Michael Winikoff},
  editor       = {Chiaki Sakama and
                  Sebastian Sardi{\~{n}}a and
                  Wamberto Weber Vasconcelos and
                  Michael Winikoff},
  title        = {An Integrated Formal Framework for Reasoning about Goal Interactions},
  booktitle    = {Declarative Agent Languages and Technologies {IX} - 9th International
                  Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7169},
  pages        = {16--32},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29113-5\_3},
  doi          = {10.1007/978-3-642-29113-5\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/Winikoff11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics