John-jules Charles Meyer
#141,314
Most Influential Person Now
John-jules Charles Meyer's AcademicInfluence.com Rankings
John-jules Charles Meyercomputer-science Degrees
Computer Science
#6796
World Rank
#7161
Historical Rank
Database
#3874
World Rank
#4030
Historical Rank

Download Badge
Computer Science
Why Is John-jules Charles Meyer Influential?
(Suggest an Edit or Addition)John-jules Charles Meyer's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Epistemic logic for AI and computer science (1995) (688)
- A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic (1987) (448)
- Agent Programming in 3APL (1999) (370)
- Deontic logic in computer science: normative system specification (1994) (316)
- A Programming Language for Cognitive Agents Goal Directed 3APL (2003) (195)
- A Logical Approach to the Dynamics of Commitments (1999) (157)
- Intelligent Agents VIII (2002) (147)
- Boolean games (2001) (146)
- Programming Multi-Agent Systems in 3APL (2005) (141)
- Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange (2013) (137)
- Adaptive Emotional Expression in Robot-Child Interaction (2014) (137)
- Designing a Deontic Logic of Deadlines (2004) (121)
- Reasoning about emotional agents (2004) (120)
- Specifying Dynamic and Deontic Integrity Constraints (1989) (119)
- Normative Multi-agent Programs and Their Logics (2009) (112)
- Formal Semantics for an Abstract Agent Programming Language (1997) (111)
- Programming agent deliberation: an approach illustrated using the 3APL language (2003) (104)
- Formalising Abilities and Opportunities of Agents (1998) (99)
- Formal Specification of Interaction in Agent Societies (2002) (98)
- The Role of Deontic Logic in the Specification of Information Systems (1998) (89)
- Enacting and Deacting Roles in Agent Programming (2004) (89)
- The OCC Model Revisited (2009) (83)
- Linear Time and Branching Time Semantics for Recursion with Merge (1983) (82)
- A verification framework for agent programming with declarative goals (2007) (80)
- Agent programming in dribble: from beliefs to goals using plans (2003) (80)
- Meeting the Deadline: Why, When and How (2004) (80)
- A Logic of Emotions for Intelligent Agents (2007) (79)
- Do You Get It? User-Evaluated Explainable BDI Agents (2010) (75)
- ANEMONE: an effective minimal ontology negotiation environment (2006) (73)
- Towards an organizational model for agent societies using contracts (2002) (70)
- Formalising Motivational Attitudes of Agents (1995) (68)
- A Logic of Capabilities (1994) (68)
- Goal types in agent programming (2006) (66)
- A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation (1996) (65)
- A Programming Language for Normative Multi-Agent Systems (2009) (63)
- Contrasting Themes in the Semantics of Imperative Concurrency (1986) (63)
- Virtual Reality Negotiation Training Increases Negotiation Knowledge and Skill (2012) (60)
- A two-phase method for extracting explanatory arguments from Bayesian networks (2017) (60)
- An integrated framework for ought-to-be and ought-to-do constraints (1996) (59)
- A formal model of emotion triggers: an approach for BDI agents (2012) (59)
- Semantics of declarative goals in agent programming (2005) (59)
- An Organization-oriented Model for Agent Societies (2008) (59)
- A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects (2008) (56)
- An agent-mediated approach to the support of knowledge sharing in organizations (2004) (55)
- Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning (2016) (53)
- A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning (2011) (52)
- Design and Evaluation of Explainable BDI Agents (2010) (52)
- A Modal Characterization of Nash Equilibrium (2003) (51)
- Actions That Make You Change Your Mind (Extended Abstract) (1995) (51)
- Issues in multiagent system development (2004) (50)
- Programming Agents with Emotions (2006) (49)
- Making Some Issues of Implicit Knowledge Explicit (1992) (48)
- Affective negotiation support systems (2010) (48)
- The logic of action (2009) (47)
- A logical model for commitment and argument network for agent communication (2004) (47)
- Metric semantics for concurrency (1988) (46)
- Graded Modalities in Epistemic Logic (1992) (46)
- Control Structures of Rule-Based Agent Languages (1998) (45)
- A Practical Agent Programming Language (2007) (45)
- Introducing surprising events can stimulate deep learning in a serious game (2013) (44)
- Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases (1995) (44)
- Goal-oriented modularity in agent programming (2006) (44)
- Goals in conflict: semantic foundations of goals in agent programming (2009) (44)
- A Formal Embedding of AgentSpeak(L) in 3APL (1998) (44)
- Roles and norms for programming agent organizations (2009) (44)
- Classificatory Aspects of Counts-as: An Analysis in Modal Logic (2006) (43)
- Programming Normative Artifacts with Declarative Obligations and Prohibitions (2009) (43)
- Programming norm change (2010) (42)
- Programming Deliberative Agents for Mobile Services: The 3APL-M Platform (2005) (41)
- The many faces of counts-as: A formal analysis of constitutive rules (2008) (41)
- Counts-as: Classification or Constitution? An Answer Using Modal Logic (2006) (41)
- Dynamics of Declarative Goals in Agent Programming (2004) (41)
- Specification and Verification of Multi-agent Systems (2010) (41)
- A Formal Argumentation Framework for Deliberation Dialogues (2010) (41)
- A Logic of Agent Programs (2007) (40)
- Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency (1988) (40)
- Intelligent agents and common sense reasoning (2007) (39)
- A Dynamic Coordination Mechanism Using Adjustable Autonomy (2007) (39)
- Semantics of Communicating Agents Based on Deduction and Abduction (2000) (39)
- Deontic Logic and Artificial Normative Systems (2008) (38)
- Free choice and contextually permitted actions (1996) (38)
- Group knowledge is not always distributed (neither is it always implicit) ? ? This is an improved an (1999) (38)
- On dynamically generated ontology translators in agent communication * (2001) (37)
- Ontology negotiation: goals, requirements and implementation (2007) (36)
- Autonomy and Agent Deliberation (2003) (36)
- Tests as Epistemic Updates (1994) (35)
- Agent Technology (2008) (35)
- Prototyping 3APL in the Maude term rewriting language (2006) (35)
- Communicating Rational Agents (1994) (33)
- Mental State Abduction of BDI-Based Agents (2008) (32)
- Practical extensions in agent programming languages (2007) (32)
- Model checking communicative agent-based systems (2007) (31)
- Modeling Agents with a Theory of Mind (2009) (30)
- Knowledge Representation for Agents and Multi-Agent Systems (2009) (30)
- Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts (2002) (30)
- Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system (2007) (30)
- Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing (2011) (30)
- Collective Obligations and Agents: Who Gets the Blame? (2004) (30)
- Optimal Communication Vocabularies and Heterogeneous Ontologies (2004) (29)
- A Formal Model of Emotion-Based Action Tendency for Intelligent Agents (2009) (29)
- Operational Semantics for Agent Communication Languages (2000) (29)
- Information-passing and belief-revision in multi-agent systems (1998) (29)
- A New Logical Semantics for Agent Communication (2006) (29)
- Dynamic Database Logic: the First-order Case (1992) (29)
- A Study into Preferred Explanations of Virtual Agent Behavior (2009) (28)
- A Verification Framework for Agent Communication (2003) (28)
- Explaining Bayesian Networks Using Argumentation (2015) (28)
- Modal logic investigations in the semantics of counts-as (2005) (28)
- Practical Reasoning Using Values (2009) (28)
- A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation (2015) (27)
- Kammeyer \Comparison of one-and two-channel noise-estimation techniques (1997) (27)
- Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency (1985) (27)
- Contextual Taxonomies (2004) (26)
- Modal Epistemic and Doxastic Logic (2003) (26)
- Formal Models of Agents (1999) (26)
- Rational Teams: Logical Aspects of Multi-Agent Systems (2004) (26)
- A Specification Language for Static, Dynamic and Deontic Integrity Constraints (1989) (25)
- Actors, actions, and initiative in normative system specification (1993) (25)
- A Methodology for Developing Self-Explaining Agents for Virtual Training (2009) (25)
- Update Semantics of Security Protocols (2004) (25)
- Open Multi-agent Systems: Agent Communication and Integration (1999) (25)
- Production Scheduling in an Agile Agent-Based Production Grid (2012) (23)
- Reo Connectors as Coordination Artifacts in 2APL Systems (2008) (23)
- On the Semantics and Verification of Normative Multi-Agent Systems (2009) (22)
- Non-Monotonic Reasoning by Monotonic Means (1990) (22)
- On Modal Logic Interpretations of Games (2002) (22)
- A Computational Model for Conversation Policies for Agent Communication (2004) (22)
- Verification within the KARO Agent Theory (2000) (22)
- On Programming KARO Agents (2001) (22)
- Transition systems, infinitary languages and the semantics of uniform concurrency (1985) (21)
- Correctness of Programs with Function Procedures (1981) (21)
- A fully abstract model for the exchange of information in multi-agent systems (2003) (21)
- Towards a Delegation Framework for Aerial Robotic Mission Scenarios (2007) (21)
- Iterated belief change in multi-agent systems (2002) (21)
- Agent Programming Languages Requirements for Programming Autonomous Robots (2012) (21)
- Orwell's Nightmare for Agents? Programming Multi-agent Organisations (2009) (20)
- A Fixed-point Characterization of a Deontic Logic of Regular Action (2001) (20)
- Coping with shame and sense of guilt: a Dynamic Logic Account (2010) (20)
- Reasoning about emotional agents: Research Articles (2006) (20)
- Order and metric in the stream semantics of elemental concurrency (1987) (19)
- Reasoning about agents in the KARO framework (2001) (19)
- A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication (2004) (19)
- Applications of Compactness in the Smyth Powerdomain of Streams (1988) (19)
- On Infinite Computations in Denotational Semantics (1983) (19)
- Agent Programming in Dribble: From Beliefs to Goals with Plans (2002) (19)
- Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid (2015) (19)
- Formal Semantics of Temporal Epistemic Reflection (1994) (19)
- Reasoning about agent deliberation (2008) (19)
- The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? (1991) (18)
- Towards a Market Mechanism for Airport Traffic Control (2005) (18)
- Emotions to control agent deliberation (2010) (18)
- A grounded specification language for agent programs (2007) (18)
- A logic for normative multi-agent programs (2013) (18)
- Objects, Agents, and Features (2004) (18)
- A Verification Framework for Normative Multi-Agent Systems (2008) (18)
- Multi-criteria Argument Selection in Persuasion Dialogues (2011) (18)
- A New Quantitative Trust Model for Negotiating Agents using Argumentation (2007) (18)
- Guidelines for developing explainable cognitive models (2010) (18)
- Explaining Simulations Through Self Explaining Agents (2010) (18)
- Extracting Legal Arguments from Forensic Bayesian Networks (2014) (17)
- Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings (2006) (17)
- A Default Logic Based on Epistemic States (1993) (17)
- On Agents That Have the Ability to Choose (2000) (17)
- Contextual Terminologies (2005) (17)
- Agent Logics as Program Logics: Grounding KARO (2006) (17)
- A Dynamic Logic of Norm Change (2016) (16)
- Toward a programming theory for rational agents (2009) (16)
- An ontology for automated scenario-based training (2014) (16)
- Merging Regular Processes by Means of Fixed-Point Theory (1986) (16)
- Achieving cooperation among selfish agents in the air traffic management domain using signed money (2007) (15)
- Semantics of plan revision in intelligent agents (2006) (15)
- Dynamic Task Allocation for Human-robot Teams (2015) (15)
- Process Algebra for Agent Communication: A General Semantic Approach (2003) (15)
- A Deontic Logic for Socially Optimal Norms (2008) (15)
- Modeling agents with a theory of mind: Theory-theory versus simulation theory (2012) (14)
- The design and effect of automated directions during scenario-based training (2014) (14)
- Autonomy and Coordination: Controlling External Influences on Decision Making (2009) (14)
- BDI-Based Development of Virtual Characters with a Theory of Mind (2009) (14)
- Systems of Communicating Agents (1998) (14)
- Dynamic Logic for Plan Revision in Intelligent Agents (2004) (14)
- Verifying Norm Compliancy of Protocols (2005) (14)
- A Programming Logic for Part of the Agent Language 3APL (2000) (14)
- Event-processing in autonomous robot programming (2013) (14)
- Debugging BDI-Based Multi-Agent Programs (2009) (14)
- Revised Papers from the 8th International Workshop on Intelligent Agents VIII (2001) (14)
- Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms (2009) (14)
- A Generic Architecture for a Companion Robot (2018) (14)
- Seeing Is Believing (1997) (13)
- Subgoal Semantics in Agent Programming (2005) (13)
- Embedded autonomous agents in products supporting repair and recycling (2013) (13)
- Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach (2007) (13)
- A formal road from institutional norms to organizational structures (2007) (13)
- Programming mental state abduction (2011) (13)
- Combining Normal Communication with Ontology Alignment (2006) (13)
- Reasoning about Dynamic Normative Systems (2014) (13)
- Informational independence: Models and normal forms (1998) (13)
- Explanation in Human-Agent Teamwork (2011) (13)
- The Dynamics of Default Reasoning (Extended Abstract) (1995) (12)
- On Specifying Sets of Integers (1984) (12)
- Norms in Distributed Organizations (2013) (12)
- Dynamics and Management of Reasoning Processes (2001) (12)
- Dialogue Games for Inconsistent and Biased Information (2004) (12)
- Agent Languages and Their Relationship to Other Programming Paradigms (1998) (12)
- Explanation and Coordination in Human-Agent Teams: A Study in the BW4T Testbed (2011) (12)
- Monitoring Agents in Complex Products - Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster Prevention (2013) (11)
- Generalised Object-Oriented Concepts for Inter-agent Communication (2000) (11)
- Norm compliance of protocols in electronic institutions (2005) (11)
- The Dynamics of Default Reasoning (1997) (11)
- Failure Semantics for the Exchange of Information in Multi-Agent Systems (1999) (11)
- Internet of Smart Things - A Study on Embedding Agents and Information in a Device (2016) (11)
- Actor-Oriented Specification of Deontic Integrity Constraints (1991) (11)
- A formal account of opportunism based on the situation calculus (2017) (10)
- Agents with emotions (2010) (10)
- Regular database update logics (2001) (10)
- Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract) (1989) (10)
- Release Logics for Temporalizing Dynamic Logic (2000) (10)
- A formal model of procrastination (2013) (10)
- Arguing about Preferences and Decisions (2010) (10)
- A security framework for agent-based systems (2007) (10)
- Norms, organizations, and semantics (2012) (10)
- A Complete Epistemic Logic for Multiple Agents (1997) (10)
- Goal Selection Strategies for Rational Agents (2008) (9)
- Norm Monitoring Through Observation Sharing (2014) (9)
- Actor-Oriented System Specification with Dynamic Logic (1991) (9)
- Reasoning about plan revision in BDI agent programs (2011) (9)
- Reasoning About Opportunistic Propensity in Multi-agent Systems (2017) (9)
- Efficiency and Fairness in Air Traffic Control (2005) (9)
- I/O-computable data structures (1981) (9)
- Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires (2017) (9)
- Agents in Domestic Environments (2013) (8)
- Knowledge-based Autonomous Agents for Pervasive Computing Using AgentLight (2003) (8)
- Rational Agents That Blush (2007) (8)
- A Simulation Model for Transport in a Grid-based Manufacturing System (2014) (8)
- Toward Artificial Sapience, Principles and Methods for Wise Systems (2008) (8)
- Autonomous Agents Adopting Organizational Rules (2009) (8)
- Simulation of Multiagent-Based Agile Manufacturing (2011) (8)
- Model Checking Normative Agent Organisations (2009) (8)
- Testing the benfits of structured argumentation in multi-agent deliberation dialogues (2012) (8)
- Influence-Based Autonomy Levels in Agent Decision-Making (2006) (8)
- Agent-Based Defeasible Control in Dynamic Environments (2002) (8)
- Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July ... (Lecture Notes in Computer Science) (2006) (7)
- A Truly Concurrent Model for Interacting Agents (2001) (7)
- Scenario-Based Training: Director's Cut (2011) (7)
- On the Logic of Delegation - Relating Theory and Practice (2012) (7)
- A Compositional Semantics of Plan Revision in Intelligent Agents (2006) (7)
- Personality-Based Practical Reasoning (2009) (7)
- Automatic Structured Decomposition of Manufacturing Actions in an Agent-Based Manufacturing System (2013) (7)
- Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games (2009) (7)
- Designing protocols for agent institutions (2007) (7)
- Situated cognitive engineering : the requirements and design of directed scenario-based training (2011) (7)
- Enhancing training by using agents with a theory of mind (2009) (7)
- Preference and Priorities: A Study Based on Contrction (2016) (6)
- A Versatile Agile Agent-Based Infrastructure for Hybrid Production Environments (2013) (6)
- Ontology-based knowledge acquidition for knowledge systems (2002) (6)
- Temporalizing Epistemic Default Logic (1998) (6)
- An Epistemic Proof System for Parallel Processes (1994) (6)
- Situated cognitive engineering : the requirements and design of automatically directed scenario-based training (2012) (6)
- Process algebra and constraint programming for modeling interactions in MAS (2005) (6)
- Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions (2014) (6)
- Automated Scenario Generation - Coupling Planning Techniques with Smart Objects (2012) (6)
- Emotions as Heuristics for Rational Agents (2007) (6)
- A Programming Language for Coordinating Group Actions (2001) (6)
- Ontology-Based Knowledge Acquisition for Knowledge Systems (2002) (6)
- Intentions and Assignments (2009) (6)
- Reasoning about agent execution strategies (2008) (6)
- A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication (2005) (5)
- CÒIR: Verifying Normative Specifications of Complex Systems (2015) (5)
- Our Quest for the Holy Grail of Agent Verification (2007) (5)
- Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents (2013) (5)
- Agile product manufacturing by dynamically generating control instructions (2013) (5)
- A dialogue game to offer an agreement to disagree (2004) (5)
- Dynamic Logic for Plan Revision in Agent Programming (2006) (5)
- Formal semantics of meta‐level architectures: Temporal epistemic reflection (2003) (5)
- Determining the environment: a modal logic for closed interaction (2009) (4)
- An Update Operator for Strategic Ability (2009) (4)
- Getting a Grip on Emotions in Negotiations: The Possibilities of ICT (2009) (4)
- From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions (2007) (4)
- Affordance-Based Intention Recognition in Virtual Spatial Environments (2010) (4)
- Agents with a Theory of Mind in Virtual Training (2011) (4)
- Strategic Agent Communication: An Argumentation-Driven Approach (2008) (4)
- Agent-Oriented Programming: Where Do We Stand? (2004) (4)
- Preferential Action Semantics (Preliminary Report) (1997) (4)
- Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation (2015) (4)
- Towards an Epistemic Approach to Reasoning about Concurrent Programs (1992) (4)
- A modal contrastive logic: The logic of ‘but’ (1996) (4)
- Explaining Legal Bayesian Networks Using Support Graphs (2015) (4)
- Validity of a Virtual Negotiation Training (2011) (4)
- Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems (2010) (4)
- Testing the benefits of structured argumentation in multi-agent deliberation dialogues (extended abstract) (2012) (4)
- Formal Models of Agents: An Introduction (1997) (4)
- Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents (1999) (4)
- A New Model Checking Approach for Verifying Agent Communication Protocols (2006) (4)
- Reasoning on Robot Knowledge from Discrete and Asynchronous Observations (2014) (4)
- Modalities for reasoning about knowledge and uncertainties (1996) (4)
- Agent Programming Languages Requirements for Programming Cognitive Robots (extended abstract) (2012) (4)
- Monitoring Opportunism in Multi-agent Systems (2016) (4)
- A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios (2011) (4)
- Hierarchical management of a heterarchical manufacturing grid (2014) (4)
- Iterated belief change in mas (2002) (4)
- Towards Programming Multimodal Dialogues (2007) (3)
- An Agent-Based Model of Procrastination (2014) (3)
- Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as. (2005) (3)
- Capturing critical questions in Bayesian network fragments (2015) (3)
- A Dynamic Preference Logic for Reasoning about Agent Programming (2017) (3)
- A Multiagent-Based Agile Work Distribution System (2013) (3)
- The Efficacy of Administration Accommodations in Removing Performance Barriers for Limited English Proficient Students on the Florida Comprehensive Assessment Test (FCAT) (2001) (3)
- A Theoretical Framework for Explaining Agent Behavior (2011) (3)
- A Logic for Closed-World Interaction (2008) (3)
- Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II (1994) (3)
- Mental State Ascription Using Dynamic Logic (2010) (3)
- An integrated neural-symbolic cognitive agent architecture for training and assessment in simulators (2010) (3)
- A Versatile Simulation Model of Agile Production by Autonomous Systems (2017) (3)
- Clarifying Incoherence in Games (2018) (3)
- Integrating Ontology Negotiation and Agent Communication (2015) (2)
- Modal Logic with Bounded Quantification over Worlds (2001) (2)
- Formal Frameworks for Verifying Normative Multi-agent Systems (2016) (2)
- On the Logic of Constitutive Rules (2007) (2)
- An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems: (2014) (2)
- Distributed and heterarchical control for Grid Manufacturing (2013) (2)
- Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production Paths (2014) (2)
- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation (2012) (2)
- Counterfactual reasoning by (means of) defaults (1993) (2)
- Neural-symbolic cognitive agents: architecture, theory and application (2014) (2)
- Step semantics for “true” concurrency with recursion (1989) (2)
- Procedural generation of populations for storytelling (2016) (2)
- A Modal Logic for Network Topologies (2000) (2)
- A Semantics for Persistency in Propositional Dynamic Logic (2000) (2)
- Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract) (1987) (2)
- A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems (2008) (2)
- Verifying Normative System Specification containing Collective Imperatives and Deadlines (2015) (2)
- Agent-Based Personalisation and User Modeling for Personalised Educational Games (2016) (2)
- Optimizing Product Paths in a Production Grid (2015) (2)
- Preventing Selfish Behaviour in Distributed Tactical Airport Planning (2007) (2)
- Practical and theoretical innovations in multi-agent systems research (2002) (2)
- Logics for Intelligent Agents and Multi-Agent Systems (2014) (2)
- Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems (2006) (2)
- Intelligent Agents: Issues and Logics (2003) (2)
- Reasoning about agent execution strategies (Short Paper) (2008) (2)
- General Directionality and the Local Behavior of Argumentation Semantics (2014) (2)
- Translations of Vocabularies in Systems of Communicating Agents (1998) (2)
- Conflicting intentions: rectifying the consistency requirements (2018) (2)
- Reconfigurable Equiplets Operating System A Hybrid Architecture to Combine Flexibility and Performance for Manufacturing (2015) (2)
- Declarative Semantics of Passive and Active Updates in Logic Databases (1991) (2)
- Enhancing products by embedding agents (2014) (2)
- Mu-calculus-based Deontic Logic for Regular Actions. (2000) (1)
- Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster Prevention (2013) (1)
- Tools and Education towards Formal Methods Practice (2002) (1)
- Achieving efficient and equitable collaboration among selfish agents using spender-signed currency (2008) (1)
- A Postscript to a Completeness Proof for Johan (1999) (1)
- Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers (2002) (1)
- A formal framework for reasoning about opportunistic propensity in multi-agent systems (2019) (1)
- A Dialogue Game Approach to Multi-Agent System Programming (2005) (1)
- On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic (1982) (1)
- Retalis Language for Information Engineering in Autonomous Robot Software (2015) (1)
- Towards a Framework for Detecting Opportunism in Multi-Agent Systems (2016) (1)
- A Multiagent System for Monitoring Health (2016) (1)
- Implementation of an Agent-Based Manufacturing Grid (2015) (1)
- Intelligent agents VIII : agent theories, architectures, and languages : 8th International Workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers (2002) (1)
- A Formalization of the Coach Problem (2014) (1)
- Organizing Coherent Coalitions (2008) (1)
- A weakest precondition calculus for BUnity (2013) (1)
- Adding Reconfiguration to an Agile Agent Based Production Grid (2015) (1)
- Action, Failure and Free Will Choice in Epistemic stit Logic (2014) (1)
- Magic Agents: Using Information Relevance to Control Autonomy (2008) (1)
- A Simple Transfer Lemma for Algebraic Specifications (1982) (1)
- Encoding Definitional Fragments of Temporal Action Logic into Logic Programming (2014) (1)
- Communication for Agents with Ontological Reasoning (2015) (1)
- Multiagent-based agile manufacturing: requirement-driven low cost production (2013) (1)
- Currency Systems for Efficient and Equitable Exchange Among Selfish Agents in the Air Traffic Management Domain ∗ (2008) (1)
- A dialogue game to agree to disagree about inconsistent information (2003) (1)
- Priorities and preferences: a study based on contraction (2016) (1)
- Dynamic Deontic Logic, Segerberg-Style (2014) (1)
- Eliminating Opportunism using an Epistemic Mechanism (2018) (1)
- Chapter 10 Deontic Logic (2012) (1)
- Objects, Agents, and Features: An Introduction (2003) (1)
- Constructing Translations Between Individual Vocabularies in Multi-Agent Systems (1998) (1)
- 06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems (2006) (1)
- On the quantifier-free fragment of 'Logic of effective definitions' (1981) (1)
- Coordinating Agents in OO (2003) (1)
- Artificial Intelligence in Health Care and Medicine: A Personalized Approach (2019) (1)
- Temporalized Epistemic Default Logic (2001) (0)
- Guidelines for Developing Explainable Cognitive Models1 (2010) (0)
- Extended abstract: A dialogue game to agree to disagree (2004) (0)
- Preferential Action Semantics (2002) (0)
- EOCS-MCP 2008 Workshop Committee Workshop Co-Chairs (2008) (0)
- A formal account of opportunism based on the situation calculus (2016) (0)
- The mutual exclusion problem in reasoning about action and change (2002) (0)
- A Market Mechanism for Airport Traffic Control ∗ (2004) (0)
- Can I Please Drop It? Dialogues About Belief Contraction (2006) (0)
- Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract (2015) (0)
- Other-Condemning Anger = Blaming Accountable Agents for Frustrated Intentions (2017) (0)
- Preferential Action Semantics (preliminary Report) Preferential Action Semantics (preliminary Report) (1996) (0)
- Encapsulated models for reasoning and decision support (abstract) (2013) (0)
- Predicting App Launches on Mobile Devices (2015) (0)
- Discussion Issues for a Working Group on Update Semantics of Logic Databases (1991) (0)
- Objects, agents, and features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers (2004) (0)
- Possible World Semantics for Analogous Reasoning (1996) (0)
- Intelligent Technologies for Interactive Entertainment - 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016, Revised Selected Papers (2017) (0)
- Is Knowledge of Mathematics a Key for Success for Studying ICT? (2017) (0)
- Encapsulated Models for Reasoning and Decision Support (2013) (0)
- Toward Reasoning about Security Protocols: A Semantic Approach (2005) (0)
- A formal framework for reasoning about opportunistic propensity in multi-agent systems (2019) (0)
- Neural-Symbolic Cognitive Agents: Architecture and Theory (2011) (0)
- A Semantic Approach for Reasoning about Security Protocols ( extended abstract ) (0)
- Adding Directions to Simulation-Based Training (2010) (0)
- Seeing is Believing (1995) (0)
- The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4 (2002) (0)
- Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions (2012) (0)
- Veri ation within the KARO Agent Theory ? (2000) (0)
- Hiding in stream semantics of uniform concurrency (1990) (0)
- On the Semantics and Verification of Normative (2009) (0)
- Modal Logics for Argumentation (2012) (0)
- ARTIFICIAL INTELLIGENCE IN HEALTH CARE (2017) (0)
- Implementing Manufacturing as a Service (2015) (0)
- A Probabilistic Deontic Logic (2021) (0)
- Truly Visual Polymorphic Algebraic Data Structures through Maramafication (2018) (0)
- A Tool for the Generation of Arguments from Bayesian Networks (2014) (0)
- Objects, Agents and Features (Dagstuhl Seminar 03081) (2021) (0)
- Regulating competing coalitions: a logic for socially optimal group choices (2012) (0)
- Organizational Replication Using Inheritance (2015) (0)
- A Framework for Agent Communication based on Goals and Argumentation (2008) (0)
- Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems (2000) (0)
- Process modalities obtained as fixed points (part 2) (1987) (0)
- Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006 (2007) (0)
- Conflicting intentions: rectifying the consistency requirements (2018) (0)
- CKI-AIO Proposal : Logical Models for the Dynamics of Motivational Attitudes December 2006 (2007) (0)
- Going beyond BDI: Programming 'BDI+' Agents (2006) (0)
- Multiagent-based agile manufacturing: from user requirements to product (2013) (0)
- Overview of the PhD Project: Agile Control Architecture for Reconfigurable Manufacturing Systems - Bringing Flexible Manufacturing to the Next Level (2016) (0)
- Andy Egan and Brian Weatherson, eds. , Epistemic Modality . Reviewed by (2013) (0)
- The Assembly and Disassembly Process Guided by Software Agents (2015) (0)
- A Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software (2013) (0)
- The Role of Agents in the Life Cycle of a Product (2011) (0)
- Strategic Ability Update: A Modal Logic Account (2009) (0)
- Executive Summary Dagstuhl Seminar 06261 : Foundations and Practice of Programming Multi-Agent Systems (2006) (0)
- 06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems (2006) (0)
- Staircase to Syracuse (2004) (0)
- A Demo Processor as an Educational Tool (2014) (0)
- Supporting impromptu coordination using intelligent software and mobile devices (2007) (0)
- A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems (2021) (0)
- Automatic Software Adaptation After Reconfiguring an Autonomous Manufacturing Systems (2014) (0)
- Towards A Formal Model of Opportunism Based on Situation Calculus (2015) (0)
- Self-explaining Agents A Study in the BW4T Testbed for Team Coordination (2011) (0)
- Programming Cognitive Agents (2005) (0)
- Forbidding undesirable agreements (2015) (0)
- A Modal Representation of Strategic Reasoning (2009) (0)
- Towards a Framework for Predicting Opportunism in Multi-agent Systems (2017) (0)
- TACTICAL AIRPORT PLANNING (2007) (0)
- On Formalizing Opportunism Based on Situation Calculus (2015) (0)
- Extended Abstract: Dialogue Games for Inconsistent and Biased Information (2003) (0)
This paper list is powered by the following services: