The following pages link to Logic Programming (Q5191478):
Displaying 14 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints (Q688670) (← links)
- Magic Sets and their application to data integration (Q882436) (← links)
- Minimal-change integrity maintenance using tuple deletions (Q1776402) (← links)
- On the efficiency of transforming database logic programs (Q1900919) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- Memory-saving evaluation plans for Datalog (Q2296730) (← links)
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448) (← links)
- Deductive databases for computing certain and consistent answers from mediated data integration systems (Q2386182) (← links)
- A paraconsistent logic programming approach for querying inconsistent databases (Q2463646) (← links)
- The Semantics of Consistency and Trust in Peer Data Exchange Systems (Q3498459) (← links)
- Taming primary key violations to query large inconsistent data via ASP (Q4593009) (← links)
- (Q4736524) (← links)
- (Q5692388) (← links)
