Answer Set Solving in Practice. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. Springer International Publishing, Cham, 2013.
Answer Set Solving in Practice [link]Paper  doi  bibtex   
@book{gebser_answer_2013,
	address = {Cham},
	series = {Synthesis {Lectures} on {Artificial} {Intelligence} and {Machine} {Learning}},
	title = {Answer {Set} {Solving} in {Practice}},
	isbn = {978-3-031-00433-9 978-3-031-01561-8},
	url = {https://link.springer.com/10.1007/978-3-031-01561-8},
	language = {en},
	urldate = {2023-03-01},
	publisher = {Springer International Publishing},
	author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
	year = {2013},
	doi = {10.1007/978-3-031-01561-8},
}

Downloads: 0