Pere Pardo

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 15

Top Topics

Propositional Logic

Top Venues

J. Log. Comput.

Publications

Pere Pardo, Christian Straßer
Modular orders on defaults in formal argumentation. J. Log. Comput. 34 (4) (2024)
Beishui Liao, Pere Pardo, Marija Slavkovik, Leendert van der Torre
The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation. J. Artif. Intell. Res. 77 (2023)
Chen Chen, Pere Pardo, Leendert van der Torre, Liuwen Yu
Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis. CLAR (2023)
Pere Pardo
A Modal View on Resource-Bounded Propositional Logics. Stud Logica 110 (4) (2022)
Pere Pardo
Correction to: A Modal View on Resource-Bounded Propositional Logics. Stud Logica 110 (6) (2022)
Christian Straßer, Pere Pardo
Prioritized Defaults and Formal Argumentation. DEON (2021)
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. CoRR (2019)
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. FLAP 6 (1) (2019)
Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer
Argument Strength in Formal Argumentation. FLAP 5 (3) (2018)
Pere Pardo, Enrique Sarión-Morrillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Tuning the Program Transformers from CC to PDL. FLAP 5 (1) (2018)
Pere Pardo, Lluís Godo
A temporal argumentation approach to cooperative planning using dialogues. J. Log. Comput. 28 (3) (2018)
Jesse Heyninck, Pere Pardo, Christian Straßer
Assumption-Based Approaches to Reasoning with Priorities. AI^3@AI*IA (2017)
Jesse Heyninck, Christian Straßer, Pere Pardo
Assumption-Based Approaches to Reasoning with Priorities. CoRR (2017)
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
Epistemic protocols for dynamic gossip. J. Appl. Log. 20 (2017)
Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents. J. Log. Lang. Inf. 25 (1) (2016)
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
Dynamic Gossip. CoRR (2015)
Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Efficient Program Transformers for Translating LCC to PDL. JELIA (2014)
Pere Pardo, Lluís Godo
An Argumentation-Based Multi-agent Temporal Planning System Built on t-DeLP. CAEPIA (2013)
Pere Pardo, Lluís Godo
A Temporal Argumentation Approach to Cooperative Planning Using Dialogues. CLIMA (2013)
Pere Pardo, Lluís Godo
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework. Ann. Math. Artif. Intell. 69 (1) (2013)
Pere Pardo, Mehrnoosh Sadrzadeh
Strong Planning in the Logics of Communication and Change. DALT (2012)
Pere Pardo, Mehrnoosh Sadrzadeh
Backward Planning in the Logics of Communication and Change. AT (2012)
Pere Pardo, Mehrnoosh Sadrzadeh
Planning in the logics of communication and change. AAMAS (2012)
Lluís Godo, Enrico Marchioni, Pere Pardo
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. JELIA (2012)
Pere Pardo, Sergio Pajares, Eva Onaindia, Lluís Godo, Pilar Dellunde
Multiagent argumentation for cooperative planning in DeLP-POP. AAMAS (2011)
Pere Pardo, Sergio Pajares Ferrando, Eva Onaindia, Lluís Godo, Pilar Dellunde
Cooperative Dialogues for Defeasible Argumentation-Based Planning. ArgMAS (2011)
Pere Pardo, Pilar Dellunde, Lluís Godo
Argumentation-based Negotiation in t-DeLP-POP. CCIA (2011)
Pere Pardo, Lluís Godo
t-DeLP: A Temporal Extension of the Defeasible Logic Programming Argumentative Framework. SUM (2011)
Pere Pardo, Pilar Dellunde, Lluís Godo
Secure and Optimal Base Contraction in Graded Lukasiewicz Logics. CCIA (2009)
Pere Pardo
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics. SUM (2009)
Pere Pardo, Pilar Dellunde, Lluís Godo
Base Belief Change for Finitary Monotonic Logics. CAEPIA (2009)