Published in: LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017)
Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, and John Wickerson. Forward Progress on GPU Concurrency (Invited Talk). In 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 85, pp. 1:1-1:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{donaldson_et_al:LIPIcs.CONCUR.2017.1, author = {Donaldson, Alastair F. and Ketema, Jeroen and Sorensen, Tyler and Wickerson, John}, title = {{Forward Progress on GPU Concurrency}}, booktitle = {28th International Conference on Concurrency Theory (CONCUR 2017)}, pages = {1:1--1:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-048-4}, ISSN = {1868-8969}, year = {2017}, volume = {85}, editor = {Meyer, Roland and Nestmann, Uwe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.1}, URN = {urn:nbn:de:0030-drops-78055}, doi = {10.4230/LIPIcs.CONCUR.2017.1}, annote = {Keywords: GPUs, concurrency, formal verification, memory models, data races} }
Published in: OASIcs, Volume 35, 2013 Imperial College Computing Student Workshop
Leo de Penning, Artur D'Avila Garcez, and John-Jules C. Meyer. Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents. In 2013 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 35, pp. 89-94, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{depenning_et_al:OASIcs.ICCSW.2013.89, author = {de Penning, Leo and D'Avila Garcez, Artur and Meyer, John-Jules C.}, title = {{Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents}}, booktitle = {2013 Imperial College Computing Student Workshop}, pages = {89--94}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-63-7}, ISSN = {2190-6807}, year = {2013}, volume = {35}, editor = {Jones, Andrew V. and Ng, Nicholas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.89}, URN = {urn:nbn:de:0030-drops-42765}, doi = {10.4230/OASIcs.ICCSW.2013.89}, annote = {Keywords: Multimodal fusion, Deep Boltzmann Machine, Neural-Symbolic Cognitive Agent, Dreaming, Hallucinations} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Mehdi Dastani, Davide Grossi, John-Jules Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{dastani_et_al:DagSemProc.09121.23, author = {Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules and Tinnemeier, Nick}, title = {{Normative Multi-Agent Programs and Their Logics}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.23}, URN = {urn:nbn:de:0030-drops-19079}, doi = {10.4230/DagSemProc.09121.23}, annote = {Keywords: Normative Multi-Agent Systems, Programming Multi-Agent Systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)
Bas R. Steunebrink, John-Jules Ch. Meyer, and Mehdi Dastani. A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{steunebrink_et_al:DagSemProc.08361.3, author = {Steunebrink, Bas R. and Meyer, John-Jules Ch. and Dastani, Mehdi}, title = {{A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects}}, booktitle = {Programming Multi-Agent Systems}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8361}, editor = {Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.3}, URN = {urn:nbn:de:0030-drops-16447}, doi = {10.4230/DagSemProc.08361.3}, annote = {Keywords: Emotions, Intelligent Agents} }
Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)
Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{dastani_et_al:DagSemProc.08361.9, author = {Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules Ch. and Tinnemeier, Nick}, title = {{Normative Multi-Agent Programs and Their Logics}}, booktitle = {Programming Multi-Agent Systems}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8361}, editor = {Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.9}, URN = {urn:nbn:de:0030-drops-16374}, doi = {10.4230/DagSemProc.08361.9}, annote = {Keywords: Multi-agent systems, norms, agent-oriented programming} }
Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)
Davide Grossi, John-Jules Meyer, and Frank Dignum. On the Logic of Constitutive Rules. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{grossi_et_al:DagSemProc.07122.23, author = {Grossi, Davide and Meyer, John-Jules and Dignum, Frank}, title = {{On the Logic of Constitutive Rules}}, booktitle = {Normative Multi-agent Systems}, pages = {1--33}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7122}, editor = {Guido Boella and Leon van der Torre and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.23}, URN = {urn:nbn:de:0030-drops-9131}, doi = {10.4230/DagSemProc.07122.23}, annote = {Keywords: Constitutive rules, counts-as, modal logic.} }
Published in: Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007)
Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{dastani_et_al:DagSemProc.06261.1, author = {Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael H.}, title = {{06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems}}, booktitle = {Foundations and Practice of Programming Multi-Agent Systems}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6261}, editor = {Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.1}, URN = {urn:nbn:de:0030-drops-8477}, doi = {10.4230/DagSemProc.06261.1}, annote = {Keywords: Agent-oriented programming, Agent-oriented software engineering, Multi-agent implementation languages, Agent development tools and platforms, Semantics of agent-oriented languages, Specification and verification of multi-agent systems, Theories of multi-agent programming} }
Published in: Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007)
Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{dastani_et_al:DagSemProc.06261.2, author = {Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael H.}, title = {{06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems}}, booktitle = {Foundations and Practice of Programming Multi-Agent Systems}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6261}, editor = {Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.2}, URN = {urn:nbn:de:0030-drops-8461}, doi = {10.4230/DagSemProc.06261.2}, annote = {Keywords: Agent-oriented programming, Agent-oriented software engineering, Multi-agent implementation languages, Agent development tools and platforms, Semantics of agent-oriented languages, Specification and verification of multi-agent systems, Theories of multi-agent programming} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Hans-Dieter Ehrich, John-Jules Ch. Meyer, and Mark D. Ryan. Objects, Agents and Features (Dagstuhl Seminar 03081). Dagstuhl Seminar Report 367, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)
@TechReport{ehrich_et_al:DagSemRep.367, author = {Ehrich, Hans-Dieter and Meyer, John-Jules Ch. and Ryan, Mark D.}, title = {{Objects, Agents and Features (Dagstuhl Seminar 03081)}}, pages = {1--6}, ISSN = {1619-0203}, year = {2003}, type = {Dagstuhl Seminar Report}, number = {367}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.367}, URN = {urn:nbn:de:0030-drops-152472}, doi = {10.4230/DagSemRep.367}, }
Feedback for Dagstuhl Publishing