Wiebe van der Hoek

According to our database1, Wiebe van der Hoek authored at least 227 papers between 1990 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12).
Studia Logica, 2019

2018
Logic, rationality and interaction (LORI-5): introduction to the special issue.
Synthese, 2018

Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue.
J. Log. Comput., 2018

Second-order propositional modal logic: Expressiveness and completeness results.
Artif. Intell., 2018

When Are Two Gossips the Same?
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017
The undecidability of arbitrary arrow update logic.
Theor. Comput. Sci., 2017

Fair decomposition of group obligations.
J. Log. Comput., 2017

A Logic for Global and Local Announcements.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Arbitrary arrow update logic.
Artif. Intell., 2017

Non-Determinism and the Dynamics of Knowledge.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
Introduction to the special issue.
Synthese, 2016

Special Issue on Logical Aspects of Multi-Agent Systems.
Studia Logica, 2016

Second-order Propositional Announcement Logic.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Fully Arbitrary Public Announcements.
Proceedings of the Advances in Modal Logic 11, 2016

A Semantical Analysis of Second-Order Propositional Modal Logic.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Epistemic Protocols for Distributed Gossiping.
Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
A Modal Logic for Mixed Strategies.
Studia Logica, 2014

On the definability of simulation and bisimulation in epistemic logic.
J. Log. Comput., 2014

Introduction.
IGTR, 2014

Justified Beliefs by Justified Arguments.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Framework for Epistemic Gossip Protocols.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Knowledge and Gossip.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Fair Allocation of Group Tasks According to Social Norms.
Proceedings of the Computational Logic in Multi-Agent Systems, 2014

On the relative succinctness of modal logics with union, intersection and quantification.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Some Exponential Lower Bounds on Formula-size in Modal Logic.
Proceedings of the Advances in Modal Logic 10, 2014

Structures for Epistemic Logic.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
Building and using social structures: A case study using the agent ART testbed.
ACM TIST, 2013

Editorial Introduction to the Special Issue LOFT Sevilla.
J. Philosophical Logic, 2013

Program equilibrium - a program reasoning approach.
Int. J. Game Theory, 2013

Introduction to the special issue.
Int. J. Game Theory, 2013

Connecting dynamic epistemic and temporal epistemic logics.
Logic Journal of the IGPL, 2013

On the succinctness of some modal logics.
Artif. Intell., 2013

Boolean Games with Epistemic Goals.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Audience-Based Uncertainty in Abstract Argument Games.
Proceedings of the IJCAI 2013, 2013

Verifiable Equilibria in Boolean Games.
Proceedings of the IJCAI 2013, 2013

Control and Delegation.
Proceedings of the ICAART 2013, 2013

Reasoning about Choice.
Proceedings of the Agreement Technologies - Second International Conference, 2013

2012
Erratum to: Introduction chapter.
Synthese, 2012

Introduction chapter.
Synthese, 2012

Logics for Multiagent Systems.
AI Magazine, 2012

Local properties in modal logic.
Artif. Intell., 2012

Conservative Social Laws.
Proceedings of the ECAI 2012, 2012

On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic.
Proceedings of the How the World Computes, 2012

GOAL Agents Instantiate Intention Logic.
Proceedings of the Logic Programs, Norms and Action, 2012

A logic of revelation and concealment.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Reasoning About Social Choice Functions.
J. Philosophical Logic, 2011

Foreword.
Journal of Applied Non-Classical Logics, 2011

On the logic of preference and judgment aggregation.
Autonomous Agents and Multi-Agent Systems, 2011

Sigma algebras in probabilistic epistemic dynamics.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Knowledge and Action in Semi-public Environments.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Succinctness of Epistemic Languages.
Proceedings of the IJCAI 2011, 2011

Control and Delegation.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Decomposing constraint systems: equivalences and computational properties.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Knowledge and control.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

An abstract framework for reasoning about trust.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Reasoning about local properties in modal logic.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Scientia potentia est.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Reasoning About the Transfer of Control.
J. Artif. Intell. Res., 2010

