13 found
Sort by:
Disambiguations:
John-jules Meyer [10]John-Jules Ch Meyer [3]
  1. John-Jules Ch Meyer (2013). Andy Egan and Brian Weatherson, Eds. , Epistemic Modality . Reviewed By. Philosophy in Review 33 (1):29-30.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Mehdi Dastani, John-Jules Meyer & Nick Tinnemeier (2012). Programming Norm Change. Journal of Applied Non-Classical Logics 22 (1-2):151-180.
    To adequately deal with unpredictable and dynamic environments, normative frameworks typically deployed in mechanisms for modifying the norms at runtime are crucial. We present the syntax and operational semantics of programming constructs to facilitate runtime norm modification, allowing a programmer to specify when and how the norms may be changed by external agents or by the normative mechanism. The norms take on the form of conditional obligations and prohibitions, instantiating obligations and prohibitions. We present rule-based constructs for runtime modification of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Bas R. Steunebrink, Mehdi Dastani & John-Jules Ch Meyer (2012). A Formal Model of Emotion Triggers: An Approach for BDI Agents. Synthese 185 (S1):83-129.
    This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. The insights gained therefrom are used to guide a formalization of emotion triggers, which proceeds in three stages. The first stage captures the conditions that trigger emotions in a semiformal way, i.e., without committing to an underlying formalism and semantics. The second stage captures the main psychological notions used in the emotion model (...)
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Paolo Turrini, Jan Broersen, Rosja Mastop & John-Jules Meyer (2012). Regulating Competing Coalitions: A Logic for Socially Optimal Group Choices. Journal of Applied Non-Classical Logics 22 (1-2):181-202.
    In Multi Agent Systems it is often the case that individual preferences are not compatible and coalitions compete to achieve a given result. The paper presents a language to talk about the conflict between coalitional choices and it expresses deontic notions to evaluate them. We will be specifically concerned with cases where the collective perspective is at odds with the individual perspective.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Jan Broersen, Rosja Mastop, John-Jules Meyer & Paolo Turrini (2009). Determining the Environment: A Modal Logic for Closed Interaction. Synthese 169 (2):351 - 369.
    The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both stemming from Pauly Representation Theorem. We will identify such restrictions and axiomatize their logic. We will apply the formal tools to (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk & John-Jules Meyer (2007). Ontology Negotiation in Heterogeneous Multi-Agent Systems: The Anemone System. Applied Ontology 2 (3):267-303.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Arjen Hommersom, John-jules Meyer & Erik De vink (2004). Update Semantics of Security Protocols. Synthese 142 (2):229 - 267.
    We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agents’ beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Arjen Hommersom, John-Jules Meyer & Erik De Vink (2004). Update Semantics of Security Protocols. Synthese 142 (2):229 - 267.
    We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agent's beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. John-Jules Meyer (2001). Epistemic Logic. In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell.
     
    My bibliography  
     
    Export citation  
  10. Wiebe van Der Hoek, Bernd Van Linder & John-Jules Meyer (2000). On Agents That Have the Ability to Choose. Studia Logica 66 (1):79 - 119.
    We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Wiebe van der Hoek, Bernd van Linder & John-Jules Meyer (2000). On Agents That Have the Ability to Choose. Studia Logica 66 (1):79-119.
    We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Wiebe van der Hoek, John-Jules Meyer & Jan Treur (1998). Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information 7 (3):341-367.
    We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the meta-level (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Piero D'Altan, John-Jules Ch Meyer & Roelf Johannes Wieringa (1996). An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artificial Intelligence and Law 4 (2):77-111.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation