1 títulos para "Gebser Martin Kaminski Roland Kaufmann Benjamin"

Answer Set Solving in Practice

Gebser, Martin / Kaminski, Roland / Kaufmann, Benjamin

Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). More recently, its attractive combination of a rich yet simple modeling language with high-performance solving capacities has s...