Search

Your search keyword '"Steen, Alexander"' showing total 144 results

Search Constraints

Start Over You searched for: Author "Steen, Alexander" Remove constraint Author: "Steen, Alexander" Database OAIster Remove constraint Database: OAIster
144 results on '"Steen, Alexander"'

Search Results

1. An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

2. Solving Quantified Modal Logic Problems by Translation to Classical Logics

Catalog

Books, media, physical & digital resources

3. Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)

4. Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers

5. An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning

6. Automated Reasoning in Non-classical Logics in the TPTP World

7. A Flexible Approach to Argumentation Framework Analysis using Theorem Proving

9. A Flexible Approach to Argumentation Framework Analysis using Theorem Proving

10. Goal-Directed Decision Procedures for Input/Output Logics

12. A Formalisation of Abstract Argumentation in Higher-Order Logic

13. Goal-Directed Decision Procedures for Input/Output Logics

14. scala-tptp-parser

15. rio: Reasoner for Input/Output Logics

16. Extensional Higher-Order Paramodulation in Leo-III

17. A Formalisation of Abstract Argumentation in Higher-Order Logic

18. rio: Reasoner for Input/Output Logics

19. Extensional Higher-Order Paramodulation in Leo-III

20. scala-tptp-parser

21. A Formalisation of Abstract Argumentation in Higher-Order Logic

23. Towards an Executable Methodology for the Formalization of Legal Texts

24. I/O Logic Workbench

25. The Higher-Order Prover Leo-III (Highlight paper)

26. NAI: Towards Transparent and Usable Semi-Automated Legal Analysis

27. NAI: Towards Transparent and Usable Semi-Automated Legal Analysis

28. NAI: Towards Transparent and Usable Semi-Automated Legal Analysis

29. Leo-III 1.5

30. LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset)

31. NAI: Towards Transparent and Usable Semi-Automated Legal Analysis

32. Leo-III 1.5

33. NAI: Towards Transparent and Usable Semi-Automated Legal Analysis

34. LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset)

36. NAI: Towards Transparent and Usable Semi-Automated Legal Analysis

37. Towards an Executable Methodology for the Formalization of Legal Texts

38. Towards an Executable Methodology for the Formalization of Legal Texts

39. NAI: Towards Transparent and Usable Semi-Automated Legal Analysis

40. The Higher-Order Prover Leo-III (Highlight paper)

41. NAI: Towards Transparent and Usable Semi-Automated Legal Analysis

42. Towards an Executable Methodology for the Formalization of Legal Texts

45. I/O Logic Workbench

46. On Reductions of Hintikka Sets for Higher-Order Logic