The following pages link to (Q5482596):
Displayed 4 items.
- Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity (Q3458158) (← links)
- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation (Q3612894) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)