Search

Your search keyword '"Automated theorem proving"' showing total 78 results

Search Constraints

Start Over You searched for: Descriptor "Automated theorem proving" Remove constraint Descriptor: "Automated theorem proving" Database OAIster Remove constraint Database: OAIster
78 results on '"Automated theorem proving"'

Search Results

1. LGEM+ : A First-Order Logic Framework for Automated Improvement of Metabolic Network Models Through Abduction

2. Abstract Reasoning with Deep Learning

3. User-aided Conjecturing for Augmenting Premise Sets in Automated Theorem Proving

4. Abstract reasoning with Deep Learning

5. Automated Theorem Proving for Metamath

6. Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472)

7. Integrated Deduction (Dagstuhl Seminar 21371)

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

11. scala-tptp-parser

12. Extensional Higher-Order Paramodulation in Leo-III

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

14. Extensional Higher-Order Paramodulation in Leo-III

15. scala-tptp-parser

16. Topological and geometrical quantum computation in cohesive Khovanov homotopy type theory

17. Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support

18. Leo-III 1.5

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

20. Leo-III 1.5

21. Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support

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

23. Fostering technically augmented human collective intelligence: With an application to human fluency in formal languages for automated deduction

24. Quantifiers and Theories : A Lazy Approach

25. Quantifiers and Theories : A Lazy Approach

26. A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic

27. Quantifiers and Theories : A Lazy Approach

28. A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic

29. Hammering Mizar by Learning Clause Guidance (Short Paper)

30. Quantifiers and Theories : A Lazy Approach

31. Quantifiers and Theories : A Lazy Approach

32. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

33. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

34. Leo-III Version 1.1 (System description)

35. Leo-III Version 1.1 (System description)

36. Proof-search in Hilbert calculi

37. Формализација и аутоматско доказивање теорема еуклидске геометрије

38. Аутоматско решавање конструктивних проблема у геометрији

39. The Cantor Trilogy

40. Efficient Data Structures for Automated Theorem Proving in Expressive Higher-Order Logics

41. Usmeravanje pretrage u automatskom dokazivanju teorema

42. Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model

44. A Terminating Evaluation-Driven Variant of G3i

45. Abstracting Continuous Nonpolynomial Dynamical Systems

46. Correct Reasoning about Logic Programs

47. Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World

48. fCube: An Efficient Prover for Intuitionistic Propositional Logic

50. Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops

Catalog

Books, media, physical & digital resources