A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV
2005
Preserved Fulltext
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]
2012
Handbook of Service Description
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
Dagstuhl Seminar Proceedings 05171 Nonmonotonic Reasoning
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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