Author of the publication

Answer set based design of knowledge systems

, , and . Annals of Mathematics and Artificial Intelligence, (June 2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Answer set based design of knowledge systems, , and . Annals of Mathematics and Artificial Intelligence, (June 2006)Why Intervals? Because If We Allow Other Sets, Tractable Problems Become Intractable., and . Reliab. Comput., 4 (4): 389-394 (1998)An A-Prolog Decision Support System for the Space Shuttle., , , , and . PADL, volume 1990 of Lecture Notes in Computer Science, page 169-183. Springer, (2001)Digital Twin Framework for Machine Learning-Enabled Integrated Production and Logistics Processes., , and . APMS (1), volume 630 of IFIP Advances in Information and Communication Technology, page 218-227. Springer, (2021)Recall-driven Product Tracing and Supply Chain Tracking using Answer Set Programming., and . KEOD, page 125-133. SciTePress, (2012)The USA-Advisor: A Case Study in Answer Set Planning., , , and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 439-442. Springer, (2001)Supply Chain Tracing of Multiple Products under Uncertainty and Incomplete Information - An Application of Answer Set Programming., and . KEOD, page 399-406. SciTePress, (2013)Application of Answer Set Programming for Public Health Data Integration and Analysis., and . ARES, volume 6908 of Lecture Notes in Computer Science, page 118-134. Springer, (2011)An Answer Set Programming Solution for Supply Chain Traceability., and . IC3K, volume 415 of Communications in Computer and Information Science, page 211-227. Springer, (2012)From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests., , , , , and . Agents, page 32-38. ACM, (1998)