{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:06:47Z","timestamp":1725566807732},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540299226"},{"type":"electronic","value":"9783540322702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11580072_5","type":"book-chapter","created":{"date-parts":[[2005,10,21]],"date-time":"2005-10-21T12:04:50Z","timestamp":1129896290000},"page":"45-55","source":"Crossref","is-referenced-by-count":0,"title":["Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Giurca","sequence":"first","affiliation":[]},{"given":"Gerd","family":"Wagner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Berners Lee, T., Hendler, J., Lassila, O.: The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities, Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"5_CR2","volume-title":"Proc. of Int. Semantic Web Working Symposium (SWWS)","author":"H. Boley","year":"2001","unstructured":"Boley, H., Tabet, S., Wagner, G.: Design Rationale of RuleML:A Markup Language for Semantic Web Rules. In: Proc. of Int. Semantic Web Working Symposium (SWWS), Stanford University, California (July 30 - August 1, 2001)"},{"key":"5_CR3","unstructured":"Boley, H., Mei, J., Sintek, M., Gerd Wagner, G.: RDF\/RuleML Interoperability. In: W3C Workshop on Rule Languages for Interoperability Position Paper (April 27-28 2005), \n                  \n                    http:\/\/www.w3.org\/2004\/12\/rules-ws\/paper\/93\/"},{"key":"5_CR4","first-page":"293","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293\u2013322. Plenum Press, Newyork (1978)"},{"issue":"3","key":"5_CR5","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Kenneth, A., Ross, A., Schlipf, S.J.: The Well-Founded Semantics for General Logic Programs. Journal of ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of ACM"},{"key":"5_CR6","first-page":"1070","volume-title":"Proceedings of the 5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics For Logic Programming. In: Proceedings of the 5th International Conference on Logic Programming, pp. 1070\u20131080. The MIT Press, Cambridge (1988)"},{"key":"5_CR7","volume-title":"What is Negation ?","author":"H. Herre","year":"1999","unstructured":"Herre, H., Jaspars, J., Wagner, G.: Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning. In: Gabbay, D.M., Wansing, H. (eds.) What is Negation?, Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"5_CR8","first-page":"55","volume-title":"Logic and Databases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On Closed World Data Bases. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 55\u201376. Plenum Press, New York (1978)"},{"key":"5_CR9","unstructured":"Wagner, G., Antoniou, G., Tabet, S., Boley, H.: The Abstract Syntax of RuleML Towards a General Web Rule Language Framework. Rule Markup Initiative (RuleML), \n                  \n                    http:\/\/www.RuleML.org"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-24572-8_3","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"G. Wagner","year":"2003","unstructured":"Wagner, G.: Web Rules Need Two Kind of Negations. In: Bry, F., Henze, N., Ma\u0142uszy\u0144ski, J. (eds.) PPSWR 2003. LNCS, vol.\u00a02901, pp. 33\u201350. Springer, Heidelberg (2003)"},{"key":"5_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5723-4","volume-title":"Foundations of Knowledge Systems with Applications to Databases and Agents","author":"G. Wagner","year":"1998","unstructured":"Wagner, G.: Foundations of Knowledge Systems with Applications to Databases and Agents. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"5_CR12","unstructured":"Wagner, G.: Seven Golden Rules for a Web Rule Language, invited contribution to the Trends & Controversies section of IEEE Intelligent Systems 18(5) (September\/October 2003)"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0743-1066(96)00106-9","volume":"30","author":"G. Wagner","year":"1997","unstructured":"Wagner, G., Herre, H.: Stable Models are Generated by a Stable Chain. Journal of Logic Programming\u00a030 (2), 165\u2013177 (1997)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Rules and Rule Markup Languages for the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11580072_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:34Z","timestamp":1619505934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11580072_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540299226","9783540322702"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11580072_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}