Ditemukan 2 dokumen yang sesuai dengan query
Gebser, Martin, author
Summary:
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modelling problems in the area of Knowledge Representation and Reasoning (KRR). This book presents a practical introduction to ASP. It introduces ASP's solving technology, modelling language and methodology, while illustrating the overall solving process with practical example...
San Rafael, Calif: Morgan et Claypool, 2013
025.042 7 GEB a
Buku Teks Universitas Indonesia Library
Stopford, Martin, author
Abingdon: Oxon : Taylor and Francis, 2009
387.5 STO m
Buku Teks Universitas Indonesia Library