The following pages link to Odile Papini (Q386043):
Displaying 30 items.
- Belief revision within fragments of propositional logic (Q386044) (← links)
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases (Q513332) (← links)
- Reasoning with partially ordered information in a possibilistic logic framework (Q598573) (← links)
- Extending Removed Sets Revision to partially preordered belief bases (Q622290) (← links)
- Discrete algebra and error-correcting codes (Q1901462) (← links)
- Query answering DL-lite knowledge bases from hidden datasets (Q2035633) (← links)
- Complexity of model checking for cardinality-based belief revision operators (Q2401889) (← links)
- Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis (Q2835863) (← links)
- A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases (Q2938512) (← links)
- Implementing Prioritized Merging with ASP (Q3163981) (← links)
- Assertional Removed Sets Merging of DL-Lite Knowledge Bases (Q3297810) (← links)
- Belief Update Within Propositional Fragments (Q3451174) (← links)
- Syntactic Propositional Belief Bases Fusion with Removed Sets (Q3524918) (← links)
- Merging Belief Bases Represented by Logic Programs (Q3638164) (← links)
- Encoding the Revision of Partially Preordered Information in Answer Set Programming (Q3638168) (← links)
- (Q3758717) (← links)
- (Q4458136) (← links)
- (Q4546707) (← links)
- (Q4576185) (← links)
- Belief Update within Propositional Fragments (Q4639038) (← links)
- (Q4787415) (← links)
- Belief contraction and erasure in fragments of propositional logic (Q5044549) (← links)
- A Semantic Characterization for ASP Base Revision (Q5045317) (← links)
- A Semantic Characterization ASP Base Revision (Q5207042) (← links)
- $$\exists $$ -ASP for Computing Repairs with Existential Ontologies (Q5268421) (← links)
- Belief Merging within Fragments of Propositional Logic (Q5277921) (← links)
- (Q5282977) (← links)
- Logics in Artificial Intelligence (Q5394157) (← links)
- (Q5414682) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473731) (← links)
