144 results on '"Steen, Alexander"'
Search Results
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
8. Guest Column: It is dark before dawn
9. A Flexible Approach to Argumentation Framework Analysis using Theorem Proving
10. Goal-Directed Decision Procedures for Input/Output Logics
11. Guest Column: It is dark before dawn
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
22. Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
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)
35. On Reductions of Hintikka Sets for Higher-Order Logic
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
43. Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
44. On Reductions of Hintikka Sets for Higher-Order Logic
45. I/O Logic Workbench
46. On Reductions of Hintikka Sets for Higher-Order Logic
47. Consistent Rational Argumentation in Politics (CRAP)
48. Consistent Rational Argumentation in Politics (CRAP)
49. The Higher-Order Prover Leo-III
50. NAI – The Normative Reasoner
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.