16 citations · 49 across the 16 of their papers we have counts for
4 papers · 1 filter
Flexible graph matching and graph edit distance using answer set programming
Sheung Chi Chan, James Cheney
The graph isomorphism, subgraph isomorphism, and graph edit distance problems are combinatorial problems with many applications. Heuristic exact and approximate algorithms for each…
Explicit Auditing
Wilmer Ricciotti, James Cheney
The Calculus of Audited Units (CAU) is a typed lambda calculus resulting from a computational interpretation of Artemov's Justification Logic under the Curry-Howard isomorphism; it…
Strongly Normalizing Audited Computation
Wilmer Ricciotti, James Cheney
Auditing is an increasingly important operation for computer programming, for example in security (e.g. to enable history-based access control) and to enable reproducibility and ac…
Logic Column 14: Nominal Logic and Abstract Syntax
James Cheney
Formalizing syntactic proofs of properties of logics, programming languages, security protocols, and other formal systems is a significant challenge, in large part because of the o…