| Careful Autonomous Agents in Environments With Multiple Common Resources. | 0 | 0.34 | 2022 |
| Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract). | 0 | 0.34 | 2022 |
| Almost Certain Termination for $$\mathcal {ALC}$$ Weakening | 0 | 0.34 | 2022 |
| Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) | 0 | 0.34 | 2022 |
| Resource separation in dynamic logic of propositional assignments | 0 | 0.34 | 2021 |
| Rational Synthesis in the Commons with Careless and Careful Agents. | 0 | 0.34 | 2021 |
| Perceptron Operators That Count. | 0 | 0.34 | 2021 |
| In a Nutshell - Perceptron Connectives in Knowledge Representation (Extended Abstract). | 0 | 0.34 | 2021 |
| Perceptron Connectives in Knowledge Representation. | 0 | 0.34 | 2020 |
| Towards Even More Irresistible Axiom Weakening. | 0 | 0.34 | 2020 |
| Learning Ontologies with Epistemic Reasoning - The E\!L Case. | 0 | 0.34 | 2019 |
| Weighted Description Logic for Classification Problems. | 0 | 0.34 | 2019 |
| A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. | 0 | 0.34 | 2019 |
| Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). | 0 | 0.34 | 2019 |
| Learning Ontologies with Epistemic Reasoning: The EL Case. | 0 | 0.34 | 2019 |
| On Knowledge Dependence in Weighted Description Logic. | 0 | 0.34 | 2019 |
| Repairing Ontologies via Axiom Weakening. | 0 | 0.34 | 2018 |
| The Complexity of Rational Synthesis for Concurrent Games. | 0 | 0.34 | 2018 |
| Rich Coalitional Resource Games. | 0 | 0.34 | 2018 |
| Modeling Manufacturing Resources: An Ontological Approach. | 0 | 0.34 | 2018 |
| The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency. | 0 | 0.34 | 2018 |
| Two Approaches to Ontology Aggregation Based on Axiom Weakening. | 0 | 0.34 | 2018 |
| Individual Resource Games and Resource Redistributions. | 0 | 0.34 | 2018 |
| Repairing Socially Aggregated Ontologies Using Axiom Weakening | 1 | 0.35 | 2017 |
| Coherence, Similarity, and Concept Generalisation. | 2 | 0.41 | 2017 |
| Two Applications of Concept Refinement. | 0 | 0.34 | 2017 |
| Nash Equilibria and Their Elimination in Resource Games. | 1 | 0.37 | 2016 |
| Rational Verification In Iterated Electric Boolean Games | 0 | 0.34 | 2016 |
| Reasoning about coalitional agency and ability in the logics of "bringing-it-about" | 7 | 0.45 | 2014 |
| DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. | 3 | 0.42 | 2014 |
| A formal theory for conceptualizing artefacts and tool manipulations. | 0 | 0.34 | 2014 |
| A resource-sensitive account of the use of artifacts. | 1 | 0.35 | 2014 |
| Logical Operators for Ontological Modeling. | 2 | 0.38 | 2014 |
| A resource-sensitive logic of agency. | 5 | 0.50 | 2014 |
| Reasoning about choice | 0 | 0.34 | 2013 |
| Grounding power on actions and mental attitudes. | 1 | 0.36 | 2013 |
| Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL | 23 | 1.19 | 2013 |
| A computationally grounded dynamic logic of agency, with an application to legal actions | 0 | 0.34 | 2012 |
| On satisfiability in ATL with strategy contexts | 4 | 0.41 | 2012 |
| Coalitional agency and evidence-based ability | 1 | 0.35 | 2012 |
| Reasoning about Social Choice Functions | 3 | 0.44 | 2011 |
| A dynamic logic of normative systems | 24 | 1.02 | 2011 |
| Knowledge and control | 3 | 0.49 | 2011 |
| A dynamic logic of institutional actions | 1 | 0.36 | 2011 |
| Learning and Practice of the Property Specification Language | 0 | 0.34 | 2011 |
| Alternating-time dynamic logic | 1 | 0.35 | 2010 |
| A logic of games and propositional control | 8 | 0.71 | 2009 |
| A logic of propositional control for truthful implementations | 1 | 0.46 | 2009 |
| What groups do, can do, and know they can do: an analysis in normal modal logics | 9 | 0.49 | 2009 |
| Model Checking Strategic Equilibria | 4 | 0.46 | 2008 |
