{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:03Z","timestamp":1725558963624},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540243625"},{"type":"electronic","value":"9783540305576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30557-6_11","type":"book-chapter","created":{"date-parts":[[2010,7,2]],"date-time":"2010-07-02T13:53:17Z","timestamp":1278078797000},"page":"128-142","source":"Crossref","is-referenced-by-count":1,"title":["An Ordered Logic Program Solver"],"prefix":"10.1007","author":[{"given":"Davy","family":"Van Nieuwenborgh","sequence":"first","affiliation":[]},{"given":"Stijn","family":"Heymans","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","first-page":"27","volume-title":"Procs. of the 4th International Conference on Flexible Query Answering Systems","author":"M. Arenas","year":"2000","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Specifying and querying database repairs using logic programs with exceptions. In: Procs. of the 4th International Conference on Flexible Query Answering Systems, pp. 27\u201341. Springer, Heidelberg (2000)"},{"key":"11_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, Cambridge (2003)"},{"key":"11_CR3","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Modern uses of multi-valued logic, pp. 8\u201337. D. Reidel Publ. Co. (1975)"},{"key":"11_CR4","first-page":"100","volume-title":"Proc. of the National Conference on Artificial Intelligence","author":"G. Brewka","year":"2002","unstructured":"Brewka, G.: Logic programming with ordered disjunction. In: Proc. of the National Conference on Artificial Intelligence, pp. 100\u2013105. AAAI Press, Menlo Park (2002)"},{"issue":"1-2","key":"11_CR5","first-page":"99","volume":"12","author":"T. Eiter","year":"1999","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the dlv system. AI Communications\u00a012(1-2), 99\u2013111 (1999)","journal-title":"AI Communications"},{"key":"11_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1007\/3-540-44957-4_54","volume-title":"Computational Logic - CL 2000","author":"T. Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Planning under incomplete knowledge. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 807\u2013821. Springer, Heidelberg (2000)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: The DLV k planning system. In: Logic in Artificial Intelligence. LNCS (LNAI), vol.\u00a02424, pp. 541\u2013544. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45757-7_51"},{"key":"11_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-40006-0_2","volume-title":"Logics in Artificial Intelligence","author":"T. Eiter","year":"2000","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: Considerations on updates of logic programs. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzm\u00e1n, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol.\u00a01919, pp. 2\u201320. Springer, Heidelberg (2000)"},{"key":"11_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"177","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, pp. 177\u2013191. Springer, Heidelberg (1999)"},{"key":"11_CR10","first-page":"635","volume-title":"Proc. of the International Joint Conference on Artificial Intelligence","author":"W. Faber","year":"2001","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Experimenting with heuristics for answer set programming. In: Proc. of the International Joint Conference on Artificial Intelligence, pp. 635\u2013640. Morgan Kaufmann, San Francisco (2001)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke-Kleene semantics for logic programs. Journal of logic programming\u00a04, 295\u2013312 (1985)","journal-title":"Journal of logic programming"},{"key":"11_CR12","volume-title":"Simply Logical - Intelligent Reasoning by Example","author":"P. Flach","year":"1994","unstructured":"Flach, P.: Simply Logical - Intelligent Reasoning by Example. Wiley, Chichester (1994)"},{"key":"11_CR13","first-page":"1070","volume-title":"Procs. of the Intl. Conf. on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Procs. of the Intl. Conf. on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"1-2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Journal of Artificial Intelligence\u00a0138(1-2), 39\u201354 (2002)","journal-title":"Journal of Artificial Intelligence"},{"key":"11_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/3-540-45757-7_36","volume-title":"Logics in Artificial Intelligence","author":"D. Nieuwenborgh Van","year":"2002","unstructured":"Van Nieuwenborgh, D., Vermeir, D.: Preferred answer sets for ordered logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 432\u2013443. Springer, Heidelberg (2002)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-24599-5_14","volume-title":"Logic Programming","author":"D. Nieuwenborgh Van","year":"2003","unstructured":"Van Nieuwenborgh, D., Vermeir, D.: Order and negation as failure. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 194\u2013208. Springer, Heidelberg (2003)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-39813-4_17","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"D. Nieuwenborgh Van","year":"2003","unstructured":"Van Nieuwenborgh, D., Vermeir, D.: Ordered diagnosis. In: Y. Vardi, M., Voronkov, A. (eds.) LPAR 2003. LNCS, vol.\u00a02850, pp. 244\u2013258. Springer, Heidelberg (2003)"},{"key":"11_CR18","unstructured":"Van Nieuwenborgh, D., Vermeir, D.: Preferred answer sets for ordered logic programs. In: Theory and Practice of Logic Programming, TPLP (2004) (accepted for publication)"},{"key":"11_CR19","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"13","author":"T. Przymusinski","year":"1990","unstructured":"Przymusinski, T.: Well-founded semantics coincides with three-valued stable semantics. Fundamenta Informaticae\u00a013, 445\u2013463 (1990)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-49201-1_21","volume-title":"Practical Aspects of Declarative Languages","author":"T. Soininen","year":"1999","unstructured":"Soininen, T., Niemel\u00e4, I.: Developing a declarative rule language for applications in product configuration. In: Gupta, G. (ed.) PADL 1999. LNCS, vol.\u00a01551, pp. 305\u2013319. Springer, Heidelberg (1999)"},{"key":"11_CR21","series-title":"Lecture Notes in Artificial Intelligence","first-page":"434","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T., Niemel\u00e4, I.: The smodels system. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, p. 434. Springer, Heidelberg (2001)"},{"issue":"4","key":"11_CR22","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"3","key":"11_CR23","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the Association for Computing Machinery\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"11_CR24","first-page":"374","volume-title":"Proceedings of the APPIA-GULP-PRODE Conference on Declarative Programming (AGP 2003)","author":"D. Nieuwenborgh Van","year":"2003","unstructured":"Van Nieuwenborgh, D., Vermeir, D.: Ordered programs as abductive systems. In: Proceedings of the APPIA-GULP-PRODE Conference on Declarative Programming (AGP 2003), pp. 374\u2013385. Regio di Calabria, Italy (2003)"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-48168-0_19","volume-title":"Computer Science Logic","author":"M. Vos De","year":"1999","unstructured":"De Vos, M., Vermeir, D.: Choice Logic Programs and Nash Equilibria in Strategic Games. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 266\u2013276. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30557-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T13:30:15Z","timestamp":1635600615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30557-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540243625","9783540305576"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30557-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}