{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:32:44Z","timestamp":1725564764550},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205821"},{"type":"electronic","value":"9783540245728"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24572-8_2","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T15:41:01Z","timestamp":1283701261000},"page":"16-32","source":"Crossref","is-referenced-by-count":8,"title":["Semantic Web Logic Programming Tools"],"prefix":"10.1007","author":[{"given":"J\u00f3se J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"2_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-45217-1_21","volume-title":"Cooperative Information Agents VII","author":"J.J. Alferes","year":"2003","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Logic programming for evolving agents. In: Klusch, M., Omicini, A., Ossowski, S., Laamanen, H. (eds.) CIA 2003. LNCS (LNAI), vol.\u00a02782, pp. 281\u2013297. Springer, Heidelberg (2003)"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J.J. Alferes","year":"1995","unstructured":"Alferes, J.J., Dam\u00e1sio, C.V., Pereira, L.M.: A logic programming system for non-monotonic reasoning. Special Issue of the Journal of Automated Reasoning\u00a014(1), 93\u2013147 (1995)","journal-title":"Special Issue of the Journal of Automated Reasoning"},{"key":"2_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-45757-7_6","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Dell\u2019Acqua, P., Pereira, L.M.: A compilation of updates plus preferences. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 62\u201373. Springer, Heidelberg (2002)"},{"issue":"1\u20133","key":"2_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming\u00a045(1\u20133), 43\u201370 (2000); A short version appeared in A. Cohn and L. Schubert (eds.), KR 1998, Morgan KaufmannSan, San Francisco","journal-title":"The Journal of Logic Programming"},{"key":"2_CR6","series-title":"LNAI","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61488-5","volume-title":"Reasoning with Logic Programming","author":"J.J. Alferes","year":"1996","unstructured":"Alferes, J.J., Pereira, L.M.: Reasoning with Logic Programming. LNCS (LNAI), vol.\u00a01111. Springer, Heidelberg (1996)"},{"key":"2_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-40006-0_24","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Pereira, L.M.: Updates plus preferences. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzm\u00e1n, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol.\u00a01919, pp. 345\u2013360. Springer, Heidelberg (2000)"},{"key":"#cr-split#-2_CR8.1","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 132(1&2) (2002);","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"#cr-split#-2_CR8.2","unstructured":"A short version appeared in Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS(LNAI), vol.??1730, Springer, Heidelberg (1999)"},{"key":"2_CR9","unstructured":"The DLV Project: A Disjunctive Datalog System (and more), http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/ (2000)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"#cr-split#-2_CR11.1","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. In: Artificial Intelligence, vol.??109 (1999);","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"#cr-split#-2_CR11.2","unstructured":"A short version appeared in Cohn, A., Schubert, L. (eds.): KR 1998. Morgan Kaufmann, San Francisco (1998)"},{"key":"2_CR12","unstructured":"Brickley, D., Guha, R.V.: RDF Vocabulary Description Language 1.0: RDF Schema, work in progress (January 23, 2003), http:\/\/www.w3.org\/TR\/2003\/WD-rdf-schema-20030123\/"},{"key":"2_CR13","unstructured":"Connolly, D., van Harmelen, D.F., Horrocks, I., McGuinness, D.L., Patel- Schneider, P.F., Stein, L.A.: DAML+OIL, Reference Description (March 2001), http:\/\/www.w3.org\/TR\/daml+oil-reference"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-60983-0_7","volume-title":"Extensions of Logic Programming","author":"C.V. Dam\u00e1sio","year":"1996","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Default negated conclusions: why not? In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS, vol.\u00a01050, pp. 103\u2013117. Springer, Heidelberg (1996)"},{"key":"2_CR15","series-title":"C.V. Dam\u00e1sio, L.M. Pereira","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-63255-7_18","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C.V. Dam\u00e1sio","year":"1997","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: A paraconsistent semantics with contradiction support detection. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. C.V. Dam\u00e1sio, L.M. Pereira, vol.\u00a01265, pp. 224\u2013243. Springer, Heidelberg (1997)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: A survey of paraconsistent semantics for logic programas. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems. Reasoning with Actual and Potential Contradictions. Coordenado por P. Besnard e A. Hunter, vol.\u00a02, pp. 241\u2013320. Kluwer Academic Publishers, Dordrecht (1998)","DOI":"10.1007\/978-94-017-1739-7_8"},{"key":"2_CR17","unstructured":"Dean, M., Schreiber, G., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference August 18 (2003) (Candidate Recommendation), http:\/\/www.w3.org\/TR\/2003\/CR-owl-ref-20030818\/"},{"key":"2_CR18","volume-title":"IJCAI 2001","author":"T. Eiter","year":"2001","unstructured":"Eiter, T., Fink, M., Sabbatini, G.: A framework for declarative update specifications in logic programs. In: IJCAI 2001, Morgan, San Francisco (2001)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming\u00a02(6) (2002)","DOI":"10.1017\/S1471068401001247"},{"issue":"23","key":"2_CR20","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M. Emden Van","year":"1976","unstructured":"Van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. Journal of ACM\u00a04(23), 733\u2013742 (1976)","journal-title":"Journal of ACM"},{"issue":"3","key":"2_CR21","first-page":"620","volume":"38","author":"V. Gelder","year":"1991","unstructured":"Gelder, V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"2_CR22","first-page":"1070","volume-title":"5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) 5th International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"2_CR23","first-page":"579","volume-title":"7th International Conference on Logic Programming","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, Szeredi (eds.) 7th International Conference on Logic Programming, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"key":"2_CR24","unstructured":"Hayes, P. (ed.): RDF semantics, January 23 (2003) (work in progress), http:\/\/www.w3.org\/TR\/2003\/WD-rdf-mt-20030123\/"},{"key":"2_CR25","unstructured":"The Rule Markup Initiative, http:\/\/www.ruleml.org\/"},{"key":"2_CR26","unstructured":"Lassila, O., Swick, R.: Resource description framework (RDF) model and syntax specification, February 22 (1999), http:\/\/www.w3.org\/TR\/REC-rdf-syntax\/"},{"key":"2_CR27","volume-title":"Evolving Knowledge Bases","author":"J.A. Leite","year":"2003","unstructured":"Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)"},{"key":"2_CR28","series-title":"Lecture Notes in Artificial Intelligence","first-page":"365","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.A. Leite","year":"2001","unstructured":"Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-dimensional dynamic knowledge representation. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 365\u2013378. Springer, Heidelberg (2001)"},{"key":"2_CR29","volume-title":"Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning (KR 1992)","author":"V. Lifschitz","year":"1992","unstructured":"Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), Morgan-Kaufmann, San Francisco (1992)"},{"key":"2_CR30","unstructured":"The XSB Logic Programming Systems (2003), http:\/\/xsb.sourceforge.net"},{"key":"2_CR31","unstructured":"The smodels system (2000), http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"2_CR32","unstructured":"The W4 RuleML compiler, http:\/\/centria.fct.unl.pt\/~cd\/projectos\/w4\/"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Semantic Web Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24572-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T15:53:43Z","timestamp":1559577223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24572-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205821","9783540245728"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24572-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}