{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T11:53:45Z","timestamp":1772366025779,"version":"3.50.1"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T00:00:00Z","timestamp":1158105600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2006,11,9]]},"DOI":"10.1007\/s10472-006-9026-1","type":"journal-article","created":{"date-parts":[[2006,9,12]],"date-time":"2006-09-12T07:29:51Z","timestamp":1158046191000},"page":"183-219","source":"Crossref","is-referenced-by-count":37,"title":["Answer set based design of knowledge systems"],"prefix":"10.1007","volume":"47","author":[{"given":"Marcello","family":"Balduccini","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]},{"given":"Monica","family":"Nogueira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,13]]},"reference":[{"key":"9026_CR1","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logic to control search in a forward chaining Planner, pp. 141\u2013153 (1996)"},{"issue":"1\u20132","key":"9026_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1018985923441","volume":"22","author":"F. Bacchus","year":"1998","unstructured":"Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Ann. Math. Artif. Intell. 22(1\u20132), 5\u201327 (1998)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9026_CR3","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"16","author":"F. Bacchus","year":"2000","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artif. Intell. 16, 123\u2013191 (2000)","journal-title":"Artif. Intell."},{"key":"9026_CR4","doi-asserted-by":"crossref","unstructured":"Balduccini, M.: USA-smart: improving the quality of plans in answer set planning. In: PADL\u201904, Lecture Notes in Artificial Intelligence (LNCS), Jun 2004","DOI":"10.1007\/978-3-540-24836-1_10"},{"key":"9026_CR5","unstructured":"Balduccini, M.: Answer Set Based Design of Highly Autonomous, Rational Agents. PhD thesis, Texas Tech University, Dec 2005"},{"issue":"4\u20135","key":"9026_CR6","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M. Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. Journal of Theory and Practice of Logic Programming (TPLP) 3(4\u20135), 425\u2013461 (Jul 2003)","journal-title":"Journal of Theory and Practice of Logic Programming (TPLP)"},{"key":"9026_CR7","unstructured":"Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: Doherty, P., McCarthy, J., Williams, M.-A. (eds) International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pp. 9\u201318, Mar 2003"},{"key":"9026_CR8","unstructured":"Balduccini, M., Gelfond, M., Nogueira, M.: A-Prolog as a tool for declarative programming. In: Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE\u20192000), pp. 63\u201372, 2000"},{"key":"9026_CR9","doi-asserted-by":"crossref","unstructured":"Balduccini, M., Mellarkod, V.S.: A-Prolog with CR-rules and ordered disjunction. In: ICISIP\u201904, pp. 1\u20136, Jan 2004","DOI":"10.1109\/ICISIP.2004.1287614"},{"key":"9026_CR10","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press (Jan 2003)","DOI":"10.1017\/CBO9780511543357"},{"issue":"20","key":"9026_CR11","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. Journal of Logic 19(20), 73\u2013148 (1994)","journal-title":"Journal of Logic"},{"key":"9026_CR12","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Workshop on Logic-Based Intelligence, pp. 257\u2013279. Kluwer Academic Publishers (Jun 2000)","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"9026_CR13","unstructured":"Baral, C., Tuan, L.C.: Effect of knowledge representation on model based planning: experiments using logic programming encodings. In: Proceedings of 2001 AAAI Spring Symposium on Answer Set Programming, pp. 110\u2013115 (2001)"},{"key":"9026_CR14","doi-asserted-by":"crossref","unstructured":"Barry, M., Watson, R.: Reasoning about actions for spacecraft redundancy management. In: Proceedings of the 1999 IEEE Aerospace Conference, vol. 5, pp. 101\u2013112 (1999)","DOI":"10.1109\/AERO.1999.790194"},{"key":"9026_CR15","unstructured":"Brewka, G.: Logic programming with ordered disjunction. In: Proceedings of AAAI-02 (2002)"},{"key":"9026_CR16","doi-asserted-by":"crossref","unstructured":"Brewka, G., Niemela, I., Syrjanen, T.: Implementing ordered disjunction using answer set solvers for normal programs. In: Flesca, S., Ianni, G. (eds) Proceedings of the 8th European Conference on Artificial Intelligence (JELIA 2002) (Sep 2002)","DOI":"10.1007\/3-540-45757-7_37"},{"issue":"2","key":"9026_CR17","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1111\/j.0824-7935.2004.00241.x","volume":"20","author":"G. Brewka","year":"2004","unstructured":"Brewka, G., Niemela, I., Syrjanen, T.: Logic programs wirh ordered disjunction. Comput. Intell. 20(2), 335\u2013357 (2004)","journal-title":"Comput. Intell."},{"key":"9026_CR18","doi-asserted-by":"crossref","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Adding Weak Constraints to Disjunctive Datalog. In: Proceedings of the 1997 Joint Conference on Declarative Programming APPIA-GULP-PRODE\u201997 (1997)","DOI":"10.1007\/3-540-63255-7_2"},{"key":"9026_CR19","unstructured":"Calimeri, F., Dell\u2019Armi, T., Eiter, T., Faber, W., Gottlob, G., Ianni, G., Ielpa, G., Koch, C., Leone, N., Perri, S., Pfeifer, G., Polleres, A.: The DLV system. In: Flesca, S., Ianni, G. (eds) Proceedings of the 8th European Conference on Artificial Intelligence (JELIA 2002) (Sep 2002)"},{"key":"9026_CR20","unstructured":"Dell\u2019Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 03). Morgan Kaufmann, MSD (Aug 2003)"},{"key":"9026_CR21","doi-asserted-by":"crossref","unstructured":"Dimopoulos, Y., Koehler, J., Nebel, B.: Encoding planning problems in nonmonotonic logic programs. In: Proceedings of the 4th European Conference on Planning, vol. 1348 of Lecture Notes in Artificial Intelligence (LNCS), pp. 169\u2013181 (1997)","DOI":"10.1007\/3-540-63912-8_84"},{"key":"9026_CR22","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.1148","volume":"9","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Answer set planning under action costs. J. Artif. Intell. Res. 9, 25\u201371 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"9026_CR23","unstructured":"Finger, J.J.: Exploiting Constraints in Design Synthesis. PhD thesis, Stanford University, 1987"},{"key":"9026_CR24","unstructured":"Gabaldon, A., Gelfond, M.: From functional specifications to logic programs. In: Proceedings of the International Logic Programming Symposium (ILPS\u201997) (1997)"},{"key":"9026_CR25","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/3-540-45632-5_16","volume-title":"Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing Knowledge in A-Prolog. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A Kowalski, Part II, vol. 2408, pp. 413\u2013451. Springer Verlag, Berlin (2002)"},{"key":"9026_CR26","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Leone, N.: Knowledge representation and logic programming. Artif. Intell. 138(1\u20132) (2002)","DOI":"10.1016\/S0004-3702(02)00206-0"},{"key":"9026_CR27","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP-88, pp. 1070\u20131080 (1988)"},{"key":"9026_CR28","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 365\u2013385 (1991)","DOI":"10.1007\/BF03037169"},{"key":"9026_CR29","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. on Artif. Intell. 3(16), (1998)"},{"key":"9026_CR30","unstructured":"Gelfond, M., Watson, R.: On methodology for representing knowledge in dynamic domains. In: Proc of the 1998 ARO\/ONR\/NSF\/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, pp. 57\u201366 (1999)"},{"key":"9026_CR31","unstructured":"Hayes, P.J., McCarthy, J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds) Machine Intelligence 4, pp. 463\u2013502. Edinburgh University Press (1969)"},{"key":"9026_CR32","unstructured":"Huang, Y., Kautz, H., Selman, B.: Control knowledge in planning: benefits and tradeoffs. In: Proceedings of the 16th National Conference of Artificial Intelligence (AAAI\u201999), pp. 511\u2013517 (1999)"},{"issue":"2","key":"9026_CR33","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/S0004-3702(97)00058-1","volume":"96","author":"M. Kaminski","year":"1997","unstructured":"Kaminski, M.: A note on the stable model semantics of logic programs. Artif. Intell. 96(2), 467\u2013479 (1997)","journal-title":"Artif. Intell."},{"key":"9026_CR34","unstructured":"Kautz, H., Selman, B.: The role of domain-specific knowledge in the planning as satisfiability framework. In: Proceedings of AIPS\u201998 (1998)"},{"key":"9026_CR35","unstructured":"Kolvekal, L.: Developing an Inference Engine for CR-Prolog with Preferences. Master\u2019s thesis, Texas Tech University, (Dec 2004)"},{"key":"9026_CR36","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/978-3-642-60085-2_16","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Action Languages, Answer Sets, and Planning. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 357\u2013373. Springer, Berlin Heidelberg New York (1999)"},{"key":"9026_CR37","unstructured":"McCarthy, J.: Epistemological problems of artificial intelligence. In: Proceedings of IJCAI-77, pp. 1038\u20131044, (1977)"},{"key":"9026_CR38","unstructured":"Mellarkod, V.S.: Optimizing the computation of stable models using merged rules. Master\u2019s thesis, Texas Tech University (May 2002)"},{"key":"9026_CR39","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/978-1-4615-1567-8_21","volume-title":"Logic-Based Artificial Intelligence","author":"I. Niemela","year":"2000","unstructured":"Niemela, I., Simons, P.: Extending the Smodels System with Cardinality and Weight Constraints, pp. 491\u2013521. Logic-Based Artificial Intelligence. Kluwer Academic Publishers, Norwell, Massachusetts (2000)"},{"issue":"1\u20132","key":"9026_CR40","first-page":"181","volume":"138","author":"I. Niemela","year":"2002","unstructured":"Niemela, I., Simons, P., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1\u20132), 181\u2013234 (Jun 2002)","journal-title":"Artif. Intell."},{"key":"9026_CR41","unstructured":"Nogueira, M.: Building Knowledge Systems in A-Prolog. PhD thesis, University of Texas at El Paso (May 2003)"},{"key":"9026_CR42","doi-asserted-by":"crossref","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog decision support system for the Space Shuttle. In: PADL 2001, pp. 169\u2013183 (2001)","DOI":"10.1007\/3-540-45241-9_12"},{"key":"9026_CR43","unstructured":"Pednault, E.: ADL: exploring the middle ground between STRIPS and the situation calculus. In: Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR-89), pp. 324\u2013332 (1989)"},{"key":"9026_CR44","first-page":"119","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On Closed World Data Bases, pp. 119\u2013140. Logic and Data Bases. Plenum Press, New York, New York (1978)"},{"key":"9026_CR45","volume-title":"Proceedings of the 5th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-99), number 1730 in Lecture Notes in Artificial Intelligence (LNCS)","author":"P. Simons","year":"1999","unstructured":"Simons, P.: Extending the stable model semantics with more expressive rules. In: Proceedings of the 5th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-99), number 1730 in Lecture Notes in Artificial Intelligence (LNCS). Springer, Berlin Heidelberg New York (1999)"},{"key":"9026_CR46","unstructured":"Watson, R.: An application of action theory to the Space Shuttle. In: PADL-99, vol. 1551 of Lecture Notes in Artificial Intelligence (LNCS), pp. 290\u2013304, (1999)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-006-9026-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-006-9026-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-006-9026-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:51:49Z","timestamp":1559152309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-006-9026-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,13]]},"references-count":46,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2006,11,9]]}},"alternative-id":["9026"],"URL":"https:\/\/doi.org\/10.1007\/s10472-006-9026-1","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9,13]]}}}