Search

Your search keyword '"automated reasoning"' showing total 2,642 results

Search Constraints

Start Over You searched for: Descriptor "automated reasoning" Remove constraint Descriptor: "automated reasoning" Database OpenAIRE Remove constraint Database: OpenAIRE
2,642 results on '"automated reasoning"'

Search Results

1. Polite Combination of Algebraic Datatypes

2. Larry Wos: Visions of Automated Reasoning

3. LPG-Based Knowledge Graphs: A Survey, a Proposal and Current Trends

4. Mechanical certification of FOLID cyclic proofs

5. Compositional pre-processing for automated reasoning in dependent type theory

6. Meta-ontology fault detection

7. What makes test programs similar in microservices applications??

8. Automated Polyhedral Abstraction Proving

10. Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches

11. Contract as automaton: representing a simple financial agreement in computational form

12. Proof Complexity of Modal Resolution

13. Enhancing reasoning through reduction of vagueness using fuzzy OWL-2 for representation of breast cancer ontologies

14. Consolidation des solveurs SMT pour les assistants de preuve : preuves, simplification des quantificateurs, planification de stratégies

15. An overview of the ABC Repair System for Datalog-like Theories

16. Handling Transitive Relations in First-Order Automated Reasoning

17. Formal model-driven executable DSLs

18. Experiments with Automated Reasoning in the Class

19. Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes

20. Formal Premise Selection With Language Models

21. Automating Security Analysis of Off-Chain Protocols

22. Materialisation and data partitioning algorithms for distributed RDF systems

23. Model Completeness, Uniform Interpolants and Superposition Calculus

24. On a problem that was not interesting for Erdős

25. Automated reasoning tools in GeoGebra discovery

26. Automated non-monotonic reasoning in System P

27. Automated Reasoning with Restricted Intensional Sets

28. Extensional Higher-Order Paramodulation in Leo-III

29. Latte

30. Mu-Calculus Satisfiability with Arithmetic Constraints

31. ARC: An Educational Project on Automated Reasoning in the Class

32. Principles of KLM-style Defeasible Description Logics

33. Towards an ecosystem for computer-supported geometric reasoning

34. Lucas-Interpretation on Isabelle's Functions

35. Integrated data and knowledge driven methodology for human activity recognition

36. Computer-inspired quantum experiments

37. <scp>EEG</scp>Analysis for Subjective Assessment of Motor Learning Skill in Driving Using Type‐2 Fuzzy Reasoning

38. Modelado de la gestión curricular basada en procesos de negocio sensibles al contexto

39. The African wildlife ontology tutorial ontologies

40. Actionable Ethics through Neural Learning

41. Algorithmic allocation

42. Skill-Based Verification of Cyber-Physical Systems

43. All-Spin Bayesian Neural Networks

44. Reasoning about linkages with dynamic geometry

45. Combining lexical and context features for automatic ontology extension

46. Certification de la transformation de tâches de preuve

47. Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting

48. The RISCTP theorem proving interface - tutorial and reference manual (Version 1.0.*) : RISC Report Series, 22-07

49. Non-Linear SMT-Reasoning over Finite Fields

50. Automated reasoning in non-classical logics in the TPTP world

Catalog

Books, media, physical & digital resources