Author: "Meyer, John-Jules Ch." - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Meyer, John-Jules Ch."' showing total 497 results

Start Over Author "Meyer, John-Jules Ch."

497 results on '"Meyer, John-Jules Ch."'

1. A Dynamic Preference Logic for reasoning about Agent Programming

Author: Souza, Marlo, Moreira, Álvaro, Vieira, Renata, and Meyer, John-Jules Ch.
Subjects: Computer Science - Multiagent Systems, Computer Science - Logic in Computer Science
Abstract: In this work, we investigate the use of Dynamic Preference Logic to encode BDI mental attitudes. Further, exploring this codification and the representation of preferences over possible worlds by preferences over propositional formulas, here called priority graphs, we comment on how to interpret BDI agent programs in this logic. Also, using the connection between dynamic operations defined over preference models and their encoding as transformations on priority graphs, we show how our logic can be used not only to reason about agent programs, but as a tool to specify reasoning mechanisms to guarantee certain properties in the theory of rationality for the programming language., Comment: piblished on BRACIS 2017
Published: 2019
Full Text: View/download PDF

2. Truly Visual Polymorphic Algebraic Data Structures through Maramafication

Author: Groenouwe, Chide, Nortier, Jesse, and Meyer, John-Jules Ch.
Subjects: Computer Science - Programming Languages, D.3.3, K.3.2, D.1.7
Abstract: This paper presents a so-called maramafication of an essential part of functional programming languages such as Haskell or Clean: the construction of fully polymorphic well-typed algebraic data structures based on type definitions with at most one type parameter. As such, this work extends our previous work, in which only a very limited form of polymorphism was present. Maramafication means the design of visual 'twins' of existing programming constructs using spatial metaphors rooted in common sense or inborn spatial intuition, to achieve self-explanatoriness. This is, among others, useful to considerably reduce the gap between programmers and non-programmers in the creation of programs, for educational purposes, for inclusion of non-typical programmers and for invoking enthusiasm among non-programmers.
Published: 2018

3. Conflicting intentions: rectifying the consistency requirements

Author: Duijf, Hein, Broersen, Jan, and Meyer, John-Jules Ch.
Published: 2019

4. Integrating Ontology Negotiation and Agent Communication

Author: Souza, Marlo, Moreira, Alvaro, Vieira, Renata, Meyer, John-Jules Ch., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Tamma, Valentina, editor, Dragoni, Mauro, editor, Gonçalves, Rafael, editor, and Ławrynowicz, Agnieszka, editor
Published: 2016
Full Text: View/download PDF

5. Formal Frameworks for Verifying Normative Multi-agent Systems

Author: Knobbout, Max, Dastani, Mehdi, Meyer, John-Jules Ch., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ábrahám, Erika, editor, Bonsangue, Marcello, editor, and Johnsen, Einar Broch, editor
Published: 2016
Full Text: View/download PDF

6. A two-phase method for extracting explanatory arguments from Bayesian networks

Author: Timmer, Sjoerd T., Meyer, John-Jules Ch., Prakken, Henry, Renooij, Silja, and Verheij, Bart
Published: 2017
Full Text: View/download PDF

7. Explaining Bayesian Networks Using Argumentation

Author: Timmer, Sjoerd T., Meyer, John-Jules Ch., Prakken, Henry, Renooij, Silja, Verheij, Bart, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Destercke, Sébastien, editor, and Denoeux, Thierry, editor
Published: 2015
Full Text: View/download PDF

8. Normative Multi-agent Programs and Their Logics

Author: Dastani, Mehdi, Grossi, Davide, Meyer, John-Jules Ch., Tinnemeier, Nick, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Meyer, John-Jules Ch., editor, and Broersen, Jan, editor
Published: 2009
Full Text: View/download PDF

9. Dynamic Deontic Logic, Segerberg-Style

Author: Meyer, John-Jules Ch., Hansson, Sven Ove, Editor-in-chief, and Trypuz, Robert, editor
Published: 2014
Full Text: View/download PDF

10. Programming Agents with Emotions

Author: Dastani, Mehdi, Floor, Christiaan, Meyer, John-Jules Ch., Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Bosse, Tibor, editor, Broekens, Joost, editor, Dias, João, editor, and van der Zwaan, Janneke, editor
Published: 2014
Full Text: View/download PDF

11. Reasoning about Dynamic Normative Systems

