{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T10:50:57Z","timestamp":1782989457163,"version":"3.54.5"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686684","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T00:00:00Z","timestamp":1782691200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,6,29]]},"abstract":"<jats:p>Healthcare-associated infections (HAIs), particularly bloodstream infections (BSIs), require timely and reliable detection. Typically, rule-based clinical decision support systems use forward chaining to propagate patient data through knowledge-based systems. While effective, this data-driven approach can become computationally costly in data-rich settings and obscures the underlying reasoning structure. We analyze infection monitoring from a computational perspective by formalizing rule-based detection as a fixed-point computation and examining its complexity. As an alternative, we consider goal-driven reasoning, which focuses inference on specific diagnostic hypotheses, and formulate BSI detection as a satisfiability problem in propositional logic. This perspective supports more efficient, interpretable, and uncertainty-aware approaches to clinical decision support.<\/jats:p>","DOI":"10.3233\/shti260894","type":"book-chapter","created":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T10:02:19Z","timestamp":1782986539000},"source":"Crossref","is-referenced-by-count":0,"title":["Beyond Forward Chaining: Logical Perspectives on Clinical Infection Monitoring of BSIs"],"prefix":"10.3233","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-5416-6417","authenticated-orcid":false,"given":"Julia","family":"Liepold","sequence":"first","affiliation":[{"name":"Institute for Logic and Computation, TU Wien, 1040 Vienna, Austria"},{"name":"Medexter Healthcare, Borschkegasse 7\/5, 1090 Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-5902-4666","authenticated-orcid":false,"given":"Leonhard","family":"Hauptfeld","sequence":"additional","affiliation":[{"name":"Medexter Healthcare, Borschkegasse 7\/5, 1090 Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-7867-9465","authenticated-orcid":false,"given":"Moritz","family":"Grob","sequence":"additional","affiliation":[{"name":"Medexter Healthcare, Borschkegasse 7\/5, 1090 Vienna, Austria"},{"name":"Medical University of Vienna, Center for Medical Data Science, Institute of Artificial Intelligence, Spitalgasse 23, 1090 Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-0345-4011","authenticated-orcid":false,"given":"Andrea","family":"Rappelsberger","sequence":"additional","affiliation":[{"name":"Medical University of Vienna, Center for Medical Data Science, Institute of Artificial Intelligence, Spitalgasse 23, 1090 Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5046-1549","authenticated-orcid":false,"given":"Klaus-Peter","family":"Adlassnig","sequence":"additional","affiliation":[{"name":"Medexter Healthcare, Borschkegasse 7\/5, 1090 Vienna, Austria"},{"name":"Medical University of Vienna, Center for Medical Data Science, Institute of Artificial Intelligence, Spitalgasse 23, 1090 Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"7437","container-title":["Studies in Health Technology and Informatics","Health Sciences Informatics Leads and Empowers the Digital Health Transformation"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/SHTI260894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T10:02:20Z","timestamp":1782986540000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/SHTI260894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,29]]},"ISBN":["9781643686684"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/shti260894","relation":{},"ISSN":["0926-9630","1879-8365"],"issn-type":[{"value":"0926-9630","type":"print"},{"value":"1879-8365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,29]]}}}