Robust normative systems and a logic of norm compliance.
Logic Journal of the IGPL, 2010

Reasoning about Normative Systems.
Proceedings of the Legal Knowledge and Information Systems, 2010

2009
Multi-Modal CTL: Completeness, Complexity, and an Application.
Studia Logica, 2009

Verification of Games in the Game Description Language.
J. Log. Comput., 2009

A coordination language for agents interacting in distributed plan-execute cycles.
IJRIS, 2009

Logics for Qualitative Coalitional Games.
Logic Journal of the IGPL, 2009

Completeness and Complexity of Multi-modal CTL.
Electr. Notes Theor. Comput. Sci., 2009

Reasoning about coalitional games.
Artif. Intell., 2009

A logic of propositional control for truthful implementations.
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Concurrently Decomposable Constraint Systems.
Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

Knowing More - From Global to Local Correspondence.
Proceedings of the IJCAI 2009, 2009

Robust Normative Systems.
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

A logic of games and propositional control.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Agent programming with temporally extended goals.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Power in normative systems.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

A Temporal Logic of Normative Systems.
Proceedings of the Towards Mathematical Philosophy, 2009

2008
Multi-Agent Systems.
Proceedings of the Handbook of Knowledge Representation, 2008

Specifying and reasoning about uncertain agents.
Int. J. Approx. Reasoning, 2008

Model Checking Strategic Equilibria.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

GOAL Agents Instantiate Intention Logic.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

GOAL Agents Instantiate Intention Logic.
Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Cooperative Boolean games.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Robust normative systems.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Quantifying over coalitions in epistemic logic.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Social laws in alternating time: effectiveness, feasibility, and synthesis.
Synthese, 2007

Towards a theory of intention revision.
Synthese, 2007

A verification framework for agent programming with declarative goals.
J. Applied Logic, 2007

A logical characterisation of qualitative coalitional games.
Journal of Applied Non-Classical Logics, 2007

Temporal Logics of Knowledge and their Applications in Security.
Electr. Notes Theor. Comput. Sci., 2007

Logics in AI: post-proceedings JELIA06 (Editorial).
Ann. Math. Artif. Intell., 2007

Alternating-time temporal logic with explicit strategies.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Quantified Coalition Logic.
Proceedings of the IJCAI 2007, 2007

On the Logic of Normative Systems.
Proceedings of the IJCAI 2007, 2007

Dynamic Epistemic Logic and Knowledge Puzzles.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

On the Logic of Normative Systems.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Normative system games.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Reasoning about judgment and preference aggregation.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Logic for Automated Mechanism Design - A Progress Report.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Modal logic for games and information.
Proceedings of the Handbook of Modal Logic., 2007

2006
Knowledge Condition Games.
Journal of Logic, Language and Information, 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Model Checking Russian Cards.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Autonomous Agents and Multi-Agent Systems, 2006

Reasoning about action and cooperation.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the complexity of practical ATL model checking.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Temporal qualitative coalitional games.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the logic of coalitional games.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Uncertainty, rationality, and agency.
Kluwer, ISBN: 978-1-4020-4630-8, 2006

2005
On obligations and normative ability: Towards a logical analysis of the social contract.
J. Applied Logic, 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

On the logic of cooperation and propositional control.
Artif. Intell., 2005

Process algebra and constraint programming for modeling interactions in MAS.
Appl. Algebra Eng. Commun. Comput., 2005

Intentions and Strategies in Game-Like Scenarios.
Proceedings of the Progress in Artificial Intelligence, 2005

Logical Implementation of Uncertain Agents.
Proceedings of the Progress in Artificial Intelligence, 2005

On the dynamics of delegation, cooperation, and control: a logical account.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Knowledge and social laws.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A logic for strategic reasoning.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Dynamic epistemic logic with assignment.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004
Theories of Knowledge and Ignorance.
Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

Editorial.
Synthese, 2004

Agents that Know How to Play.
Fundam. Inform., 2004

Rational Teams: Logical Aspects of Multi-Agent Systems.
Fundam. Inform., 2004

Knowledge as Strategic Ability.
Electr. Notes Theor. Comput. Sci., 2004

Preface: Volume 85, Issue 2.
Electr. Notes Theor. Comput. Sci., 2004

Model Checking A Knowledge Exchange Scenario.
Applied Artificial Intelligence, 2004

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.
Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Practical Reasoning for Uncertain Agents.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Representation and Complexity in Boolean Games.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

On Obligations and Abilities.
Proceedings of the Deontic Logic in Computer Science, 2004

Preferences in Game Logics.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Knowledge, Rationality and Action.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Public Announcements and Belief Expansion.
Proceedings of the Advances in Modal Logic 5, 2004

2003
A fully abstract model for the exchange of information in multi-agent systems.
Theor. Comput. Sci., 2003

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.
Studia Logica, 2003

Preface.
Studia Logica, 2003

Formal semantics of meta-level architectures: Temporal epistemic reflection.
Int. J. Intell. Syst., 2003

Towards a Logic of Rational Agency.
Logic Journal of the IGPL, 2003

Editorial.
Logic Journal of the IGPL, 2003

A Modal Characterization of Nash Equilibrium.
Fundam. Inform., 2003

A Verification Framework for Agent Communication.
Autonomous Agents and Multi-Agent Systems, 2003

A logic for ignorance.
Proceedings of the Declarative Agent Languages and Technologies, 2003

Agent programming in dribble: from beliefs to goals using plans.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Ignore at your peril - towards a logic for ignorance.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Process Algebra for Agent Communication: A General Semantic Approach.
Proceedings of the Communication in Multiagent Systems, 2003

Concurrent dynamic epistemic logic for MAS.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Note by the Guest Editors.
Studia Logica, 2002

A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.
Studia Logica, 2002

Model Checking Knowledge and Time.
Proceedings of the Model Checking of Software, 2002

Agent Programming in Dribble: From Beliefs to Goals with Plans.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

On Modal Logic Interpretations of Games.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Iterated belief change in multi-agent systems.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Tractable multiagent planning for epistemic goals.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
RoboCup European Championship: Report of the Amsterdam 2000 event.
Robotics and Autonomous Systems, 2001

Scanning the issue.
Robotics and Autonomous Systems, 2001

Modal Logic with Bounded Quantification over Worlds.
J. Log. Comput., 2001

On dynamically generated ontology translators in agent communication.
Int. J. Intell. Syst., 2001

On Programming KARO Agents.
Logic Journal of the IGPL, 2001

Reasoning about agents in the KARO framework.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A Truly Concurrent Model for Interacting Agents.
Proceedings of the Intelligent Agents: Specification, 2001

Logical Foundations of Agent-Based Computing.
Proceedings of the Multi-Agent Systems and Applications, 2001

A Programming Language for Coordinating Group Actions.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

On BAN Logics for Industrial Security Protocols.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

2000
On Agents That Have the Ability to Choose.
Studia Logica, 2000

Nonmonotonic Reasoning, Grigoris Antoniou.
Journal of Logic, Language and Information, 2000

A General Approach to Multi-agent Minimal Knowledge.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

A Modal Logic for Network Topologies.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Verification within the KARO Agent Theory.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

A Programming Logic for Part of the Agent Language 3APL.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Classical, General Frameworks for Recovery.
Proceedings of the ECAI 2000, 2000

Failure Semantics for the Exchange of Information in Multi-Agent Systems.
Proceedings of the CONCUR 2000, 2000

Agent Programming with Declarative Goals.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Generalised Object-Oriented Concepts for Inter-agent Communication.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Semantics of Communicating Agents Based on Deduction and Abduction.
Proceedings of the Issues in Agent Communication, 2000

Operational Semantics for Agent Communication Languages.
Proceedings of the Issues in Agent Communication, 2000

