The following pages link to Pierre Marquis (Q201919):
Displaying 12 items.
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
- (Q5282953) (← links)
- Inference from Controversial Arguments (Q5387869) (← links)
- Conciliation through Iterated Belief Merging (Q5431425) (← links)
- Inconsistency Tolerance (Q5464030) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473720) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473736) (← links)
- Removing inconsistencies in assumption-based theories through knowledge-gathering actions (Q5943015) (← links)
- Consistency restoration and explanations in dynamic CSPs---Application to configuration (Q5958543) (← links)
- Boosting definability bipartition computation using SAT witnesses (Q6545575) (← links)
- Elements for a history of artificial intelligence (Q6602215) (← links)
- Reasoning about action and change (Q6602230) (← links)