Michael Bernreiter

Orcid: 0000-0002-1649-2543

According to our database1, Michael Bernreiter authored at least 9 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Sequent Calculi for Choice Logics.
J. Autom. Reason., June, 2024

Combining Voting and Abstract Argumentation to Understand Online Discussions.
CoRR, 2024

2023
Validity in Choice Logics - A Game-Theoretic Investigation.
Proceedings of the Logic, Language, Information, and Computation, 2023

From Qualitative Choice Logic to Abstract Argumentation.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Truth and Preferences - A Game Approach for Qualitative Choice Logic.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022
Choice logics and their computational properties.
Artif. Intell., 2022

The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View.
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Abstract Argumentation with Conditional Preferences.
Proceedings of the Computational Models of Argument, 2022

2020
Encoding Choice Logics in ASP.
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020


  Loading...