{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:55:23Z","timestamp":1725476123936},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540673545"},{"type":"electronic","value":"9783540455622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720076_9","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T10:06:39Z","timestamp":1167386799000},"page":"95-107","source":"Crossref","is-referenced-by-count":0,"title":["Experiments in Answer Sets Planning"],"prefix":"10.1007","author":[{"given":"M.","family":"Balduccini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Brignoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. A.","family":"Lanzarone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Magni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Provetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"20","volume":"19","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.: Logic programming and negation: a survey. J. of Logic Programming\u00a019\/20 (1994)","journal-title":"J. of Logic Programming"},{"key":"9_CR2","unstructured":"Balduccini, M., Lanzarone, G.A.: Autonomous semi-reactive agent design based on incremental inductive learning in logic programming. In: Proc. of the ESSLI 1997 Symp. on Logical Approaches to Agent Modeling and Design, Utrecht University, pp. 1\u201312 (1997)"},{"key":"9_CR3","first-page":"20","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. J. of Logic Programming\u00a019\/20 (1994)","journal-title":"J. of Logic Programming"},{"key":"9_CR4","unstructured":"Brignoli, G., Costantini, S., Provetti, A.: A Graph Coloring algorithm for stable models generation. Univ. of Milan Technical Report (1999) (submitted for publication)"},{"key":"9_CR5","unstructured":"Costantini, S., Provetti, A.: A new method, and new results, for detecting consistency of knowledge bases under answer sets semantics. Univ. of Milan Technical Report (1999) (submitted for publication)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Costantini, S.: Contributions to the stable model semantics of logic programs with negation. Theoretical Computer Science, 149 (1995)","DOI":"10.1016\/0304-3975(94)00259-L"},{"issue":"5","key":"9_CR7","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/69.542027","volume":"8","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Computation of stable models and its integration with logical query processing. IEEE Trans. on Data and Knowledge Engineering\u00a08(5), 742\u2013747 (1996)","journal-title":"IEEE Trans. on Data and Knowledge Engineering"},{"key":"9_CR8","first-page":"518","volume-title":"Proc. of KR 1996","author":"P. Cholewi\u0144ski","year":"1996","unstructured":"Cholewi\u0144ski, P., Marek, W., Truszczy\u0144ski, M.: Default reasoning system DeReS. In: Proc. of KR 1996, pp. 518\u2013528. Morgan-Kaufman, San Francisco (1996)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Dimopoulos, Y., Nebel, B., Koehler, J.: Encoding Planning Problems in Nonmonotonic Logic Programs. In: Proc. of European Conference on Planning, pp. 169\u2013181 (1997)","DOI":"10.1007\/3-540-63912-8_84"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Dung, P.M.: On the Relation between Stable and Well-Founded Semantics of Logic Programs. Theoretical Computer Science, 105 (1992)","DOI":"10.1016\/0304-3975(92)90285-N"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/3-540-63255-7_27","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for non-monotonic reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 363\u2013374. Springer, Heidelberg (1997)"},{"key":"9_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46767-X_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"E. Erdem","year":"1999","unstructured":"Erdem, E.: Application of Logic Programming to Planning: Computational Experiments. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730. Springer, Heidelberg (1999)"},{"key":"9_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46767-X_13","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"W. Faber","year":"1999","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Pushing Goal Derivation in DLP Computations. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730. Springer, Heidelberg (1999)"},{"key":"9_CR14","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. In: Proc. of 5th ILPS conference (1994)"},{"key":"9_CR15","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of 5th ILPS conference, pp. 1070\u20131080 (1988)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing, 365\u2013387 (1991)","DOI":"10.1007\/BF03037169"},{"key":"9_CR17","unstructured":"Kautz, H., Selman, B.: Pushing the envelope: Planning, Propositional Logic and Stochastic Search. In: Proc. of AAAI 1996 (1996)"},{"key":"9_CR18","unstructured":"Lib99. Liberatore P., 1999. Algorithms and Experiments on Finding Minimal Models. Technical Report of University of Rome \u201dLa Sapienza\u201d"},{"key":"9_CR19","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Answer Set Planning. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730. Springer, Heidelberg (1999)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Marek, W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. The Journal of Logic Programming (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"9_CR21","unstructured":"Niemel\u00e4, I., Simons, P.: Logic programs with stable model semantics as a constraint programming paradigm. In: Proc. of NM 1998 workshop (1998) (Extended version submitted for publication)"},{"key":"9_CR22","unstructured":"McCain, N., Turner, H.: Causal theories of actions and change. In: Proc. of AAAI 1997 Conference, pp. 460\u2013465 (1997)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Sacc\u00e0, D., Zaniolo, C.: Deterministic and Non-Deterministic Stable Models. J. of Logic and Computation (1997)","DOI":"10.1093\/logcom\/7.5.555"},{"key":"9_CR24","unstructured":"Simons, P.: Towards Constraint Satisfaction through Logic Programs and the Stable Models Semantics. Helsinki Univ. of Technology R.R. A:47 (1997)"},{"issue":"3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1109\/69.390244","volume":"7","author":"V.S. Subrahmanian","year":"1995","unstructured":"Subrahmanian, V.S., Nau, D., Vago, C.: WFS + branch and bound = stable models. IEEE Trans. on Knowledge and Data Engineering\u00a07(3), 362\u2013377 (1995)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"}],"container-title":["Lecture Notes in Computer Science","MICAI 2000: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720076_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:35:20Z","timestamp":1556004920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720076_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540673545","9783540455622"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/10720076_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}