Alert button
Picture for Hudson Turner

Hudson Turner

Alert button

Causal Laws and Multi-Valued Fluents

Add code
Bookmark button
Alert button
Jul 15, 2023
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

Figure 1 for Causal Laws and Multi-Valued Fluents
Viaarxiv icon

Strong Equivalence Made Easy: Nested Expressions and Weight Constraints

Add code
Bookmark button
Alert button
Dec 15, 2003
Hudson Turner

Viaarxiv icon

Order-consistent programs are cautiously monotonic

Add code
Bookmark button
Alert button
Nov 27, 2000
Hudson Turner

Viaarxiv icon