Author:
Marra Giuseppe,Ursino Domenico,Ricca Francesco,Terracina Giorgio
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Hardware and Architecture,Human-Computer Interaction,Information Systems,Software
Reference74 articles.
1. Andres B, Kaufmann B, Matheis O, Schaub T (2012) Unsatisfiability-based optimization in clasp. In: Dovier A, Costa VS (eds). ICLP (technical communications), Vol. 17 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 211–221
2. Balduccini M, Gelfond M, Watson R, Nogeira M (2001) The USA-Advisor: A Case Study in Answer Set Planning. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR’01), Lecture notes in computer science. Springer, Vienna, Austria, pp. 439–442
3. Baral C (2003) Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge
4. Baral C, Gelfond M (2000) Reasoning agents in dynamic domains. In: Logic-based artificial intelligence. Kluwer Academic Publishers, pp. 257–279
5. Baral C, Uyan C (2001) Declarative specification and solution of combinatorial auctions using logic programming. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR’01). Lecture notes in computer science. Springer, Vienna, Austria, pp. 186–199
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献