LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

A
Abraham, Erika	Parameter Synthesis for Probabilistic Hyperproperties
Adi, Yossi	Minimal Modifications of Deep Neural Networks using Verification
Albert, Elvira	LPAR-23 Welcome
Alrabbaa, Christian	Finding Small Proofs for Description Logic Entailments -- Theory and Practice
B
Baader, Franz	Finding Small Proofs for Description Logic Entailments -- Theory and Practice
Baltag, Alexandru	Learning What Others Know
Bartocci, Ezio	Parameter Synthesis for Probabilistic Hyperproperties
Benhamou, Belaid	An ASP-based Approach for Boolean Networks Representation and Attractor Detection
Blaauwbroek, Lasse	Tactic Learning for the Coq Proof Assistant (Short Paper)
Bonakdarpour, Borzoo	Parameter Synthesis for Probabilistic Hyperproperties
Boockmann, Jan H.	Learning Data Structure Shapes from Memory Graphs
Borgwardt, Stefan	Finding Small Proofs for Description Logic Entailments -- Theory and Practice
D
Dileep, A	Induction Models on N
Dobe, Oyendrila	Parameter Synthesis for Probabilistic Hyperproperties
E
Echenim, Mnacho	Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
F
Fleury, Mathias	A Verified SAT Solver Framework including Optimization and Partial Valuations
Frohn, Florian	Polynomial Loops: Beyond Termination
G
Gauthier, Thibault	Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic
Gengelbach, Arve	A Mechanised Semantics for HOL with Ad-hoc Overloading
Geuvers, Herman	Tactic Learning for the Coq Proof Assistant (Short Paper)
Giesl, Jürgen	Polynomial Loops: Beyond Termination
Goldberger, Ben	Minimal Modifications of Deep Neural Networks using Verification
H
Hark, Marcel	Polynomial Loops: Beyond Termination
Heule, Marijn	Coloring Unit-Distance Strips using SAT Sensitivity Analysis of Locked Circuits
I
Iosif, Radu	Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
J
Järvisalo, Matti	Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation
K
Katz, Guy	Minimal Modifications of Deep Neural Networks using Verification
Keshet, Joseph	Minimal Modifications of Deep Neural Networks using Verification
Khaled, Tarek	An ASP-based Approach for Boolean Networks Representation and Attractor Detection
Kieronski, Emanuel	The Triguarded Fragment with Transitivity
Koopmann, Patrick	Finding Small Proofs for Description Logic Entailments -- Theory and Practice
Kovacs, Laura	LPAR-23 Welcome
Kovtunova, Alisa	Finding Small Proofs for Description Logic Entailments -- Theory and Practice
L
Lozano, Adrià	Decision levels are stable: towards better SAT heuristics
Luettgen, Gerald	Learning Data Structure Shapes from Memory Graphs
M
Malinowski, Adam	The Triguarded Fragment with Transitivity
Martins, Ruben	Coloring Unit-Distance Strips using SAT
Meel, Kuldeep S.	Induction Models on N
N
Nieuwenhuis, Robert	Decision levels are stable: towards better SAT heuristics
O
Oikarinen, Emilia	Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation
Oliveras, Albert	Decision levels are stable: towards better SAT heuristics
Oostema, Peter	Coloring Unit-Distance Strips using SAT
P
Peltier, Nicolas	Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
Pileggi, Lawrence	Sensitivity Analysis of Locked Circuits
R
Rebola Pardo, Adrian	RAT Elimination
Rodríguez-Carbonell, Enric	Decision levels are stable: towards better SAT heuristics
S
Sabili, Ammar F.	Induction Models on N
Sagiv, Mooly	Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Savela, Jarkko	Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation
Silva, Alexandra	Models of Concurrent Kleene Algebra
Smets, Sonja	Learning What Others Know
Sweeney, Joseph	Sensitivity Analysis of Locked Circuits
U
Urban, Josef	Tactic Learning for the Coq Proof Assistant (Short Paper)
W
Weidenbach, Christoph	A Verified SAT Solver Framework including Optimization and Partial Valuations
Weissenbacher, Georg	RAT Elimination
Å
Åman Pohjola, Johannes	A Mechanised Semantics for HOL with Ad-hoc Overloading

Disclaimer | Powered by EasyChair Smart Program