1999
A Logical Approach to the Dynamics of Commitments.
Artif. Intell., 1999

Agent Programming in 3APL.
Autonomous Agents and Multi-Agent Systems, 1999

Failure Semantics for the Exchange of Information in Multi-agent Systems.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Open Multi-agent Systems: Agent Communication and Integration.
Proceedings of the Intelligent Agents VI, 1999

1998
Temporalizing Epistemic Default Logic.
Journal of Logic, Language and Information, 1998

Logic for Applications, Anil Nerode and Richard A. Shore.
Journal of Logic, Language and Information, 1998

Formalising Abilities and Opportunities of Agents.
Fundam. Inform., 1998

Translations of Vocabularies in Systems of Communicating Agents.
Electr. Notes Theor. Comput. Sci., 1998

Recovery of (Non)Monotonic Theories.
Artif. Intell., 1998

Persistence and Minimality in Epistemic Logic.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Information-Passing and Belief Revision in Multi-Agent Systems.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Systems of Communicating Agents.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

A Formal Embedding of AgentSpeak(L) in 3APL.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998

Control Structures of Rule-Based Agent Languages.
Proceedings of the Intelligent Agents V, 1998

Information-Passing and Belief Revision in Multi-Agent Systems.
Proceedings of the Intelligent Agents V, 1998

Constructing Translations Between Individual Vocabularies in Multi-Agent Systems.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997
Some Considerations on the Logic PFD~.
Journal of Applied Non-Classical Logics, 1997

The Dynamics of Default Reasoning.
Data Knowl. Eng., 1997

A General Framework for Revising Non-Monotonic Theories.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Formal Semantics for an Abstract Agent Programming Language.
Proceedings of the Intelligent Agents IV, 1997

1996
A Modal Contrastive Logic: The Logic of 'but'.
Ann. Math. Artif. Intell., 1996

Revising and Updating Using a Back-Up Semantics.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Updating Nonmonotonic Databases.
Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996

Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995
Counting Objects.
J. Log. Comput., 1995

Revision by Communication.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Actions That Make You Change Your Mind (Extended Abstract).
Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

The Dynamics of Default Reasoning (Extended Abstract).
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

Formalising Motivational Attitudes of Agents.
Proceedings of the Intelligent Agents II, 1995

Seeing is Believing.
Proceedings of the Topics in Artificial Intelligence, 1995

Epistemic logic for AI and computer science.
Cambridge tracts in theoretical computer science 41, Cambridge University Press, ISBN: 978-0-521-46014-9, 1995

1994
Formal Semantics of Temporal Epistemic Reflection.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

A Logic of Capabilities.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Honesty in Partial Logic.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Communicating Rational Agents.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Revision of Non-Monotonic Theories.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II.
Proceedings of the Advances in Intelligent Computing, 1994

Tests as Epistemic Updates.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993
Systems for Knowledge and Belief.
J. Log. Comput., 1993

Generalized quantifiers and modal logic.
Journal of Logic, Language and Information, 1993

Counterfactual Reasoning by (means of) Defaults.
Ann. Math. Artif. Intell., 1993

Belief Revision by Expansion.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

A Default Logic Based on Epistemic States.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992
On the Semantics of Graded Modalities.
Journal of Applied Non-Classical Logics, 1992

Making Some Issues of Implicit Knowledge Explicit.
Int. J. Found. Comput. Sci., 1992

Towards an Epistemic Approach to Reasoning about Concurrent Programs.
Proceedings of the Sematics: Foundations and Applications, 1992

Graded Modalities in Epistemic Logic.
Proceedings of the Logical Foundations of Computer Science, 1992

1991
Qualitative Modalities.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

Some Considerations on the Logic PfD.
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

1990
Non-Monotonic Reasoning by Monotonic Means.
Proceedings of the Logics in AI, European Workshop, 1990

Systems for Knowledge and Beliefs.
Proceedings of the Logics in AI, European Workshop, 1990


  Loading...