non-monotonic reasoning

answer set programming (97) knowledge representation (301) logic programming (50) belief revision (52) logical reasoning (310) argumentation framework (50) belief change (11) modal logic (55) formal semantics (35) large language model (13587)