Author: Knobbout, Max, Dastani, Mehdi, Meyer, John-Jules Ch., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Siekmann, Jörg, Series editor, Fermé, Eduardo, editor, and Leite, João, editor
Published: 2014
Full Text: View/download PDF

12. Counts-as: Classification or Constitution? An Answer Using Modal Logic

Author: Grossi, Davide, Meyer, John-Jules Ch., Dignum, Frank, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goble, Lou, editor, and Meyer, John-Jules Ch., editor
Published: 2006
Full Text: View/download PDF

13. Objects, Agents, and Features: An Introduction

Author: Meyer, John-Jules Ch., Ryan, Mark D., Ehrich, Hans-Dieter, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Ryan, Mark D., editor, Meyer, John-Jules Ch., editor, and Ehrich, Hans-Dieter, editor
Published: 2004
Full Text: View/download PDF

14. Coordinating Agents in OO

Author: de Boer, Frank S., Pierik, Cees, van Eijk, Rogier M., Meyer, John-Jules Ch., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Ryan, Mark D., editor, Meyer, John-Jules Ch., editor, and Ehrich, Hans-Dieter, editor
Published: 2004
Full Text: View/download PDF

15. Preferential Action Semantics

Author: Meyer, John-Jules Ch., Doherty, Patrick, Gabbay, Dov M., editor, Smets, Philippe, editor, Meyer, John-Jules Ch., editor, and Treur, Jan, editor
Published: 2002
Full Text: View/download PDF

16. Formalising Abilities and Opportunities of Agents

Author: van Linder, Bernd, van der Hoek, Wiebe, Meyer, John-Jules CH., Gabbay, Dov M., editor, Smets, Philippe, editor, Meyer, John-Jules Ch., editor, and Treur, Jan, editor
Published: 2002
Full Text: View/download PDF

17. Seeing is Believing and So are Hearing and Jumping

Author: van der Hoek, Wiebe, Meyer, John-Jules Ch., van Linder, Bernd, Gabbay, Dov M., editor, Smets, Philippe, editor, Meyer, John-Jules Ch., editor, and Treur, Jan, editor
Published: 2002
Full Text: View/download PDF

18. Introduction

Author: Meyer, John-Jules Ch., Treur, Jan, Gabbay, Dov M., editor, Smets, Philippe, editor, Meyer, John-Jules Ch., editor, and Treur, Jan, editor
Published: 2002
Full Text: View/download PDF

19. The Dynamics of Default Reasoning

Author: van Linder, Bernd, van der Hoek, Wiebe, Meyer, John-Jules Ch., Gabbay, Dov M., editor, Smets, Philippe, editor, Meyer, John-Jules Ch., editor, and Treur, Jan, editor
Published: 2001
Full Text: View/download PDF

20. Introduction

Author: Meyer, John-Jules Ch., Treur, Jan, Gabbay, Dov M., editor, Smets, Philippe, editor, Meyer, John-Jules Ch., editor, and Treur, Jan, editor
Published: 2001
Full Text: View/download PDF

21. A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios

Author: Kok, Eric M., Meyer, John-Jules Ch., van Oostendorp, Herre, Prakken, Henry, Vreeswijk, Gerard A. W., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Cossentino, Massimo, editor, Kaisers, Michael, editor, Tuyls, Karl, editor, and Weiss, Gerhard, editor
Published: 2012
Full Text: View/download PDF

22. Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation

Author: Gratie, Cristian, Florea, Adina Magda, Meyer, John-Jules Ch., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Fisher, Michael, editor, van der Torre, Leon, editor, Dastani, Mehdi, editor, and Governatori, Guido, editor
Published: 2012
Full Text: View/download PDF

23. GOAL Agents Instantiate Intention Logic

Author: Hindriks, Koen V., van der Hoek, Wiebe, Meyer, John-Jules Ch., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Artikis, Alexander, editor, Craven, Robert, editor, Kesim Çiçekli, Nihan, editor, Sadighi, Babak, editor, and Stathis, Kostas, editor
Published: 2012
Full Text: View/download PDF

24. A Formal Argumentation Framework for Deliberation Dialogues

Author: Kok, Eric M., Meyer, John-Jules Ch., Prakken, Henry, Vreeswijk, Gerard A. W., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, McBurney, Peter, editor, Rahwan, Iyad, editor, and Parsons, Simon, editor
Published: 2011
Full Text: View/download PDF

