Pavel Naumov

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Counterfactual and seeing-to-it responsibilities in strategic games.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., December, 2023

De Re and De Dicto Knowledge in Egocentric Setting.

[BibT_eX]

[DOI]

Anna Ovchinnikova

CoRR, 2023

Shhh! The Logic of Clandestine Operations.

[BibT_eX]

[DOI]

Oliver Orejola

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Data-Informed Knowledge and Strategies (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Budget-constrained coalition strategies with discounting.

[BibT_eX]

[DOI]

Lia Bozzone

J. Log. Comput., 2022

The Polymatrix Gap Conjecture.

[BibT_eX]

[DOI]

Italo Simonelli

IGTR, 2022

What are Your Powers? - Truth Set Algebras.

[BibT_eX]

[DOI]

Sophia Knight

CoRR, 2022

From intelligent agents to trustworthy human-centred multiagent systems.

[BibT_eX]

[DOI]

Mohammad Divband Soorati

Sarvapali D. Ramchurn

AI Commun., 2022

Data-informed knowledge and strategies.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Intelligence in Strategic Games (Extended Abstract).

[BibT_eX]

[DOI]

Yuan Yuan

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

In Data We Trust: The Logic of Trust-Based Beliefs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

The Egocentric Logic of Preferences.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

The Limits of Morality in Strategic Games.

[BibT_eX]

[DOI]

Rui Cao

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Prevailing in the Dark: Information Walls in Strategic Games.

[BibT_eX]

[DOI]

Wenxuan Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Strategic Knowledge Acquisition.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2021

Strategic coalitions in stochastic games.

[BibT_eX]

[DOI]

Kevin Ros

J. Log. Comput., 2021

Intelligence in Strategic Games.

[BibT_eX]

[DOI]

Yuan Yuan

J. Artif. Intell. Res., 2021

If You're Happy, Then You Know It: The Logic of Happiness... and Sadness.

[BibT_eX]

[DOI]

Sanaz Azimipour

CoRR, 2021

Attainable Knowledge and Omniscience.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Axiomatic theory of betweenness.

[BibT_eX]

[DOI]

Sanaz Azimipour

Arch. Math. Log., 2021

Two Forms of Responsibility in Strategic Games.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Ethical Dilemmas in Strategic Games.

[BibT_eX]

[DOI]

Rui-Jie Yew

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Comprehension and Knowledge.

[BibT_eX]

[DOI]

Kevin Ros

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Epistemic Logic of Know-Who.

[BibT_eX]

[DOI]

Sophia Epstein

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Group Conformity in Social Networks.

[BibT_eX]

[DOI]

Colby Morrison

J. Log. Lang. Inf., 2020

An epistemic logic of blameworthiness.

[BibT_eX]

[DOI]

Artif. Intell., 2020

On composition of bounded-recall plans.

[BibT_eX]

[DOI]

Artif. Intell., 2020

Knowing the price of success.

[BibT_eX]

[DOI]

Rui Cao

Artif. Intell., 2020

Knowing-How under Uncertainty (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Duty to Warn in Strategic Games.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Blameworthiness in Security Games.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Everyone Knows that someone Knows: Quantifiers over Epistemic Agents.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2019

Diffusion in social networks with recalcitrant agents.

[BibT_eX]

[DOI]

Zoé Christoff

J. Log. Comput., 2019

Ethical Dilemmas of Strategic Coalitions.

[BibT_eX]

[DOI]

Rui-Jie Yew

CoRR, 2019

Knowing-how under uncertainty.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Formation of Export Clusters in Food Trade of the Russian Federation in the Conditions of Digital Transformation of the Economy.

[BibT_eX]

[DOI]

Elena Zhiryaeva

Vladimir Naumov

Proceedings of the 24th Conference of Open Innovations Association, 2019

Blameworthiness in Strategic Games.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Navigability with intermediate constraints.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Lighthouse Principle for Diffusion in Social Networks.

[BibT_eX]

[DOI]

Sanaz Azimipour

FLAP, 2018

Blameworthiness in Games with Imperfect Information.

[BibT_eX]

[DOI]

CoRR, 2018

Together we know how to achieve: An epistemic logic of know-how.

[BibT_eX]

[DOI]

Artif. Intell., 2018

Strategic Coalitions in Systems with Catastrophic Failures.

[BibT_eX]

[DOI]

Kevin Ros

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Navigability with Bounded Recall.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Second-Order Know-How Strategies.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Strategic Coalitions With Perfect Recall.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Armstrong's Axioms and Navigation Strategies.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Information Flow under Budget Constraints.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2017

Knowledge in communication networks.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

A modal logic for reasoning about economic policies.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

Marketing impact on diffusion in social networks.

[BibT_eX]

[DOI]

J. Appl. Log., 2017

Price of privacy.

[BibT_eX]

[DOI]

J. Appl. Log., 2017

Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Navigability with Imperfect Information.

[BibT_eX]

[DOI]

CoRR, 2017

Budget-Constrained Dynamics in Multiagent Systems.

[BibT_eX]

[DOI]

Rui Cao

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Coalition Power in Epistemic Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Functional Dependence in Strategic Games.

[BibT_eX]

[DOI]

Kristine Harjes

Notre Dame J. Formal Log., 2016

Equilibria interchangeability in cellular games.

[BibT_eX]

[DOI]

Margaret Protzman

J. Log. Comput., 2016

Conditional interchangeability of Nash equilibria.

[BibT_eX]

[DOI]

Margaret Protzman

J. Log. Comput., 2016

2015

Logic of confidence.

[BibT_eX]

[DOI]

Synth., 2015

The Budget-Constrained Functional Dependency.

[BibT_eX]

[DOI]

CoRR, 2015

Budget-Constrained Knowledge in Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

The Ryōan-ji axiom for common knowledge on hypergraphs.

[BibT_eX]

[DOI]

Synth., 2014

Strict equilibria interchangeability in multi-player zero-sum games.

[BibT_eX]

[DOI]

Italo Simonelli

J. Log. Comput., 2014

Rationally Functional Dependence.

[BibT_eX]

[DOI]

J. Philos. Log., 2014

Symmetry in information flow.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2014

Common Knowledge Semantics of Armstrong's Axioms.

[BibT_eX]

[DOI]

Zachary Heckle

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

On interchangeability of Nash equilibria in multi-player strategic games.

[BibT_eX]

[DOI]

Synth., 2013

Functional Dependence in Strategic Games (extended abstract)

[BibT_eX]

[DOI]

Kristine Harjes

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

R.E. Axiomatization of Conditional Independence.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Epistemic Logic for Communication Chains.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Cellular Games, Nash Equilibria, and Fibonacci Numbers.

[BibT_eX]

[DOI]

Kristine Harjes

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Symmetries and Epistemic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

Calculus of cooperation and game-based reasoning about protocol privacy.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2012

Independence in Information Spaces.

[BibT_eX]

[DOI]

Stud Logica, 2012

Fault Tolerance in Belief Formation Networks.

[BibT_eX]

[DOI]

Sarah Holbrook

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

Logic of secrets in collaboration networks.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2011

Hypergraphs of multiparty secrets.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2011

Information Flow on Directed Acyclic Graphs.

[BibT_eX]

[DOI]

Michael S. Donders

Proceedings of the Logic, Language, Information and Computation, 2011

A ternary knowledge relation on secrets.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Game Semantics for the Geiger-Paz-Pearl Axioms of Independence.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence.

[BibT_eX]

[DOI]

Benjamin Sapp

Proceedings of the Computer Science Logic, 2011

The Functional Dependence Relation on Hypergraphs of Secrets.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

An Independence Relation for Sets of Secrets.

[BibT_eX]

[DOI]

Stud Logica, 2010

Functional Dependence of Secrets in a Collaboration Network

[BibT_eX]

[DOI]

CoRR, 2010

Independence and Functional Dependence Relations on Secrets.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009

On interdependence of secrets in collaboration networks.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

2008

On meta complexity of propositional formulas and propositional proofs.

[BibT_eX]

[DOI]

Arch. Math. Log., 2008

2006

Logic of subtyping.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

On modal logic of deductive closure.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2006

Upper bounds on complexity of Frege proofs with limited use of certain schemata.

[BibT_eX]

[DOI]

Arch. Math. Log., 2006

2005

On Modal Logics of Partial Recursive Functions.

[BibT_eX]

[DOI]

Stud Logica, 2005

2001

The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability).

[BibT_eX]

[DOI]

Mark-Oliver Stehr

José Meseguer

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

Constructively formalizing automata theory.

[BibT_eX]

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1998

Formalizing Reference Types in NuPRL.

[BibT_eX]