Zum Inhalt springen

  1. Dam, Hoa Khanh [VerfasserIn] ; Pitt, Jeremy [HerausgeberIn]; Xu, Yang [HerausgeberIn]; Governatori, Guido [HerausgeberIn]; Ito, Takayuki [HerausgeberIn]

    PRIMA 2014: Principles and Practice of Multi-Agent Systems : 17th International Conference, Gold Coast, QLD Australia, December 1-5, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8861

  2. Kinny, David [VerfasserIn] ; Hsu, Jane Yung-jen [Sonstige Person, Familie und Körperschaft]; Governatori, Guido [Sonstige Person, Familie und Körperschaft]; Ghose, Aditya K. [Sonstige Person, Familie und Körperschaft]

    Agents in Principle, Agents in Practice : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 7047

  3. Governatori, Guido [VerfasserIn]; Olivieri, Francesco [VerfasserIn]; Rotolo, Antonino [VerfasserIn]; Cristani, Matteo [VerfasserIn]

    Stable normative explanations

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: International Conference on Legal Knowledge and Information Systems (35. : 2022 : Saarbrücken): Legal knowledge and information systems ; (2022), Seite 43-52

  4. Bhuiyan, Hanif [VerfasserIn]; Governatori, Guido [VerfasserIn]; Bond, Andy [VerfasserIn]; Rakotonirainy, Andry [VerfasserIn]

    Validation of Autonomous Vehicle Overtaking under Queensland Road Rules

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: International Rule Challenge (16. : 2022 : Online): RuleML+RR-Companion 2022: International Rule Challenge and Doctoral Consortium ; 2022

  5. Andrighetto, Giulia [VerfasserIn]; Governatori, Guido [VerfasserIn]; Noriega, Pablo [VerfasserIn]; van der Torre, Leon [VerfasserIn] ; Giulia Andrighetto and Guido Governatori and Pablo Noriega and Leon van der Torre [MitwirkendeR]

    Normative Multi-Agent Systems (Dagstuhl Seminar 12111)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  6. Andrighetto, Giulia [VerfasserIn]; Governatori, Guido [VerfasserIn]; Noriega, Pablo [VerfasserIn]; van der Torre, Leendert W. N. [VerfasserIn] ; Giulia Andrighetto and Guido Governatori and Pablo Noriega and Leendert W. N. van der Torre [MitwirkendeR]

    DFU, Volume 4, Normative Multi-Agent Systems

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  7. Andrighetto, Giulia [VerfasserIn]; Governatori, Guido [VerfasserIn]; Noriega, Pablo [VerfasserIn]; van der Torre, Leendert W. N. [VerfasserIn] ; Giulia Andrighetto and Guido Governatori and Pablo Noriega and Leendert W. N. van der Torre [MitwirkendeR]

    Frontmatter, Table of Contents, Preface, List of Authors

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  8. Casini, Giovanni [Herausgebendes Organ]; Di Caro, Luigi [Herausgebendes Organ]; Governatori, Guido [Herausgebendes Organ]; Leone, Valentina [Herausgebendes Organ]; Markovich, Réka [Herausgebendes Organ] ; MIREL 4. 2019 Madrid

    MIREL 2019: Mining and Reasoning with Legal Texts : proceedings of the 4th International Workshop on Mining and Reasoning with Legal Texts, co-located with the 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019) : Madrid, Spain, December 11, 2019

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Aachen, Germany]: [RWTH Aachen], 2020-07-06

    Erschienen in: CEUR workshop proceedings ; 2632

  9. Alferes, José Júlio [HerausgeberIn]; Bertossi, Leopoldo [HerausgeberIn]; Governatori, Guido [HerausgeberIn]; Fodor, Paul [HerausgeberIn]; Roman, Dumitru [HerausgeberIn]

    Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 9718

  10. Bhuiyan, Hanif [VerfasserIn]; Governatori, Guido [VerfasserIn]; Rakotonirainy, Andry [VerfasserIn]; Wong, Meng Weng [VerfasserIn]; Mahajan, Avishkar [VerfasserIn]

    Driving decision making of autonomous vehicle according to Queensland overtaking traffic rules

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2023

    Erschienen in: The review of socionetwork strategies ; 17(2023), 2 vom: Okt., Seite 233-254

  11. Robaldo, Livio [VerfasserIn]; Batsakis, Sotiris [VerfasserIn]; Calegari, Roberta [VerfasserIn]; Calimeri, Francesco [VerfasserIn]; Fujita, Megumi [VerfasserIn]; Governatori, Guido [VerfasserIn]; Morelli, Maria Concetta [VerfasserIn]; Pisano, Giuseppe [VerfasserIn]; Satoh, Ken [VerfasserIn]; Tachmazidis, Ilias [VerfasserIn]

    Taking stock of available technologies for compliance checking on first-order knowledge

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Italian Conference on Computational Logic (37. : 2022 : Bologna; Online): CILC 2022: Italian Conference on Computational Logic ; (2022), Seite 1-16

  12. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Paschke, Adrian [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Bassiliades, Nick [Sonstige Person, Familie und Körperschaft]; Governatori, Guido [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]

    Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5321

  13. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Sadananda, Ramakoti [Sonstige Person, Familie und Körperschaft]; Siekmann, Jörg [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Ghose, Aditya [Sonstige Person, Familie und Körperschaft]; Wahlster, Wolfgang [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Goebel, Randy [Sonstige Person, Familie und Körperschaft]; Governatori, Guido [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]

    Agent Computing and Multi-Agent Systems : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5044

  14. Singh, Munindar P. [VerfasserIn]; Arrott, Matthew [VerfasserIn]; Balke, Tina [VerfasserIn]; Chopra, Amit K. [VerfasserIn]; Christiaanse, Rob [VerfasserIn]; Cranefield, Stephen [VerfasserIn]; Dignum, Frank [VerfasserIn]; Eynard, Davide [VerfasserIn]; Farcas, Emilia [VerfasserIn]; Fornara, Nicoletta [VerfasserIn]; Gandon, Fabien [VerfasserIn]; Governatori, Guido [VerfasserIn]; Khanh Dam, Hoa [VerfasserIn]; Hulstijn, Joris [VerfasserIn]; Krueger, Ingolf [VerfasserIn]; Lam, Ho-Pun [VerfasserIn]; Meisinger, Michael [VerfasserIn]; Noriega, Pablo [VerfasserIn]; Savarimuthu, Bastin Tony Roy [VerfasserIn]; Tadanki, Kartik [VerfasserIn]; Verhagen, Harko [VerfasserIn]; Villata, Serena [VerfasserIn] ; Munindar P. Singh and Matthew Arrott and Tina Balke and Amit K. Chopra and Rob Christiaanse and Stephen Cranefield and Frank Dignum and Davide Eynard and Emilia Farcas and Nicoletta Fornara and Fabien Gandon and Guido Governatori and Hoa Khanh Dam and Joris Hulstijn and Ingolf Krueger and Ho-Pun Lam and Michael Meisinger and Pablo Noriega and Bastin Tony Roy Savarimuthu and Kartik Tadanki and Harko Verhagen and Serena Villata [MitwirkendeR]

    The Uses of Norms

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  15. Mendling, Jan [VerfasserIn]; Weber, Ingo [VerfasserIn]; van der Aalst, Wil M.P. [VerfasserIn]; vom Brocke, Jan [VerfasserIn]; Cabanillas, Cristina [VerfasserIn]; Daniel, Florian [VerfasserIn]; Debois, Søren [VerfasserIn]; Di Ciccio, Claudio [VerfasserIn]; Dumas, Marlon [VerfasserIn]; Dustdar, Schahram [VerfasserIn]; Gal, Avigdor [VerfasserIn]; García-Bañuelos, Luciano [VerfasserIn]; Governatori, Guido [VerfasserIn]; Hull, Richard [VerfasserIn]; La Rosa, Marcello [VerfasserIn]; Leopold, Henrik [VerfasserIn]; Leymann, Frank [VerfasserIn]; Recker, Jan C. [VerfasserIn]; Reichert, Manfred [VerfasserIn]; Reijers, Hajo A. [VerfasserIn]; Rinderle-Ma, Stefanie [VerfasserIn]; Solti, Andreas [VerfasserIn]; Rosemann, Michael [VerfasserIn]; Schulte, Stefan [VerfasserIn]; [...]

    Blockchains for Business Process Management - Challenges and Opportunities

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    ACM, 2018

  20. GOVERNATORI, GUIDO

    Reviews

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oxford University Press (OUP), 1997

    Erschienen in: Journal of Logic and Computation