Search Results - "automated reasoning"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 12
- Software Engineering 12
- Computer programming / software development 8
- Mathematical theory of computation 8
- Artificial Intelligence 4
- Computer Science Logic and Foundations of Programming 4
- Computer networking & communications 4
- Computer science 4
- Formal Languages and Automata Theory 4
- Machine theory 4
- Software engineering 4
- Algorithms & data structures 2
- Computer Engineering and Networks 2
- Computer engineering 2
- Computer networks 2
- Philosophy 2
- Systems analysis & design 2
- Computer System Implementation 1
- Computer systems 1
- Control Structures and Microprogramming 1
- Microprogramming 1
-
1
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published 2022Link to Metadata
Electronic eBook -
2
-
3
-
4
-
5
-
6
-
7
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…automated reasoning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…automated reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
9
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…automated reasoning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…automated reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
11
An Introduction to Ontology Engineering
Published 2018Table of Contents: “…1 Introduction -- 2 First order logic and automated reasoning in a nutshell -- 3 Description Logics -- 4 The Web Ontology Language OWL 2 -- 5 Methods and Methodologies -- 6 Top-down Ontology Development -- 7 Bottom-up Ontology Development -- 8 Ontology-Based Data Access -- 9 Ontologies and natural languages -- 10 Advanced Modelling with Additional Languages Features…”
Access online version
Electronic eBook -
12
Applied Ontology. An Introduction
Published 2013DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
-
14
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published 2023Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata
Electronic eBook