Dragan Doder

Int. J. Approx. Reason., December, 2023

Probabilistic Deontic Logics for Reasoning about Uncertain Norms.

[BibT_eX]

[DOI]

Vincent de Wit

John-Jules Ch. Meyer

FLAP, 2023

Group Responsibility for Exceeding Risk Threshold.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Probabilistic Temporal Logic for Reasoning about Bounded Policies.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Parametrized Gradual Semantics Dealing with Varied Degrees of Compensation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Dynamics of Causal Dependencies in Multi-agent Settings.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023

Determining Preferences over Extensions: A Cautious Approach to Preference-Based Argumentation Frameworks.

[BibT_eX]

[DOI]

Saul Gebhardt

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

Graduality in Probabilistic Argumentation Frameworks.

[BibT_eX]

[DOI]

Jeroen Paul Spaans

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Dynamic Causality.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Rights and Practical Reasoning in Deontic Logic.

[BibT_eX]

Leendert van der Torre

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022

Evaluation of argument strength in attack graphs: Foundations and semantics.

[BibT_eX]

[DOI]

Artif. Intell., 2022

2021

Logics for reasoning about degrees of confirmation.

[BibT_eX]

[DOI]

J. Log. Comput., 2021

An Epistemic Probabilistic Logic with Conditional Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

A Probabilistic Deontic Logic.

[BibT_eX]

[DOI]

Vincent de Wit

John-Jules Ch. Meyer

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020

A First-order Logic for Reasoning about Knowledge and Probability.

[BibT_eX]

[DOI]

Sinisa Tomovic

ACM Trans. Comput. Log., 2020

Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2020

Intention as commitment toward time.

[BibT_eX]

[DOI]

Artif. Intell., 2020

Ranking Semantics for Argumentation Systems With Necessities.

[BibT_eX]

[DOI]

Madalina Croitoru

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Reasoning About Degrees of Confirmation.

[BibT_eX]

[DOI]

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Incomplete Information and Justifications.

[BibT_eX]

[DOI]

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Compilation of Logical Arguments.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Probabilistic Consensus of the Blockchain Protocol.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Probabilistic Logic for Reasoning About Actions in Time.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Similarity Measures Between Arguments Revisited.

[BibT_eX]

[DOI]

Victor David

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Gradual Semantics Accounting for Varied-Strength Attacks.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Gradual Semantics for Weighted Graphs: An Unifying Approach.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Gradual Semantics Accounting for Similarity between Arguments.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017

Probabilistic Logics with Independence and Confirmation.

[BibT_eX]

[DOI]

Stud Logica, 2017

Logics with lower and upper probability operators.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

Acceptability Semantics for Weighted Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016

AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version).

[BibT_eX]

[DOI]

CoRR, 2016

Ranking Arguments With Compensation-Based Semantics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

AGM-Style Revision of Beliefs and Intentions.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

A Probabilistic Logic for Reasoning about Uncertain Temporal Information.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

AGM Revision of Beliefs about Action and Time.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Mehdi Dastani

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

How to Decrease and Resolve Inconsistency of a Knowledge Base?.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

Probabilistic Common Knowledge Among Infinite Number of Agents.

[BibT_eX]

[DOI]

Sinisa Tomovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Consistency Conditions for Beliefs and Intentions.

[BibT_eX]

[DOI]

Mehdi Dastani

Leendert W. N. van der Torre

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

A propositional linear time logic with time flow isomorphic to ω<sup>2</sup>.

[BibT_eX]

[DOI]

J. Appl. Log., 2014

Probabilistic Argumentation Frameworks - A Logical Approach.

[BibT_eX]

[DOI]

Stefan Woltran

Proceedings of the Scalable Uncertainty Management - 8th International Conference, 2014

Probabilistic Abstract Dialectical Frameworks.

[BibT_eX]

[DOI]

Sylwia Polberg

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Probabilistic logics for objects located in space and time.

[BibT_eX]

[DOI]

John Grant

J. Log. Comput., 2013

A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2.

[BibT_eX]

[DOI]

CoRR, 2013

A First-Order Dynamic Probability Logic.

[BibT_eX]

[DOI]

Aleksandar Perovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

2012

A propositional probabilistic logic with discrete linear time for reasoning about evidence.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2012

On Real-Valued Evaluation of Propositional Formulas.

[BibT_eX]

[DOI]

Aleksandar Perovic

Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011

A Branching Time Logic with Two Types of Probability Operators.

[BibT_eX]

[DOI]

Zoran Markovic

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

Probabilistic Approach to Nonmonotonic Consequence Relations.

[BibT_eX]

[DOI]

Aleksandar Perovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010

An Axiomatization of a First-order Branching Time Temporal Logic.

[BibT_eX]

[DOI]