Search Results - "logic programming"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 11
- Artificial intelligence 7
- Computer science 7
- Mathematical theory of computation 7
- Computer programming / software development 6
- Logic in AI 6
- Logic programming 6
- Software engineering 4
- Computer Engineering and Networks 3
- Computer Science Logic and Foundations of Programming 3
- Computer engineering 3
- Computer networks 3
- Formal Languages and Automata Theory 3
- Machine theory 3
- Computer networking & communications 2
- Control Structures and Microprogramming 2
- Mathematics 2
- Microprogramming 2
- Theory of Computation 2
- Algorithms 1
- Application software 1
- Artificial Intelligence 1
- Business Information Systems 1
- Business information services 1
- Coding and Information Theory 1
- Coding theory 1
- Compilers (Computer programs) 1
- Compilers and Interpreters 1
- Computer Application in Administrative Data Processing 1
- Computer and Information Systems Applications 1
-
21
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published 2021Table of Contents: “…Static EL Tboxes -- Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance -- A Unifying Splitting Framework -- Integer Induction in Saturation -- Superposition with First-Class Booleans and Inprocessing Clausification -- Superposition for Full Higher-Order Logic -- Implementation and Application -- Making Higher-Order Superposition Work -- Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver -- Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant -- An Automated Approach to the Collatz Conjecture -- Verified Interactive Computation of Definite Integrals -- ATP and AI -- Confidences for Commonsense Reasoning -- Neural Precedence Recommender -- Improving ENIGMA-Style Clause Selection While Learning From History -- System Descriptions -- A Normative Supervisor for Reinforcement Learning Agents (System Description) -- Automatically Building Diagrams for Olympiad Geometry Problems (System Description) -- The Fusemate Logic Programming System (System Description) -- Twee: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant (System Description) -- The Lean 4 Theorem Prover and Programming Language (System Description) -- Harpoon: Mechanizing Metatheory Interactively (System Description).…”
Link to Metadata
Electronic eBook -
22
-
23
-
24
-
25