共 50 条
- [21] Credulous and autoepistemic reasoning using ordered logic Logic Programming and Non-monotonic Reasoning - Proceedings, 1991,
- [22] The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (267): : 19 - 37
- [23] Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2008, PROCEEDINGS, 2008, 5249 : 167 - 176
- [24] A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323 : 6 - 21
- [27] Outlier detection using default reasoning ARTIFICIAL INTELLIGENCE, 2008, 172 (16-17) : 1837 - 1872
- [28] A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2019, 2019, 11481 : 163 - 177
- [29] Soundly Proving B Method Formulæ Using Typed Sequent Calculus THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 196 - 213