Coala: a compiler from action languages to ASP
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Applications of action languages in cognitive robotics
Correct Reasoning
Hi-index | 0.00 |
A number of compact representation forms that are investigated in the knowledge compilation community are utilized in interactive product configuration and other forms of decision support. Multi-valued decision diagrams (MDDs) are particulary well suited ...