Logic Programming and Nonmonotonic Reasoning

DOI10.1007/B94792zbMath1122.68592OpenAlexW4214677882MaRDI QIDQ5424856

Rina Dechter

Publication date: 7 November 2007

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

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Focusing on independent diagnosis problems ⋮ On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision

This page was built for publication: Logic Programming and Nonmonotonic Reasoning