Pages that link to "Item:Q918664"
From MaRDI portal
The following pages link to Hypothetical reasoning in logic programming: A semantic approach (Q918664):
Displaying 4 items.
- Incorporating top-down information into bottom-up hypothetical reasoning (Q688821) (← links)
- Hypothetical reasoning and definitional reflection in logic programming (Q5053014) (← links)
- A refinement of import/export declarations in modular logic programming and its semantics (Q5096751) (← links)
- A logic of hypothetical conjunction (Q5212562) (← links)