Evonne: Interactive Proof Visualization for Description Logics (System Description)

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IJCAR (11. : 2022 : Haifa) Automated reasoning
1. Verfasser:	Alrabbaa, Christian (VerfasserIn)
Weitere Verfasser:	Baader, Franz (VerfasserIn), Borgwardt, Stefan (VerfasserIn), Dachselt, Raimund (VerfasserIn), Koopmann, Patrick (VerfasserIn), Méndez, Julián (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Clause Redundancy and Preprocessing in Maximum Satisfiability	2022	Ihalainen, Hannes
Ground Joinability and Connectedness in the Superposition Calculus	2022	Duarte, André
Term Orderings for Non-reachability of (Conditional) Rewriting	2022	Yamada, Akihisa
Semantic Relevance	2022	Haifani, Fajar
A Framework for Approximate Generalization in Quantitative Theories	2022	Kutsia, Temur
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops	2022	Lommen, Nils
On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices	2022	Akshay, S.
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

Alle Artikel auflisten