Lash 1.0 (System Description)

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IJCAR (11. : 2022 : Haifa) Automated reasoning
1. Verfasser:	Brown, Chad E. (VerfasserIn)
Weitere Verfasser:	Kaliszyk, Cezary (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
SCL(EQ): SCL for First-Order Logic with Equality	2022	Leidinger, Hendrik
SAT-Based Proof Search in Intermediate Propositional Logics	2022	Fiorentini, Camillo
Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description)	2022	Kremer, Gereon
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)	2022	Durán, Francisco
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)	2022	Cailler, Julie
Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices	2022	Lahav, Ori
Leśniewski’s Ontology - Proof-Theoretic Characterization	2022	Indrzejczak, Andrzej
GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description)	2022	Tammet, Tanel
Synthetic Tableaux: Minimal Tableau Search Heuristics	2022	Sochański, Michał
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

Alle Artikel auflisten