Pages that link to "Item:Q750134"
From MaRDI portal
The following pages link to Compiling a default reasoning system into Prolog (Q750134):
Displaying 11 items.
- On prediction in Theorist (Q685340) (← links)
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities (Q688819) (← links)
- Incorporating top-down information into bottom-up hypothetical reasoning (Q688821) (← links)
- Linear resolution for consequence finding (Q1199916) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- IDNAF Prolog (Q1328781) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Defaults as restrictions on classical Hilbert-style proofs (Q1895976) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Modular specifications with supernormal defaults (Q1924749) (← links)
