{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:14:27Z","timestamp":1648664067260},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T00:00:00Z","timestamp":1319760000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s13218-011-0134-7","type":"journal-article","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T16:58:31Z","timestamp":1319734711000},"page":"309-311","source":"Crossref","is-referenced-by-count":0,"title":["Zur Rolle der Logik bei der Entwicklung Intelligenter Systeme"],"prefix":"10.1007","volume":"25","author":[{"given":"Ralf","family":"M\u00f6ller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,28]]},"reference":[{"key":"134_CR1","volume-title":"Logical foundations for artificial intelligence","author":"MR Genesereth","year":"1987","unstructured":"Genesereth MR, Nilsson NJ (1987) Logical foundations for artificial intelligence. Kaufmann, Los Altos"},{"key":"134_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic programming and databases","author":"S Ceri","year":"1990","unstructured":"Ceri S, Gottlob G, Tanca L (1990) Logic programming and databases. Springer, Berlin"},{"key":"134_CR3","volume-title":"Foundations of databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul S, Hull R, Vianu V (1995) Foundations of databases. Addison-Wesley, Reading"},{"issue":"3","key":"134_CR4","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone N, Pfeifer G, Faber W, Eiter Th, Gottlob G, Perri S, Scarcello F (2006) The DLV system for knowledge representation and reasoning. ACM Trans Comput Log 7(3):499\u2013562","journal-title":"ACM Trans Comput Log"},{"key":"134_CR5","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9:365\u2013385","journal-title":"New Gener Comput"},{"key":"134_CR6","volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (Hrsg) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge"},{"issue":"3","key":"134_CR7","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s10817-007-9077-y","volume":"39","author":"D Tsarkov","year":"2007","unstructured":"Tsarkov D, Horrocks I, Patel-Schneider PF (2007) Optimizing terminological reasoning for expressive description logics. J Autom Reason 39(3):277\u2013316","journal-title":"J Autom Reason"},{"issue":"2","key":"134_CR8","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s10817-008-9104-7","volume":"41","author":"V Haarslev","year":"2008","unstructured":"Haarslev V, M\u00f6ller R (2008) On the scalability of description logic instance retrieval. J Autom Reason 41(2):99\u2013142","journal-title":"J Autom Reason"},{"key":"134_CR9","volume-title":"Proc AAAI","author":"J Dolby","year":"2007","unstructured":"Dolby J, Fokoue A, Kalyanpur A, Kershenbaum A, Ma L, Schonberg E, Srinivas K (2007) Scalable semantic retrieval through summarization and refinement. In: Proc AAAI"},{"issue":"1","key":"134_CR10","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s13218-010-0004-8","volume":"24","author":"F Baader","year":"2010","unstructured":"Baader F, Lutz C, Turhan A-Y (2010) Small is again beautiful in description logics. K\u00fcnstl Intell 24(1):25\u201333","journal-title":"K\u00fcnstl Intell"},{"key":"134_CR11","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/11916277_16","volume-title":"Proc of the 13th int conference on logic for programming artificial intelligence and reasoning (LPAR 2006)","author":"B Motik","year":"2006","unstructured":"Motik B, Sattler U (2006) A comparison of reasoning techniques for querying large description logic Boxes. In: Hermann M, Voronkov A (Hrsg), Proc of the 13th int conference on logic for programming artificial intelligence and reasoning (LPAR 2006). Lecture notes in computer science, Bd\u00a04246, Phnom Penh, Cambodia, 13\u201317 November 2006, Springer, Berlin, S\u00a0227\u2013241."},{"key":"134_CR12","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/1559795.1559809","volume-title":"Proc PODS-2009","author":"A Cali","year":"2009","unstructured":"Cali A, Gottlob G, Lukasiewicz T (2009) A general Datalog-based framework for tractable query answering over ontologies. In: Proc PODS-2009, S\u00a077\u201386"},{"issue":"5","key":"134_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik B, Rosati R (2010) Reconciling description logics and rules. J ACM 57(5):1\u201362","journal-title":"J ACM"},{"key":"134_CR14","volume-title":"Probabilistic reasoning in intelligent systems: networks of plausible inference","author":"J Pearl","year":"1988","unstructured":"Pearl J (1988) Probabilistic reasoning in intelligent systems: networks of plausible inference. Kaufmann, Los Altos"},{"issue":"1","key":"134_CR15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D Poole","year":"1993","unstructured":"Poole D (1993) Probabilistic Horn abduction and Bayesian networks. Artif Intell 64(1):81\u2013129","journal-title":"Artif Intell"},{"issue":"5","key":"134_CR16","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1007\/s00287-010-0461-3","volume":"33","author":"F Baader","year":"2010","unstructured":"Baader F, Beckert B, Nipkow T (2010) Deduktion: von der Theorie zur Anwendung. Inform-Spektrum 33(5):444\u2013451","journal-title":"Inform-Spektrum"},{"key":"134_CR17","doi-asserted-by":"crossref","unstructured":"Domingos P, Lowd D, (2009) Markov logic: an interface layer for artificial intelligence. Morgan & Claypool","DOI":"10.2200\/S00206ED1V01Y200907AIM007"},{"key":"134_CR18","volume-title":"Representing and reasoning with probabilistic knowledge. A\u00a0logical approach to probabilities","author":"F Bacchus","year":"1990","unstructured":"Bacchus F (1990) Representing and reasoning with probabilistic knowledge. A\u00a0logical approach to probabilities. MIT Press, Cambridge"},{"issue":"1","key":"134_CR19","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"NJ Nilsson","year":"1986","unstructured":"Nilsson NJ (1986) Probabilistic logic. Artif Intell 28(1):71\u201387","journal-title":"Artif Intell"},{"key":"134_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundations for specifying and implementing dynamical systems","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge"},{"key":"134_CR21","volume-title":"Commonsense reasoning","author":"ET Mueller","year":"2006","unstructured":"Mueller ET (2006) Commonsense reasoning. Kaufmann, Los Altos"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-011-0134-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-011-0134-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-011-0134-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T18:36:16Z","timestamp":1560882976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-011-0134-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,28]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["134"],"URL":"https:\/\/doi.org\/10.1007\/s13218-011-0134-7","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,28]]}}}