The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesco Belardinelli" ( http://dblp.L3S.de/Authors/Francesco_Belardinelli )

  Author page on DBLP  Author page in RDF  Community of Francesco Belardinelli in ASPL-2

Publication years (Num. hits)
2004-2012 (15) 2013-2016 (18) 2017-2018 (15) 2019 (9)
Publication types (Num. hits)
article(11) inproceedings(45) proceedings(1)
Venues (Conferences, Journals, ...)
AAMAS(11) IJCAI(11) KR(6) CoRR(4) ECAI(3) TARK(3) AAAI(2) Artif. Intell.(2) Fundam. Inform.(2) ICSOC(2) J. Artif. Intell. Res.(2) PRIMA(2) CLIMA(1) EUMAS/AT(1) JELIA(1) QAPL(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 58 publication records. Showing 57 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone Model Checking ATL* on vCGS. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Belardinelli, Umberto Grandi Social Choice Methods for Database Aggregation. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Vadim Malvone Decidable Verification of Agent-Based Data-Aware Systems. Search on Bibsonomy PRIMA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. Search on Bibsonomy PRIMA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Umberto Grandi A Social Choice Theoretic Perspective on Database Aggregation. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Belardinelli, Stéphane Demri Resource-bounded ATL: the Quest for Tractable Fragments. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer Second-order propositional modal logic: Expressiveness and completeness results. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Umberto Grandi Database Aggregation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Belardinelli, Catalin Dima, Aniello Murano Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone Approximating Perfect Recall When Model Checking Strategic Abilities. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin Alternating-time Temporal Logic on Finite Traces. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Estefania Argente (eds.) 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 Search on Bibsonomy EUMAS/AT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin Decidable Verification of Multi-agent Systems with Bounded Private Actions. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel Relaxing Exclusive Control in Boolean Games. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek A Logic for Global and Local Announcements. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio Parameterised Verification of Data-aware Multi-Agent Systems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Andreas Herzig Dynamic Logic for Data-aware Systems: Decidability Results. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin Verification of Multi-agent Systems with Imperfect Information and Public Actions. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Belardinelli, Wiebe van der Hoek A Semantical Analysis of Second-Order Propositional Modal Logic. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio Abstraction-Based Verification of Infinite-State Reactive Modules. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Andreas Herzig On Logics of Strategic Ability Based on Propositional Control. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek Second-order Propositional Announcement Logic. Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Francesco Belardinelli, Wiebe van der Hoek Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Francesco Belardinelli, Davide Grossi, Nicolas Maudet Formal Analysis of Dialogues on Infinite Argumentation Frameworks. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Francesco Belardinelli, Davide Grossi, Alessio Lomuscio Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Francesco Belardinelli, Davide Grossi On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi Verification of Agent-Based Artifact Systems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Francesco Belardinelli Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. Search on Bibsonomy SR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Francesco Belardinelli Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi Verification of Agent-Based Artifact Systems Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio Automated Verification of Quantum Protocols using MCMAS Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. Search on Bibsonomy ICSOC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi An Abstraction Technique for the Verification of Artifact-Centric Systems. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi Verification of Deployed Artifact Systems via Data Abstraction. Search on Bibsonomy ICSOC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Search on Bibsonomy Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio A Complete First-Order Logic of Knowledge and Time. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. Search on Bibsonomy CLIMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio A quantified epistemic logic for reasoning about multiagent systems. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF completeness, first-order logic, epistemic logic
1Francesco Belardinelli, Peter Jipsen, Hiroakira Ono Algebraic Aspects of Cut Elimination. Search on Bibsonomy Studia Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Algebraic Gentzen systems, finite model property, residuated lattices, cut elimination, substructural logics
Displaying result #1 - #57 of 57 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license