Logic Programming

DOI10.1007/b99475zbMath1104.68389OpenAlexW2523427404MaRDI QIDQ5313183

Dirk Vermeir, Stijn Heymans, Davy Van Nieuwenborgh

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99475

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results ⋮ Solving satisfiability problems with preferences

This page was built for publication: Logic Programming