vix.ing · top · new · best · stats · spec

Nicholas Leisegang

  1. Towards Propositional KLM-Style Defeasible Standpoint Logics
    2024/10/05 by Nicholas Leisegang, Thomas Meyer, Leisegang, Nicholas +3 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems