The following pages link to Logic Programming (Q5313183):
Displaying 5 items.
- Solving satisfiability problems with preferences (Q606909) (← links)
- Preferred answer sets for extended logic programs (Q1292319) (← links)
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448) (← links)
- Logics in Artificial Intelligence (Q5394112) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705920) (← links)