Login / Signup
Jael Kriener
Publication Activity (10 Years)
Years Active: 2011-2014
Publications (10 Years): 0
Top Topics
Semantically Equivalent
Default Reasoning
Prolog Programs
Modal Logic
Top Venues
FLOPS
CoRR
ARQNL@IJCAR
PPDP
</>
Publications
</>
Damien Doligez
,
Jael Kriener
,
Leslie Lamport
,
Tomer Libal
,
Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
ARQNL@IJCAR
(2014)
Jael Kriener
,
Andy King
Semantics for Prolog with Cut - Revisited.
FLOPS
(2014)
Damien Doligez
,
Jael Kriener
,
Leslie Lamport
,
Tomer Libal
,
Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
CoRR
(2014)
Jael Kriener
,
Andy King
,
Sandrine Blazy
Proofs you can believe in: proving equivalences between Prolog semantics in Coq.
PPDP
(2013)
Jael Kriener
,
Andy King
Mutual Exclusion by Interpolation.
FLOPS
(2012)
Jörg Brauer
,
Andy King
,
Jael Kriener
Existential Quantification as Incremental SAT.
CAV
(2011)
Jael Kriener
,
Andy King
RedAlert: Determinacy Inference for Prolog
CoRR
(2011)
Jael Kriener
Correct Reasoning about Logic Programs.
ICLP (Technical Communications)
(2011)
Jael Kriener
,
Andy King
RedAlert: Determinacy inference for Prolog.
Theory Pract. Log. Program.
11 (4-5) (2011)