User guided abductive proof generation for answer set programming queries

由 MAHAJAN, Avishkar, STRECKER, Martin, WONG, Meng Weng (HUANG Mingrong)
出版 2022

Automating defeasible reasoning in law with answer set programming

由 LIM, How Khang, MAHAJAR, Avishkar, STRECKER, Martin, WONG, Meng Weng
出版 2022

Compliance through model checking

由 MAHAJAN, Avishkar, STRECKER Martin, WATT, Seng Joe, WONG, Meng Weng (HUANG Mingrong)
出版 2022