Nicolas Troquard

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

A Semantic Approach to Decidability in Epistemic Planning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Making Axiom Weakening Work in SROIQ.

[BibT_eX]

[DOI]

Roland Bernard

Oliver Kutz

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Synthesis of Resource-Aware Controllers Against Rational Agents.

[BibT_eX]

[DOI]

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

2022

Careful Autonomous Agents in Environments With Multiple Common Resources.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022

Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract).

[BibT_eX]

[DOI]

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

A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27, 2022

Almost Certain Termination for <i>ALC</i> Weakening.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2022

2021

Tracking and managing deemed abilities.

[BibT_eX]

[DOI]

Synth., 2021

Resource separation in dynamic logic of propositional assignments.

[BibT_eX]

[DOI]

Joseph Boudou

J. Log. Algebraic Methods Program., 2021

Concept Combination in Weighted Logic.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

Towards Knowledge-driven Distillation and Explanation of Black-box Models.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Asymmetric Hybrids: Dialogues for Computational Concept Combination.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2021

In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Perceptron Operators That Count.

[BibT_eX]

[DOI]

Pietro Galliani

Oliver Kutz

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Rational Synthesis in the Commons with Careless and Careful Agents.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Individual resource games and resource redistributions.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

Perceptron Connectives in Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2020

Towards Even More Irresistible Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Learning Ontologies with Epistemic Reasoning: The EL Case.

[BibT_eX]

[DOI]

CoRR, 2019

Learning Ontologies with Epistemic Reasoning: The <i>E\!L</i> Case.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Weighted Description Logic for Classification Problems.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

On Knowledge Dependence in Weighted Description Logic.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Pink panthers and toothless tigers: three problems in classification.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Artificial Intelligence and Cognition, 2019

2018

Two Approaches to Ontology Aggregation Based on Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Modeling Manufacturing Resources: An Ontological Approach.

[BibT_eX]

[DOI]

Proceedings of the Product Lifecycle Management to Support Industry 4.0, 2018

The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2018

The Complexity of Rational Synthesis for Concurrent Games.

[BibT_eX]

[DOI]

Rodica Condurache

Youssouf Oualhadj

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Rich Coalitional Resource Games.

[BibT_eX]

[DOI]

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

Repairing Ontologies via Axiom Weakening.

[BibT_eX]

[DOI]

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

2017

Repairing Socially Aggregated Ontologies Using Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Coherence, Similarity, and Concept Generalisation.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Two Applications of Concept Refinement.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017 co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

2016

Rational verification in Iterated Electric Boolean Games.

[BibT_eX]

[DOI]

Youssouf Oualhadj

Proceedings of the 4th International Workshop on Strategic Reasoning, 2016

Nash Equilibria and Their Elimination in Resource Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Non-normal modalities in variants of linear logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2015

2014

DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE.

[BibT_eX]

[DOI]

Philippe Balbiani

François Schwarzentruber

CoRR, 2014

Reasoning about coalitional agency and ability in the logics of "bringing-it-about".

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2014

A formal theory for conceptualizing artefacts and tool manipulations.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

Logical Operators for Ontological Modeling.

[BibT_eX]

[DOI]

Stefano Borgo

Proceedings of the Formal Ontology in Information Systems, 2014

A resource-sensitive logic of agency.

[BibT_eX]

[DOI]

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

A resource-sensitive account of the use of artifacts.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Grounding power on actions and mental attitudes.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.

[BibT_eX]

[DOI]

Philippe Balbiani

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Reasoning about Choice.

[BibT_eX]

[DOI]

Proceedings of the Agreement Technologies - Second International Conference, 2013

2012

On Satisfiability in ATL with Strategy Contexts.

[BibT_eX]

[DOI]

Dirk Walther

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

A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Coalitional agency and evidence-based ability.

[BibT_eX]

[DOI]

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

2011

Reasoning About Social Choice Functions.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

Learning and Practice of the Property Specification Language.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2011

A Dynamic Logic of Normative Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Dynamic Logic of Institutional Actions.

[BibT_eX]

[DOI]

Emiliano Lorini

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

Knowledge and control.

[BibT_eX]

[DOI]

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

2010

Alternating-time dynamic logic.

[BibT_eX]

[DOI]

Dirk Walther

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

What groups do, can do, and know they can do: an analysis in normal modal logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2009

A logic of propositional control for truthful implementations.

[BibT_eX]

[DOI]

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

A logic of games and propositional control.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Alternative Axiomatics and Complexity of Deliberative STIT Theories.

[BibT_eX]

[DOI]

Philippe Balbiani

J. Philos. Log., 2008

Model Checking Strategic Equilibria.

[BibT_eX]

[DOI]

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

2007

A normal simulation of coalition logic and an epistemic extension.

[BibT_eX]

[DOI]

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

Delegation and mental states.

[BibT_eX]

[DOI]

Emiliano Lorini

Cristiano Castelfranchi

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

2006

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

A STIT-Extension of ATL.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Towards an ontology of agency and action From STIT to OntoSTIT+.

[BibT_eX]

[DOI]

Robert Trypuz

Laure Vieu

Proceedings of the Formal Ontology in Information Systems, 2006

Towards a Logic of Agency and Actions with Duration.

[BibT_eX]

Laure Vieu

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Knowing how to play: uniform choices in logics of agency.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

From Coalition Logic to STIT.

[BibT_eX]

[DOI]