Pages that link to "Item:Q4649730"
From MaRDI portal
The following pages link to Merging Logic Programs under Answer Set Semantics (Q4649730):
Displaying 12 items.
- Prioritized and non-prioritized multiple change on belief bases (Q421342) (← links)
- Sum-based weighted belief base merging: from commensurable to incommensurable framework (Q465608) (← links)
- Logic based merging (Q535328) (← links)
- Updating action domain descriptions (Q622109) (← links)
- How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? (Q1653442) (← links)
- AGM contraction and revision of rules (Q1698336) (← links)
- Stratified belief bases revision with argumentative inference (Q1947030) (← links)
- Merging existential rules programs in multi-agent contexts through credibility accrual (Q2124187) (← links)
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
- Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
