Funder
National Science Foundation
Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. Balduccini M, Gelfond M (2003) Diagnostic reasoning with A-Prolog. J Theory Pract Log Program (TPLP) 3(4–5):425–461
2. Balduccini M, Gelfond M (2003) Logic programs with consistency-restoring rules. In: International symposium on logical formalization of commonsense reasoning, AAAI spring symposium series, pp 9–18
3. Balduccini M, Gelfond M, Watson R, Nogueira M (2001) The USA-advisor: a case study in answer set planning. In: Lectures notes in artificial intelligence (proceedings of the sixth international conference on logic programming and nonmonotonic reasoning, LPNMR’01), Springer, vol 2173, pp 439–442
4. Baral C, Son TC, Pontelli E (2010) Reasoning about multi-agent domains using action language $$\cal{C}$$: a preliminary study. In: Dix J, Fisher M, Novák P (eds) Computational logic in multi-agent systems—10th international workshop, CLIMA X, Hamburg, Germany, September 9–10, 2009, Springer, vol 6214. Lecture notes in computer science, pp 46–63 (revised selected and invited papers)
5. Buccafurri F, Leone N, Rullo P (1997) Adding weak constraints to disjunctive datalog. In: Proceedings of the 1997 joint conference on declarative programming APPIA-GULP-PRODE’97, Grado, Italy
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献