Pages that link to "Item:Q4275259"
From MaRDI portal
The following pages link to Non-monotonic reasoning with logic programming (Q4275259):
Displaying 22 items.
- Iterative belief revision in extended logic programming (Q672058) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- A logic of non-monotonic interactions (Q1948286) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← links)
- Nonmonotonic reasoning in \(LDL^{++}\) (Q2734952) (← links)
- Nonmonotonic reasoning: Towards efficient calculi and implementations (Q2751371) (← links)
- (Q3044494) (← links)
- Knowledge assimilation in domains of actions: a possible causes approach (Q3128367) (← links)
- Extending Prolog with nonmonotonic reasoning (Q3129501) (← links)
- (Q4028790) (← links)
- (Q4035258) (← links)
- (Q4537434) (← links)
- (Q4537975) (← links)
- Abduction over 3-valued extended logic programs (Q5101439) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- Strong and explicit negation in non-monotonic reasoning and logic programming (Q5236430) (← links)
- Datalog with Negation and Monotonicity. (Q5874373) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)
- Update-programms can update programs (Q6623796) (← links)
- An abductive proof procedure for reasoning about actions in modal logic programming (Q6623797) (← links)