Filters








5 Hits in 4.8 sec

Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV

Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso, Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski
2005
Checking medical invoices, done by every health insurance company, is a labor-intensive task.  ...  It turned out that all relevant rules could be expressed directly in this framework, providing for a declarative and easily extendable and modifiable knowledge base.  ...  The purpose of this paper is twofold: to model and implement a knowledge based decision support system for checking medical invoices, and to investigate whether the language of ASP is suitable for this  ... 
doi:10.4230/dagsemproc.05171.4 fatcat:udtcdy5runht5c424brnzhktvu

Semantic Web Services Fundamentals [chapter]

Stijn Heymans, Jörg Hoffmann, Annapaola Marconi, Joshua Phillips, Ingo Weber
2012 Handbook of Service Description  
The last decade has seen a wide proliferation of such approaches, proposing different ontology languages, and paradigms for employing these in practice.  ...  The research area of Semantic Web Services investigates the annotation of services, typically in a SOA, with a precise mathematical meaning in a formal ontology.  ...  Formalism in a Nutshell The approach is based on planning as model checking [15, 16] .  ... 
doi:10.1007/978-1-4614-1864-1_6 fatcat:jq6tex32uzdhhie2sc5ut6utoi

Nonmonotonic Reasoning, Answer Set Programming and Constraints-Dagstuhl Seminar

Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens
Dagstuhl Seminar Proceedings 05171 Nonmonotonic Reasoning   unpublished
Executive Summary: The Dagstuhl Seminar 05171-Nonmonotonic Reasoning, Answer Set Programming and Constraints We provide a brief overview of the seminar and comment on most the important research themes  ...  During the seminar, several participants presented their current research, and ongoing work and open problems were discussed.  ...  Keywords: Propositional logic, normal logic programs, stable models, supported models, faithful translations, modularity Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV  ... 
fatcat:dba5zpz4xrenvgauldql3zhe6m

ICE volume 26 issue 9 Front matter

2005 Infection control and hospital epidemiology  
There was no association with a specific medication or medication combination when the number of injections was controlled for in the model.  ...  All variables were introduced in the multivariate model, as well as interaction terms, and were excluded in the modeling procedure according to the likelihood ratio and Wald test statistics, and we checked  ...  All data collected during patient interviews were cross-checked against medical charts. Prophylaxis and DNA Testing.  ... 
doi:10.1017/s0899823x00198770 fatcat:pxo3aintrfazjolidpb7ltqsym

Long's indictment sparks SIU audit

David Komblith
unpublished
SIU-affiliated hospitals get federal construction grants The model climcs WlII be designed mamly as dLSeasei>revenuon wu ts worlung with enU re families . according to the SIU Medical Sdlool.  ...  >dlv . · ' i l was .. . 1t wa s an ex · pt.'nt.'llcc.' I·n Ilt.'vt'r for~t.·I . . All "T't.  ...  But it was a good experience playing with the guys I played with ." Meriweather offered a brief player sketch of some of his World Game teammates.  ... 
fatcat:vgfcl4qbuzfxjei7hfplpm6azq