Picture for Hudson Turner

Hudson Turner

Causal Laws and Multi-Valued Fluents

Add code
Jul 15, 2023
Viaarxiv icon

Strong Equivalence Made Easy: Nested Expressions and Weight Constraints

Add code
Dec 15, 2003
Viaarxiv icon

Order-consistent programs are cautiously monotonic

Add code
Nov 27, 2000
Viaarxiv icon