GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description)

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IJCAR (11. : 2022 : Haifa) Automated reasoning
1. Verfasser: Tammet, Tanel (VerfasserIn)
Weitere Verfasser: Draheim, Dirk (VerfasserIn), Järv, Priit (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Connection-Minimal Abduction in EL via Translation to FOL 2022 Haifani, Fajar
Preprocessing of Propagation Redundant Clauses 2022 Reeves, Joseph E.
Reasoning About Vectors Using an SMT Theory of Sequences 2022 Sheng, Ying
CTL∗ Model Checking for Data-Aware Dynamic Systems with Arithmetic 2022 Felli, Paolo
An Efficient Subsumption Test Pipeline for BS(LRA) Clauses 2022 Bromberger, Martin
From the Universality of Mathematical Truth to the Interoperability of Proof Systems 2022 Dowek, Gilles
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts 2022 Albert, Elvira
Cyclic Proofs, Hypersequents, and Transitive Closure Logic 2022 Das, Anupam
Local Reductions for the Modal Cube 2022 Nalon, Cláudia
Sequent Calculi for Choice Logics 2022 Bernreiter, Michael
Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description) 2022 Suda, Martin
Rensets and Renaming-Based Recursion for Syntax with Bindings 2022 Popescu, Andrei
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description) 2022 Frohn, Florian
Implicit Definitions with Differential Equations for KeYmaera X 2022 Gallicchio, James
Flexible Proof Production in an Industrial-Strength SMT Solver 2022 Barbosa, Haniel
Lash 1.0 (System Description) 2022 Brown, Chad E.
Evonne: Interactive Proof Visualization for Description Logics (System Description) 2022 Alrabbaa, Christian
Paraconsistent Gödel Modal Logic 2022 Bílková, Marta
Non-associative, Non-commutative Multi-modal Linear Logic 2022 Blaisdell, Eben
Binary Codes that Do Not Preserve Primitivity 2022 Holub, Štěpán
Alle Artikel auflisten