25. Scenario-Based Training: Director’s Cut

Author: Peeters, Marieke, van den Bosch, Karel, Meyer, John-Jules Ch., Neerincx, Mark A., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Biswas, Gautam, editor, Bull, Susan, editor, Kay, Judy, editor, and Mitrovic, Antonija, editor
Published: 2011
Full Text: View/download PDF

26. Formal Models of Agents: An Introduction

Author: Meyer, John-Jules Ch., Schobbens, Pierre-Yves, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Meyer, John-Jules Ch., editor, and Schobbens, Pierre-Yves, editor
Published: 1999
Full Text: View/download PDF

27. Preferential Action Semantics (Preliminary Report)

Author: Meyer, John-Jules Ch., Doherty, Patrick, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Meyer, John-Jules Ch., editor, and Schobbens, Pierre-Yves, editor
Published: 1999
Full Text: View/download PDF

28. Debugging BDI-Based Multi-Agent Programs

Author: Dastani, Mehdi, Brandsema, Jaap, Dubel, Amco, Meyer, John-Jules Ch., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Braubach, Lars, editor, Briot, Jean-Pierre, editor, and Thangarajah, John, editor
Published: 2010
Full Text: View/download PDF

29. Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems

Author: Turrini, Paolo, Grossi, Davide, Broersen, Jan, Meyer, John-Jules Ch., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Governatori, Guido, editor, and Sartor, Giovanni, editor
Published: 2010
Full Text: View/download PDF

30. Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games

Author: Sindlar, Michal P., Dastani, Mehdi M., Dignum, Frank, Meyer, John-Jules Ch., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Baldoni, Matteo, editor, Bentahar, Jamal, editor, van Riemsdijk, M. Birna, editor, and Lloyd, John, editor
Published: 2010
Full Text: View/download PDF

31. The design and effect of automated directions during scenario-based training

Author: Peeters, Marieke, van den Bosch, Karel, Meyer, John-Jules Ch., and Neerincx, Mark A.
Published: 2014
Full Text: View/download PDF

32. A Formal Model of Emotion-Based Action Tendency for Intelligent Agents

Author: Steunebrink, Bas R., Dastani, Mehdi, Meyer, John-Jules Ch., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Lopes, Luís Seabra, editor, Lau, Nuno, editor, Mariano, Pedro, editor, and Rocha, Luís M., editor
Published: 2009
Full Text: View/download PDF

33. A Study into Preferred Explanations of Virtual Agent Behavior

Author: Harbers, Maaike, van den Bosch, Karel, Meyer, John-Jules Ch., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Ruttkay, Zsófia, editor, Kipp, Michael, editor, Nijholt, Anton, editor, and Vilhjálmsson, Hannes Högni, editor
Published: 2009
Full Text: View/download PDF

34. BDI-Based Development of Virtual Characters with a Theory of Mind

Author: Sindlar, Michal P., Dastani, Mehdi M., Meyer, John-Jules Ch., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Ruttkay, Zsófia, editor, Kipp, Michael, editor, Nijholt, Anton, editor, and Vilhjálmsson, Hannes Högni, editor
Published: 2009
Full Text: View/download PDF

35. Orwell’s Nightmare for Agents? Programming Multi-agent Organisations

Author: Tinnemeier, Nick A. M., Dastani, Mehdi, Meyer, John-Jules Ch., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Hindriks, Koen V., editor, Pokahr, Alexander, editor, and Sardina, Sebastian, editor
Published: 2009
Full Text: View/download PDF

36. Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms

Author: van der Vecht, Bob, Dignum, Frank, Meyer, John-Jules Ch., Dignum, Virginia, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Hübner, Jomi Fred, editor, Matson, Eric, editor, Boissier, Olivier, editor, and Dignum, Virginia, editor
Published: 2009
Full Text: View/download PDF

37. Personality-Based Practical Reasoning

Author: van der Weide, Thomas L., Dignum, Frank, Meyer, John-Jules Ch., Prakken, Henry, Vreeswijk, Gerard A. W., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Rahwan, Iyad, editor, and Moraitis, Pavlos, editor
Published: 2009
Full Text: View/download PDF

38. Strategic Agent Communication: An Argumentation-Driven Approach

Author: Bentahar, Jamal, Mbarki, Mohamed, Meyer, John-Jules Ch., Moulin, Bernard, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baldoni, Matteo, editor, Son, Tran Cao, editor, van Riemsdijk, M. Birna, editor, and Winikoff, Michael, editor
Published: 2009
Full Text: View/download PDF

39. Mental State Abduction of BDI-Based Agents

Author: Sindlar, Michal P., Dastani, Mehdi M., Dignum, Frank, Meyer, John-Jules Ch., Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baldoni, Matteo, editor, Son, Tran Cao, editor, van Riemsdijk, M. Birna, editor, and Winikoff, Michael, editor
Published: 2009
Full Text: View/download PDF

40. A Deontic Logic for Socially Optimal Norms

Author: Broersen, Jan, Mastop, Rosja, Meyer, John-Jules Ch., Turrini, Paolo, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, van der Meyden, Ron, editor, and van der Torre, Leendert, editor
Published: 2008
Full Text: View/download PDF

41. A Logic for Closed-World Interaction

Author: Broersen, Jan, Mastop, Rosja, Meyer, John-Jules Ch., Turrini, Paolo, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Hölldobler, Steffen, editor, Lutz, Carsten, editor, and Wansing, Heinrich, editor
Published: 2008
Full Text: View/download PDF

42. Goal Selection Strategies for Rational Agents

Author: Tinnemeier, Nick A. M., Dastani, Mehdi, Meyer, John-Jules Ch., Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Dastani, Mehdi, editor, El Fallah Seghrouchni, Amal, editor, Leite, João, editor, and Torroni, Paolo, editor
Published: 2008
Full Text: View/download PDF

43. A Practical Agent Programming Language

Author: Dastani, Mehdi, Meyer, John-Jules Ch., Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Dastani, Mehdi, editor, El Fallah Seghrouchni, Amal, editor, Ricci, Alessandro, editor, and Winikoff, Michael, editor
Published: 2008
Full Text: View/download PDF

44. From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions

Author: Aldewereld, Huib, Dignum, Frank, Meyer, John-Jules Ch., Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Dastani, Mehdi, editor, El Fallah Seghrouchni, Amal, editor, Ricci, Alessandro, editor, and Winikoff, Michael, editor
Published: 2008
Full Text: View/download PDF

45. A Dynamic Coordination Mechanism Using Adjustable Autonomy

Author: van der Vecht, Bob, Dignum, Frank, Meyer, John-Jules Ch., Neef, Martijn, Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Sichman, Jaime Simão, editor, Padget, Julian, editor, Ossowski, Sascha, editor, and Noriega, Pablo, editor
Published: 2008
Full Text: View/download PDF

46. Influence-Based Autonomy Levels in Agent Decision-Making

Author: van der Vecht, Bob, Meyer, André P., Neef, Martijn, Dignum, Frank, Meyer, John-Jules Ch., Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Noriega, Pablo, editor, Vázquez-Salceda, Javier, editor, Boella, Guido, editor, Boissier, Olivier, editor, Dignum, Virginia, editor, Fornara, Nicoletta, editor, and Matson, Eric, editor
Published: 2007
Full Text: View/download PDF

47. Our Quest for the Holy Grail of Agent Verification

Author: Meyer, John-Jules Ch., Carbonell, Jaime G., editor, Siekmann, Jörg, editor, and Olivetti, Nicola, editor
Published: 2007
Full Text: View/download PDF

48. Agent Logics as Program Logics: Grounding KARO

Author: Hindriks, Koen V., Meyer, John-Jules Ch., Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Freksa, Christian, editor, Kohlhase, Michael, editor, and Schill, Kerstin, editor
Published: 2007
Full Text: View/download PDF

49. Prototyping 3APL in the Maude Term Rewriting Language

Author: van Riemsdijk, M. Birna, de Boer, Frank S., Dastani, Mehdi, Meyer, John-Jules Ch., Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Inoue, Katsumi, editor, Satoh, Ken, editor, and Toni, Francesca, editor
Published: 2007
Full Text: View/download PDF

50. A New Logical Semantics for Agent Communication

Author: Bentahar, Jamal, Moulin, Bernard, Meyer, John-Jules Ch., Lespérance, Yves, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Inoue, Katsumi, editor, Satoh, Ken, editor, and Toni, Francesca, editor
Published: 2007
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Database

Publisher

497 results on '"Meyer, John-Jules Ch."'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources