From iterated revision to iterated contraction: Extending the Harper Identity

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2019.103171

View full text

>> Full Text: From iterated revision to iterated contraction: Extending the Harper Identity

Job sequencing with one common and multiple secondary resources: An A⁎/Beam Search based anytime alg

Proving semantic properties as first-order satisfiability