Pages that link to "Item:Q5424864"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424864):
Displaying 8 items.
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Elaboration tolerance through object-orientation (Q814560) (← links)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- Representation and reasoning about evolutions of the world in the context of reasoning about actions (Q2574879) (← links)
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming (Q5297630) (← links)
- Logic Programming (Q5313190) (← links)