1:09:32NMR 2020 - Session: Non-Monotonic Logics/ Reasoning 2KR conference series189 viewsView & Download
41:56ASP: Theory, Practice, and BeyondSimons Institute for the Theory of Computing1.2K viewsView & Download
13:49An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set ProgrammingSUM Conference81 viewsView & Download