Inga Ibs

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Automated Reasoning

Propositional Satisfiability

Top Venues

Publications

Florian Kadner, Hannah Willkomm, Inga Ibs, Constantin A. Rothkopf
Finding your Way Out: Planning Strategies in Human Maze-Solving Behavior. CogSci (2023)
Inga Ibs, Nico Potyka
Explainable Automated Reasoning in Law using Probabilistic Epistemic Argumentation. CoRR (2020)