Showing 1–2 of 2 results for author: Kriener, J

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

Authors: Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz

Abstract: We present a syntactic abstraction method to reason about first-order modal logics by using theorem provers for standard first-order logic and for propositional modal logic. We present a syntactic abstraction method to reason about first-order modal logics by using theorem provers for standard first-order logic and for propositional modal logic. △ Less

Submitted 12 September, 2014; originally announced September 2014.

Comments: appears in Automated Reasoning in Quantified Non-Classical Logics (2014)

RedAlert: Determinacy Inference for Prolog

Authors: Jael Kriener, Andy King

Abstract: This paper revisits the problem of determinacy inference addressing the problem of how to uniformly handle cut. To this end a new semantics is introduced for cut, which is abstracted to systematically derive a backward analysis that derives conditions sufficient for a goal to succeed at most once. The method is conceptionally simpler and easier to implement than existing techniques, whilst improvi… ▽ More This paper revisits the problem of determinacy inference addressing the problem of how to uniformly handle cut. To this end a new semantics is introduced for cut, which is abstracted to systematically derive a backward analysis that derives conditions sufficient for a goal to succeed at most once. The method is conceptionally simpler and easier to implement than existing techniques, whilst improving the latter's handling of cut. Formal arguments substantiate correctness and experimental work, and a tool called 'RedAlert' demonstrates the method's generality and applicability. △ Less

Submitted 12 September, 2011; originally announced September 2011.

Comments: Theory and Practice of Logic Programming, 2011, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, volume 11, issue 4-5