Travelled to:
1 × Spain
2 × Japan
2 × USA
Collaborated with:
A.King ∅ S.Blazy J.Brauer
Talks about:
prolog (3) semant (2) determinaci (1) increment (1) existenti (1) interpol (1) revisit (1) quantif (1) program (1) equival (1)
Person: Jael Kriener
DBLP: Kriener:Jael
Contributed to:
Wrote 6 papers:
- FLOPS-2014-KrienerK #prolog #revisited #semantics
- Semantics for Prolog with Cut — Revisited (JK, AK), pp. 270–284.
- PPDP-2013-KrienerKB #coq #prolog #proving #semantics
- Proofs you can believe in: proving equivalences between Prolog semantics in Coq (JK, AK, SB), pp. 37–48.
- FLOPS-2012-KrienerK
- Mutual Exclusion by Interpolation (JK, AK), pp. 182–196.
- CAV-2011-BrauerKK #incremental #quantifier #satisfiability
- Existential Quantification as Incremental SAT (JB, AK, JK), pp. 191–207.
- ICLP-2011-Kriener #logic programming #reasoning #source code
- Correct Reasoning about Logic Programs (JK), pp. 280–283.
- ICLP-J-2011-KrienerK #named #prolog
- RedAlert: Determinacy inference for Prolog (JK, AK), pp. 537–553.