Jael Kriener

发表

Proofs you can believe in: proving equivalences between Prolog semantics in Coq

Andy King, Sandrine Blazy, Jael Kriener, 2013, PPDP.

Correct Reasoning about Logic Programs

Jael Kriener, J. Kriener, 2011, ICLP.

Mutual Exclusion by Interpolation

Andy King, Jael Kriener, A. King, 2012, FLOPS.

Semantics for Prolog with Cut - Revisited

Andy King, Jael Kriener, 2014, FLOPS.

Determinacy Inference for Prolog (appendix for conference submission)

Andy King, Jael Kriener, 2011 .

Existential Quantification as Incremental SAT

Jörg Brauer, Andy King, Jael Kriener, 2011, CAV.

RedAlert: Determinacy inference for Prolog pdf

Andy King, Jael Kriener, 2011, Theory Pract. Log. Program..

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics pdf

Stephan Merz, Leslie Lamport, Damien Doligez, 2014, ARQNL@IJCAR.