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
Web Reasoning and Rule Systems
This paper presents the design of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. ... Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. ... Acknowledgments This work was partially supported by the REWERSE Network of Excellence, and a GSRT Greek-Australian Project "Defeasible Reasoning for Semantic Web e-Commerce Applications". ...doi:10.1007/978-3-540-72982-2_19 dblp:conf/rr/BassiliadesAG07 fatcat:jqmweegtvbe4ljis552wd6lavu
New Englander and Yale Review
At the same time, we believe that there are theories of human device, which have been invented to clear up difficulties, but which, in truth, create vastly more page 318, we say of Dr. ... At the same time he contended that there can be no demonstrative proof that a moral being who can sin, will not sin, and hence no complete, decisive proof, that sin can be kept out of any moral system ...
In our view, the findings by Dr. ... Dr. ...doi:10.1016/j.brs.2016.05.002 pmid:27230722 pmcid:PMC5298898 fatcat:z6alowkj6vdahjofwwd6o4aq2u
Lecture Notes in Computer Science
As for the proof layer of the Semantic Web, it can play a vital role in increasing the reliability of Semantic Web systems, since it will be possible to provide explanations and/or justifications of the ... This paper reports on the implementation of a system for visualizing proof explanations on the Semantic Web. ... DR-DEVICE  is also a defeasible reasoning system for the Semantic Web. It is implemented in CLIPS, and integrates well with RuleML and RDF. 3. ...doi:10.1007/978-3-540-88808-6_21 fatcat:jox32w3iwzagld7t3y5azeyqzm
Lecture Notes in Computer Science
In this paper we present a graphical authoring tool for defeasible logic rules that acts as a shell for the DR-DEVICE defeasible reasoning system over RDF metadata. ... The DR-DEVICE reasoning system is implemented on top of the CLIPS production rule system and builds upon an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate ... Acknowledgments This work is partially funded by the Greek Ministry of Education (EPEAEK) and the European Union under the Pythagoras II programme. ...doi:10.1007/11573036_38 fatcat:eoqqak6lbrcxlkecqlbca3rnve
and had the entire system removed. ... Bluhm et al 7 found no difference in the incidence of infection between systemic and local antibiotic administration at the time of generator replacement. ...doi:10.1161/circep.108.847806 pmid:19808438 fatcat:zo6r5eua7vathfhrprjqb5kppq
PE. Professional Engineer
One section is devoted en- tirely to the explanation of Infra-Red radiant heating. ... PERIFILTERS—“‘Dorr-Oliver PeriFil- ter System,” Bulletin No. 9045, a new brochure issued by Dorr-Oliver Inc., describes a unique water treatment system that combines pretreatment and filtration in a single ...
"And formal logical systems are very important", said the Tortoise, "because the centrepiece of the book is a sketch of the proof of G()del's theorem: that practically any formal logical system contains ... "With comments by 'the newly developed human being, Dr Tony Earrwig' who seems to be related in a mixed-up way to SHRDLU's creator" added the Tortoise. ...doi:10.1038/283699a0 fatcat:lg7p7kocxbgwrib2eidllbvzfe
CONSIDERING THE RECENT INTEREST in proof by nines, one might conclude this is a mid-twentieth century discovery. Probably we can concede it is a rediscovery. ... In University Arithmetic by Charles Davies, LL.D., A. S. Barnes & Co., New York, 1868, the process is explained and is used throughout the book. In Advanced Arithmetic, Teachers Edit ion, G. A. ... Unless care is taken, it becomes just another mechanical device, as does the caret in division or the carried number in addition. ...doi:10.5951/at.3.5.0204 fatcat:5mu3rigkyjfzra4tdr3hbs7zpa
Journal of the Louisiana State Medical Society
Dr. Moise D. Levy (closing): I want to thank very much the gentlemen for discussing the paper, and I think a word of explanation should be had. ... The maternity is compelled to employ some device to establish the association of each infant and mother. Natural parental feeling insists upon assur- ance that this device is infallible. ...
of deploying a Stackelberg game theory-based DR algorithm to manage the energy consumption of the facility, wherein the energy management center (EMC) serves as the leader and multiple devices act as ... The experimental evaluation results show that the GT-based DR algorithm achieved great performance in practical DR management, including optimal load control in responding to real-time price (RTP), and ... FIGURE 1 . 1 System architecture of the DR management system. FIGURE 2 . 2 Experimental facility of GT-based DR management system. ...doi:10.1109/access.2021.3049768 fatcat:pbms7ub3s5ghbcneorc4w6sl4i
proof. ... As an instructor in the Technique department at CMCC, I am often confronted by students who seek a rational explanation to support some of the theoretical models and clinical approaches taught to them ...
The framework also takes into account users' expertise in technology when providing explanations and control to application behaviours. ... This can negatively impact the user experience of applications and compromise the trust users have in them. ... ACKNOWLEDGMENT NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre ...doi:10.1109/percomw.2013.6529453 dblp:conf/percom/FongIR13 fatcat:ggybdmg33jdvtmhzhogv75irt4
Lecture Notes in Computer Science
Their applicability, however, is balanced by the fact that it is difficult to associate data of a variety of types with the nodes and the arcs in the graph. ... Nevertheless, defeasible logic is based on solid mathematical formulations and is, thus, not fully comprehensible by end users, who often need graphical trace and explanation mechanisms for the derived ... Acknowledgments This work was partially supported by the European Network of Excellence REW-ERSE. ...doi:10.1007/11836025_28 fatcat:6k7jeqshtjbv7onvnf4vl2efmu
Echocardiographic and angiographic control revealed no/trivial aortic incompetence (AI) in 59%, mild AI in 33.3%, and moderate AI in 7.7% of the patients. ... As an alternative device, a self-expanding sub-coronary trans-apical bioprosthesis was evaluated. ... During the first implants, the device has demonstrated proof of concept. In the majority of patients, the functional result was excellent without any device-related complications. ...doi:10.1016/j.ejcts.2011.01.078 pmid:21924620 fatcat:cbtk4mzv5jbnli263jst7b2biq
« Previous Showing results 1 — 15 out of 45,053 results