default search action

combined dblp search
author search
venue search
publication search

ask others

Francesco Belardinelli

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c80]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HussainB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HussainB24
Aamal Abbas Hussain, Francesco Belardinelli:
Stability of Multi-Agent Learning in Competitive Networks: Delaying the Onset of Chaos. AAAI 2024: 17435-17443
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BelardinelliJMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliJMM24
Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano:
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS 2024: 160-169
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/HussainLBP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HussainLBP24
Aamal Abbas Hussain, Dan Leonte, Francesco Belardinelli, Georgios Piliouras:
On the Stability of Learning in Network Games with Many Players. AAMAS 2024: 861-870
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/WardMBTE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/WardMBTE24
Francis Rhys Ward, Matt MacDermott, Francesco Belardinelli, Francesca Toni, Tom Everitt:
The Reasons that Agents Act: Intention and Instrumental Goals. AAMAS 2024: 1901-1909
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/GoodallB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GoodallB24
Alexander W. Goodall, Francesco Belardinelli:
Leveraging Approximate Model-based Shielding for Probabilistic Safety Guarantees in Continuous Environments. AAMAS 2024: 2291-2293
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00816
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00816
Alexander W. Goodall, Francesco Belardinelli:
Leveraging Approximate Model-based Shielding for Probabilistic Safety Guarantees in Continuous Environments. CoRR abs/2402.00816 (2024)
[i30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-07221
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-07221
Francis Rhys Ward, Matt MacDermott, Francesco Belardinelli, Francesca Toni, Tom Everitt:
The Reasons that Agents Act: Intention and Instrumental Goals. CoRR abs/2402.07221 (2024)
[i29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-15848
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-15848
Aamal Abbas Hussain, Dan Leonte, Francesco Belardinelli, Georgios Piliouras:
On the Stability of Learning in Network Games with Many Players. CoRR abs/2403.15848 (2024)
2023
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BelardinelliFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BelardinelliFM23
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artif. Intell. 316: 103847 (2023)
[c75]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BelardinelliBMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BelardinelliBMR23
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona:
Automatically Verifying Expressive Epistemic Properties of Programs. AAAI 2023: 6245-6252
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/HussainBP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HussainBP23
Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras:
Asymptotic Convergence and Performance of Multi-Agent Q-learning Dynamics. AAMAS 2023: 1578-1586
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/WardTB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/WardTB23
Francis Rhys Ward, Francesca Toni, Francesco Belardinelli:
Defining Deception in Structural Causal Games. AAMAS 2023: 2902-2904
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GoodallB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GoodallB23
Alexander W. Goodall, Francesco Belardinelli:
Approximate Model-Based Shielding for Safe Reinforcement Learning. ECAI 2023: 883-890
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/RajaonaBMB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/RajaonaBMB23
Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli:
Program Semantics and Verification Technique for AI-Centred Programs. FM 2023: 473-491
[c70]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/HussainBP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/HussainBP23
Aamal Abbas Hussain, Francesco Belardinelli, Dario Paccagnan:
The Impact of Exploration on Convergence and Performance of Multi-Agent Q-Learning Dynamics. ICML 2023: 14178-14202
[c69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Belardinelli0JM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Belardinelli0JM23
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI 2023: 46-54
[c68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/HussainBP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HussainBP23
Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras:
Beyond Strict Competition: Approximate Convergence of Multi-agent Q-Learning Dynamics. IJCAI 2023: 135-143
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/BelardinelliJMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BelardinelliJMM23
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. KR 2023: 726-731
[c66]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/WardTBE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/WardTBE23
Francis Ward, Francesca Toni, Francesco Belardinelli, Tom Everitt:
Honesty Is the Best Policy: Defining and Mitigating AI Deception. NeurIPS 2023
[c65]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woa/UnniyankalB0M23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/UnniyankalB0M23
Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. WOA 2023: 1-16
[c64]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-09787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-09787
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
3vLTL: A Tool to Generate Automata for Three-valued LTL. FMAS@iFM 2023: 180-187
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-09619
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-09619
Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras:
Asymptotic Convergence and Performance of Multi-Agent Q-Learning Dynamics. CoRR abs/2301.09619 (2023)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-11104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-11104
Alexander W. Goodall, Francesco Belardinelli:
Approximate Shielding of Atari Agents for Safe Exploration. CoRR abs/2304.11104 (2023)
[i26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-10987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-10987
Matt MacDermott, Tom Everitt, Francesco Belardinelli:
Characterising Decision Theories with Mechanised Causal Graphs. CoRR abs/2307.10987 (2023)
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-13922
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-13922
Aamal Abbas Hussain, Dan Leonte, Francesco Belardinelli, Georgios Piliouras:
Stability of Multi-Agent Learning: Convergence in Network Games with Many Players. CoRR abs/2307.13922 (2023)
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-13928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-13928
Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras:
Beyond Strict Competition: Approximate Convergence of Multi Agent Q-Learning Dynamics. CoRR abs/2307.13928 (2023)
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-00707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-00707
Alexander W. Goodall, Francesco Belardinelli:
Approximate Model-Based Shielding for Safe Reinforcement Learning. CoRR abs/2308.00707 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-17219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-17219
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR abs/2310.17219 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-17240
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-17240
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR abs/2310.17240 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-01350
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-01350
Francis Rhys Ward, Francesco Belardinelli, Francesca Toni, Tom Everitt:
Honesty Is the Best Policy: Defining and Mitigating AI Deception. CoRR abs/2312.01350 (2023)
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-11943
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-11943
Aamal Abbas Hussain, Francesco Belardinelli:
Stability of Multi-Agent Learning in Competitive Networks: Delaying the Onset of Chaos. CoRR abs/2312.11943 (2023)
2022
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BelardinelliLMY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BelardinelliLMY22
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu:
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. 73: 897-932 (2022)
[c63]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/HeLB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HeLB22
Chloe He, Borja G. León, Francesco Belardinelli:
Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding. SafeAI@AAAI 2022
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BelardinelliJMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliJMM22
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS 2022: 62-71
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/WardTB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/WardTB22
Francis Rhys Ward, Francesca Toni, Francesco Belardinelli:
On Agent Incentives to Manipulate Human Feedback in Multi-Agent Reward Learning Scenarios. AAMAS 2022: 1759-1761
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/BelardinelliLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/BelardinelliLM22
Francesco Belardinelli, Borja G. León, Vadim Malvone:
Enabling Markovian Representations under Imperfect Information. ICAART (2) 2022: 450-457
[c59]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/WardTB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/WardTB22
Francis Rhys Ward, Francesca Toni, Francesco Belardinelli:
A Causal Perspective on AI Deception in Games. ICLP Workshops 2022
[c58]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/LeonSB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/LeonSB22
Borja G. León, Murray Shanahan, Francesco Belardinelli:
In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications. ICLR 2022
[c57]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/WardBT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WardBT22
Francis Rhys Ward, Francesco Belardinelli, Francesca Toni:
A causal perspective on AI deception in games. AISafety@IJCAI 2022
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-09616
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-09616
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR abs/2201.09616 (2022)
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-13692
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-13692
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik:
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. CoRR abs/2203.13692 (2022)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-08896
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-08896
Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone:
Model Checking Strategic Abilities in Information-sharing Systems. CoRR abs/2204.08896 (2022)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-05973
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-05973
Rui Li, Francesco Belardinelli:
A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic. CoRR abs/2206.05973 (2022)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-13841
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-13841
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona:
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. CoRR abs/2206.13841 (2022)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14010
Francis Rhys Ward, Francesco Belardinelli, Francesca Toni:
Argumentative Reward Learning: Reasoning About Human Preferences. CoRR abs/2209.14010 (2022)
2021
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BelardinelliD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BelardinelliD21
Francesco Belardinelli, Stéphane Demri:
Strategic reasoning with a bounded number of resources: The quest for tractability. Artif. Intell. 300: 103557 (2021)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BelardinelliCDJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BelardinelliCDJ21
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik:
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Inf. Comput. 276: 104552 (2021)
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/MqirmiBL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/MqirmiBL21
Pierre El Mqirmi, Francesco Belardinelli, Borja G. León:
An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors. AAMAS 2021: 474-482
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LaurenBT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LaurenBT21
Stefan Lauren, Francesco Belardinelli, Francesca Toni:
Aggregating Bipolar Opinions. AAMAS 2021: 746-754
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/ZhuBL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/ZhuBL21
Shibei Zhu, Francesco Belardinelli, Borja Gonzalez León:
Evolutionary reinforcement learning for sparse rewards. GECCO Companion 2021: 1508-1512
[c53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BelardinelliKLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliKLM21
Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin:
Reasoning About Agents That May Know Other Agents' Strategies. IJCAI 2021: 1787-1793
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-01434
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-01434
Pierre El Mqirmi, Francesco Belardinelli, Borja G. León:
An Abstraction-based Method to Verify Multi-Agent Deep Reinforcement-Learning Behaviours. CoRR abs/2102.01434 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-02881
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-02881
Stefan Lauren, Francesco Belardinelli, Francesca Toni:
Aggregating Bipolar Opinions (With Appendix). CoRR abs/2102.02881 (2021)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-09461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-09461
Borja G. León, Murray Shanahan, Francesco Belardinelli:
In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications. CoRR abs/2110.09461 (2021)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-11490
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-11490
Chloe He, Borja G. León, Francesco Belardinelli:
Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding. CoRR abs/2112.11490 (2021)
2020
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BelardinelliLMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BelardinelliLMR20
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. 285: 103302 (2020)
[c52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BelardinelliLY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BelardinelliLY20
Francesco Belardinelli, Alessio Lomuscio, Emily Yu:
Model Checking Temporal Epistemic Logic under Bounded Recall. AAAI 2020: 7071-7078
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/BelardinelliM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BelardinelliM20
Francesco Belardinelli, Vadim Malvone:
Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment. ECAI 2020: 27-34
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/LeonB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/LeonB20
Borja G. León, Francesco Belardinelli:
Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning. ECAI 2020: 139-146
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/BelardinelliD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BelardinelliD20
Francesco Belardinelli, Stéphane Demri:
Reasoning with a Bounded Number of Resources in ATL+. ECAI 2020: 624-631
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/kr/BelardinelliM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BelardinelliM20
Francesco Belardinelli, Vadim Malvone:
A Three-valued Approach to Strategic Abilities under Imperfect Information. KR 2020: 89-98
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BelardinelliDMT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BelardinelliDMT20
Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea:
A Hennessy-Milner Theorem for ATL with Imperfect Information. LICS 2020: 181-194
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/JhaBT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/JhaBT20
Ria Jha, Francesco Belardinelli, Francesca Toni:
Formal verification of debates in argumentation theory. SAC 2020: 940-947
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-06000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-06000
Borja G. León, Francesco Belardinelli:
Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning. CoRR abs/2002.06000 (2020)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-08767
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-08767
Borja G. León, Murray Shanahan, Francesco Belardinelli:
Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning. CoRR abs/2006.08767 (2020)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-15000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-15000
Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea:
A Hennessy-Milner Theorem for ATL with Imperfect Information. CoRR abs/2006.15000 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BelardinelliLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BelardinelliLM19
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone:
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. AAAI 2019: 6030-6037
[c44]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliD19
Francesco Belardinelli, Stéphane Demri:
Resource-bounded ATL: the Quest for Tractable Fragments. AAMAS 2019: 206-214
[c43]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliG19
Francesco Belardinelli, Umberto Grandi:
A Social Choice Theoretic Perspective on Database Aggregation. AAMAS 2019: 1817-1819
[c42]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliBDM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliBDM19
Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone:
Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. AAMAS 2019: 1820-1822
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BelardinelliJKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliJKM19
Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano:
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI 2019: 88-94
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/BelardinelliM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/BelardinelliM19
Francesco Belardinelli, Vadim Malvone:
Decidable Verification of Agent-Based Data-Aware Systems. PRIMA 2019: 52-68
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/BelardinelliLMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/BelardinelliLMR19
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA 2019: 469-477
[c38]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1907-10492
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-10492
Francesco Belardinelli, Umberto Grandi:
Social Choice Methods for Database Aggregation. TARK 2019: 50-67
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-04350
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-04350
Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone:
Model Checking ATL* on vCGS. CoRR abs/1903.04350 (2019)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-05828
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-05828
Ria Jha, Francesco Belardinelli, Francesca Toni:
Formal Verification of Debates in Argumentation Theory. CoRR abs/1912.05828 (2019)
2018
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BelardinelliHK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BelardinelliHK18
Francesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer:
Second-order propositional modal logic: Expressiveness and completeness results. Artif. Intell. 263: 3-45 (2018)
[c37]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliLMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliLMR18
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS 2018: 1865-1867
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BelardinelliLMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliLMR18
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Alternating-time Temporal Logic on Finite Traces. IJCAI 2018: 77-83
[c35]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BelardinelliDM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BelardinelliDM18
Francesco Belardinelli, Catalin Dima, Aniello Murano:
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. KR 2018: 425-434
[c34]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BelardinelliLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BelardinelliLM18
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone:
Approximating Perfect Recall When Model Checking Strategic Abilities. KR 2018: 435-444
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/2017
Francesco Belardinelli, Estefania Argente:
Multi-Agent Systems and Agreement Technologies - 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Évry, France, December 14-15, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10767, Springer 2018, ISBN 978-3-030-01712-5 [contents]
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08586
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08586
Francesco Belardinelli, Umberto Grandi:
Database Aggregation. CoRR abs/1802.08586 (2018)
2017
[c33]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliL17
Francesco Belardinelli, Alessio Lomuscio:
Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information. AAMAS 2017: 1259-1267
[c32]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliLMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliLMR17
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS 2017: 1268-1276
[c31]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliCDJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliCDJ17
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones:
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS 2017: 1286-1295
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BelardinelliLMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliLMR17
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI 2017: 91-97
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BelardinelliKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliKL17
Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised Verification of Data-aware Multi-Agent Systems. IJCAI 2017: 98-104
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BelardinelliH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliH17
Francesco Belardinelli, Andreas Herzig:
Dynamic Logic for Data-aware Systems: Decidability Results. IJCAI 2017: 821-827
[c27]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BelardinelliDH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BelardinelliDH17
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek:
A Logic for Global and Local Announcements. TARK 2017: 28-42
[c26]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BelardinelliGHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BelardinelliGHL17
Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel:
Relaxing Exclusive Control in Boolean Games. TARK 2017: 43-56
2016
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BelardinelliH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BelardinelliH16
Francesco Belardinelli, Wiebe van der Hoek:
A Semantical Analysis of Second-Order Propositional Modal Logic. AAAI 2016: 886-892
[c24]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliDH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliDH16
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek:
Second-order Propositional Announcement Logic. AAMAS 2016: 635-643
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BelardinelliLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BelardinelliLM16
Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn:
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. ECAI 2016: 286-294
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BelardinelliL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BelardinelliL16
Francesco Belardinelli, Alessio Lomuscio:
Abstraction-Based Verification of Infinite-State Reactive Modules. ECAI 2016: 725-733
[c21]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BelardinelliH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliH16
Francesco Belardinelli, Andreas Herzig:
On Logics of Strategic Ability Based on Propositional Control. IJCAI 2016: 95-101
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BelardinelliL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BelardinelliL16
Francesco Belardinelli, Alessio Lomuscio:
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. JELIA 2016: 112-126
2015
[c19]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BelardinelliG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliG15
Francesco Belardinelli, Davide Grossi:
On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. AAMAS 2015: 237-245
[c18]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BelardinelliGL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliGL15
Francesco Belardinelli, Davide Grossi, Alessio Lomuscio:
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. IJCAI 2015: 854-860
[c17]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BelardinelliGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliGM15
Francesco Belardinelli, Davide Grossi, Nicolas Maudet:
Formal Analysis of Dialogues on Infinite Argumentation Frameworks. IJCAI 2015: 861-867
[c16]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BelardinelliH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliH15
Francesco Belardinelli, Wiebe van der Hoek:
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. IJCAI 2015: 2748-2754
2014
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BelardinelliLP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BelardinelliLP14
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Agent-Based Artifact Systems. J. Artif. Intell. Res. 51: 333-376 (2014)
[c15]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/Belardinelli14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Belardinelli14
Francesco Belardinelli:
Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction. AAMAS 2014: 717-724
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/Belardinelli14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Belardinelli14
Francesco Belardinelli:
Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. ECAI 2014: 81-86
[c13]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/Belardinelli14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Belardinelli14
Francesco Belardinelli:
Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux. KR 2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Belardinelli14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Belardinelli14
Francesco Belardinelli:
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. SR 2014: 27-33
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BelardinelliL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BelardinelliL14
Francesco Belardinelli, Alessio Lomuscio:
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. CoRR abs/1401.5849 (2014)
2013
[c11]
- view
- export record
  dblp key:
  - conf/ijcai/BelardinelliL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliL13
Francesco Belardinelli, Alessio Lomuscio:
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. IJCAI 2013: 725-731
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-2678
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-2678
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Agent-Based Artifact Systems. CoRR abs/1301.2678 (2013)
2012
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BelardinelliL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BelardinelliL12
Francesco Belardinelli, Alessio Lomuscio:
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. J. Artif. Intell. Res. 45: 1-45 (2012)
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/BelardinelliLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BelardinelliLP12
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. ICSOC 2012: 17-31
[c9]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BelardinelliLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BelardinelliLP12
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
An Abstraction Technique for the Verification of Artifact-Centric Systems. KR 2012
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-1271
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1271
Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio:
Automated Verification of Quantum Protocols using MCMAS. QAPL 2012: 48-62
2011
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BelardinelliL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BelardinelliL11
Francesco Belardinelli, Alessio Lomuscio:
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Fundam. Informaticae 106(2-4): 175-190 (2011)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BelardinelliJL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BelardinelliJL11
Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio:
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. Fundam. Informaticae 112(1): 19-37 (2011)
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/BelardinelliLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BelardinelliLP11
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Deployed Artifact Systems via Data Abstraction. ICSOC 2011: 142-156
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/BelardinelliLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BelardinelliLP11
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. IJCAI 2011: 738-743
2010
[c5]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BelardinelliL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BelardinelliL10
Francesco Belardinelli, Alessio Lomuscio:
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. KR 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BelardinelliL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BelardinelliL09
Francesco Belardinelli, Alessio Lomuscio:
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artif. Intell. 173(9-10): 982-1013 (2009)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/BelardinelliL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/BelardinelliL09
Francesco Belardinelli, Alessio Lomuscio:
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. WoLLIC 2009: 140-154
2008
[c3]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BelardinelliL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BelardinelliL08
Francesco Belardinelli, Alessio Lomuscio:
A Complete First-Order Logic of Knowledge and Time. KR 2008: 705-714
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BelardinelliL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BelardinelliL07
Francesco Belardinelli, Alessio Lomuscio:
A quantified epistemic logic for reasoning about multiagent systems. AAMAS 2007: 87
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BelardinelliL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BelardinelliL07
Francesco Belardinelli, Alessio Lomuscio:
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. CLIMA 2007: 248-267
2004
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BelardinelliJO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BelardinelliJO04
Francesco Belardinelli, Peter Jipsen, Hiroakira Ono:
Algebraic Aspects of Cut Elimination. Stud Logica 77(2): 209-240 (2004)

Coauthor Index

see FAQ

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.