default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNicolas Troquard
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j12]Nicolas Troquard
:
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention. Ann. Math. Artif. Intell. 92(2): 317-353 (2024)- [c64]Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia:
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning. AAAI 2024: 22385-22392 - [c63]Anton R. Gnatenko, Oliver Kutz, Nicolas Troquard:
Modelling and Mining Knowledge About Computational Complexity. EKAW 2024: 453-470 - [c62]Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard:
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks. IJCAI 2024: 3532-3540 - [c61]Donatella Donati, Ziba Assadi, Simone Gozzano, Paola Inverardi, Nicolas Troquard:
On Representing Humans' Soft-Ethics Preferences As Dispositions. Ital-IA 2024: 135-140 - [i15]Nicolas Troquard:
Existence and Verification of Nash Equilibria in Non-Cooperative Contribution Games with Resource Contention. CoRR abs/2403.20161 (2024) - [i14]Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard:
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks. CoRR abs/2405.00205 (2024) - [i13]Donatella Donati, Ziba Assadi, Simone Gozzano, Paola Inverardi, Nicolas Troquard:
On Representing Humans' Soft-Ethics Preferences As Dispositions. CoRR abs/2408.06355 (2024) - 2023
- [c60]Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard:
Synthesis of Resource-Aware Controllers Against Rational Agents. AAMAS 2023: 775-783 - [c59]Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard:
A Semantic Approach to Decidability in Epistemic Planning. AAMAS 2023: 2361-2363 - [c58]Roland Bernard, Oliver Kutz, Nicolas Troquard:
Making Axiom Weakening Work in SROIQ. Description Logics 2023 - [c57]Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard:
A Semantic Approach to Decidability in Epistemic Planning. ECAI 2023: 319-326 - [c56]Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard:
Non-Normal Modal Description Logics. JELIA 2023: 306-321 - [c55]Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri, Oliver Kutz:
An Ontological Modelling of Prototype Theories. FCR@KI 2023: 20-31 - [c54]Pietro Galliani, Oliver Kutz, Nicolas Troquard:
Succinctness and Complexity of ALC with Counting Perceptrons. KR 2023: 291-300 - [i12]Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard:
Non-Normal Modal Description Logics (Extended Version). CoRR abs/2307.12265 (2023) - [i11]Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard:
A Semantic Approach to Decidability in Epistemic Planning (Extended Version). CoRR abs/2307.15485 (2023) - [i10]Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia:
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version). CoRR abs/2312.09699 (2023) - 2022
- [c53]Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
Almost Certain Termination for ALC Weakening. EPIA 2022: 663-675 - [c52]Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers. ICCC 2022: 300-309 - [c51]Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani:
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract). IJCAI 2022: 5329-5333 - [c50]Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj, Nicolas Troquard:
Careful Autonomous Agents in Environments With Multiple Common Resources. AREA@IJCAI-ECAI 2022: 3-14 - [e3]Danai Symeonidou, Ran Yu, Davide Ceolin, María Poveda-Villalón, Davide Audrito, Luigi Di Caro, Francesca Grasso, Roberto Nai, Emilio Sulis, Fajar J. Ekaputra, Oliver Kutz, Nicolas Troquard:
Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022. CEUR Workshop Proceedings 3256, CEUR-WS.org 2022 [contents] - [e2]Óscar Corcho, Laura Hollink, Oliver Kutz, Nicolas Troquard, Fajar J. Ekaputra:
Knowledge Engineering and Knowledge Management - 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26-29, 2022, Proceedings. Lecture Notes in Computer Science 13514, Springer 2022, ISBN 978-3-031-17104-8 [contents] - 2021
- [j11]Joseph Boudou, Andreas Herzig, Nicolas Troquard:
Resource separation in dynamic logic of propositional assignments. J. Log. Algebraic Methods Program. 121: 100683 (2021) - [j10]Nicolas Troquard:
Tracking and managing deemed abilities. Synth. 198(6): 5027-5045 (2021) - [c49]Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard:
Rational Synthesis in the Commons with Careless and Careful Agents. AAMAS 2021: 368-376 - [c48]Pietro Galliani, Oliver Kutz, Nicolas Troquard:
Perceptron Operators That Count. Description Logics 2021 - [c47]Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract). Description Logics 2021 - [c46]Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani:
Asymmetric Hybrids: Dialogues for Computational Concept Combination. FOIS 2021: 81-96 - [c45]Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
Towards Knowledge-driven Distillation and Explanation of Black-box Models. DAO-XAI 2021 - [c44]Guendalina Righetti, Claudio Masolo, Nicolas Troquard, Oliver Kutz, Daniele Porello:
Concept Combination in Weighted Logic. JOWO 2021 - [e1]Emilio M. Sanfilippo, Oliver Kutz, Nicolas Troquard, Torsten Hahmann, Claudio Masolo, Robert Hoehndorf, Randi Vita, Maria M. Hedblom, Guendalina Righetti, Dusan Sormaz, Walter Terkaj, Tiago Prince Sales, Sergio de Cesare, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Ludger Jansen, Mathias Brochhausen, Daniele Porello, Pawel Garbacz, Selja Seppälä, Michael Grüninger, Amanda Vizedom, Damion M. Dooley, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Alsayed Algergawy, Naouel Karam, Friederike Klan, Franck Michel, Ilaria Rosati:
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), and the 12th International Conference on Biomedical Ontologies (ICBO 2021), Bolzano, Italy, September 11-18, 2021. CEUR Workshop Proceedings 2969, CEUR-WS.org 2021 [contents] - [i9]Joseph Boudou, Andreas Herzig, Nicolas Troquard:
Resource separation in dynamic logic of propositional assignments. CoRR abs/2104.14884 (2021) - [i8]Nicolas Troquard:
Tracking and managing deemed abilities. CoRR abs/2104.14892 (2021) - 2020
- [j9]Nicolas Troquard:
Individual resource games and resource redistributions. J. Log. Comput. 30(5): 1023-1062 (2020) - [c43]Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
Towards Even More Irresistible Axiom Weakening. Description Logics 2020 - [c42]Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
Perceptron Connectives in Knowledge Representation. EKAW 2020: 183-193
2010 – 2019
- 2019
- [c41]Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard, Claudio Masolo:
Pink panthers and toothless tigers: three problems in classification. AIC 2019: 39-53 - [c40]Ana Ozaki, Nicolas Troquard:
Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). Description Logics 2019 - [c39]Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo:
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. Description Logics 2019 - [c38]Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
On Knowledge Dependence in Weighted Description Logic. GCAI 2019: 68-80 - [c37]Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard:
Weighted Description Logic for Classification Problems. GCAI 2019: 108-112 - [c36]Ana Ozaki, Nicolas Troquard:
Learning Ontologies with Epistemic Reasoning: The E\!L Case. JELIA 2019: 418-433 - [c35]Joseph Boudou, Andreas Herzig, Nicolas Troquard:
Resource Separation in Dynamic Logic of Propositional Assignments. DaLí 2019: 155-170 - [i7]Ana Ozaki, Nicolas Troquard:
Learning Ontologies with Epistemic Reasoning: The EL Case. CoRR abs/1902.03273 (2019) - 2018
- [c34]Nicolas Troquard:
Rich Coalitional Resource Games. AAAI 2018: 1242-1249 - [c33]Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz:
Repairing Ontologies via Axiom Weakening. AAAI 2018: 1981-1988 - [c32]Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard:
The Complexity of Rational Synthesis for Concurrent Games. CONCUR 2018: 38:1-38:15 - [c31]Oliver Kutz, Nicolas Troquard, Maria M. Hedblom, Daniele Porello:
The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency. FOIS 2018: 141-148 - [c30]Emilio M. Sanfilippo, Sergio Benavent, Stefano Borgo, Nicola Guarino, Nicolas Troquard, Fernando Romero, Pedro Rosado, Lorenzo Solano, Farouk Belkadi, Alain Bernard:
Modeling Manufacturing Resources: An Ontological Approach. PLM 2018: 304-313 - [c29]Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz:
Two Approaches to Ontology Aggregation Based on Axiom Weakening. IJCAI 2018: 1942-1948 - [i6]Nicolas Troquard:
Individual Resource Games and Resource Redistributions. CoRR abs/1802.00257 (2018) - 2017
- [c28]Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello:
Two Applications of Concept Refinement. CEx@AI*IA 2017 - [c27]Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard:
Coherence, Similarity, and Concept Generalisation. Description Logics 2017 - [c26]Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza:
Repairing Socially Aggregated Ontologies Using Axiom Weakening. PRIMA 2017: 441-449 - [i5]Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz:
Repairing Ontologies via Axiom Weakening. CoRR abs/1711.03430 (2017) - 2016
- [c25]Nicolas Troquard:
Nash Equilibria and Their Elimination in Resource Games. IJCAI 2016: 503-509 - [c24]Youssouf Oualhadj, Nicolas Troquard:
Rational verification in Iterated Electric Boolean Games. SR 2016: 41-51 - 2015
- [j8]Daniele Porello, Nicolas Troquard:
Non-normal modalities in variants of linear logic. J. Appl. Non Class. Logics 25(3): 229-255 (2015) - [i4]Daniele Porello, Nicolas Troquard:
Non-normal modalities in variants of Linear Logic. CoRR abs/1503.04193 (2015) - 2014
- [j7]Nicolas Troquard:
Reasoning about coalitional agency and ability in the logics of "bringing-it-about". Auton. Agents Multi Agent Syst. 28(3): 381-407 (2014) - [c23]Daniele Porello, Nicolas Troquard:
A resource-sensitive account of the use of artifacts. AAMAS 2014: 1549-1550 - [c22]Daniele Porello, Nicolas Troquard:
A resource-sensitive logic of agency. ECAI 2014: 723-728 - [c21]Stefano Borgo, Daniele Porello, Nicolas Troquard:
Logical Operators for Ontological Modeling. FOIS 2014: 23-36 - [c20]Nicolas Troquard:
A formal theory for conceptualizing artefacts and tool manipulations. FOIS 2014: 119-132 - [i3]Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard:
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR abs/1411.7825 (2014) - 2013
- [j6]Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen:
Grounding power on actions and mental attitudes. Log. J. IGPL 21(3): 311-331 (2013) - [c19]Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge:
Reasoning about Choice. AT 2013: 4-18 - [c18]Philippe Balbiani, Andreas Herzig, Nicolas Troquard:
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS 2013: 143-152 - 2012
- [c17]Nicolas Troquard:
Coalitional agency and evidence-based ability. AAMAS 2012: 1245-1246 - [c16]Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard:
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. DEON 2012: 170-183 - [c15]Nicolas Troquard, Dirk Walther:
On Satisfiability in ATL with Strategy Contexts. JELIA 2012: 398-410 - 2011
- [j5]Nicolas Troquard:
Learning and Practice of the Property Specification Language. IEEE Des. Test Comput. 28(5): 110-111 (2011) - [j4]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning About Social Choice Functions. J. Philos. Log. 40(4): 473-498 (2011) - [c14]Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge:
Knowledge and control. AAMAS 2011: 719-726 - [c13]Andreas Herzig, Emiliano Lorini, Nicolas Troquard:
A Dynamic Logic of Institutional Actions. CLIMA 2011: 295-311 - [c12]Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard:
A Dynamic Logic of Normative Systems. IJCAI 2011: 228-233 - [i2]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about Social Choice Functions. CoRR abs/1102.3341 (2011) - 2010
- [c11]Nicolas Troquard, Dirk Walther:
Alternating-time dynamic logic. AAMAS 2010: 473-480
2000 – 2009
- 2009
- [j3]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
What groups do, can do, and know they can do: an analysis in normal modal logics. J. Appl. Non Class. Logics 19(3): 261-290 (2009) - [c10]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
A logic of games and propositional control. AAMAS (2) 2009: 961-968 - [c9]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
A logic of propositional control for truthful implementations. TARK 2009: 237-246 - 2008
- [j2]Philippe Balbiani, Andreas Herzig, Nicolas Troquard:
Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philos. Log. 37(4): 387-406 (2008) - [c8]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
Model Checking Strategic Equilibria. MoChArt 2008: 166-188 - 2007
- [c7]Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi:
Delegation and mental states. AAMAS 2007: 153 - [c6]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
A normal simulation of coalition logic and an epistemic extension. TARK 2007: 92-101 - [i1]Philippe Balbiani, Andreas Herzig, Nicolas Troquard:
Alternative axiomatics and complexity of deliberative STIT theories. CoRR abs/0704.3238 (2007) - 2006
- [j1]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. J. Log. Comput. 16(5): 559-578 (2006) - [c5]Andreas Herzig, Nicolas Troquard:
Knowing how to play: uniform choices in logics of agency. AAMAS 2006: 209-216 - [c4]Nicolas Troquard, Laure Vieu:
Towards a Logic of Agency and Actions with Duration. ECAI 2006: 775-776 - [c3]Nicolas Troquard, Robert Trypuz, Laure Vieu:
Towards an ontology of agency and action From STIT to OntoSTIT+. FOIS 2006: 179-190 - [c2]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
A STIT-Extension of ATL. JELIA 2006: 69-81 - 2005
- [c1]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
From Coalition Logic to STIT. LCMAS 2005: 23-35
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 19:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
