LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

B
Benzmüller, Christoph	Going Polymorphic - TH1 Reasoning for Leo-III Capability Discovery for Automated Reasoning Systems
K
Korovin, Konstantin	Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
L
Lopez Hernandez, Julio Cesar	Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
R
Reger, Giles	Recent Improvements of Theory Reasoning in Vampire Set of Support for Theory Reasoning
S
Schurr, Hans-Jörg	Capability Discovery for Automated Reasoning Systems
Steen, Alexander	Going Polymorphic - TH1 Reasoning for Leo-III Capability Discovery for Automated Reasoning Systems
Suda, Martin	Recent Improvements of Theory Reasoning in Vampire Set of Support for Theory Reasoning
V
Voronkov, Andrei	Recent Improvements of Theory Reasoning in Vampire
W
Wisniewski, Max	Going Polymorphic - TH1 Reasoning for Leo-III Capability Discovery for Automated Reasoning Systems

Disclaimer | Powered by EasyChair Smart Program