45,053 Hits in 4.5 sec

Proof Explanation in the DR-DEVICE System [chapter]

Nick Bassiliades, Grigoris Antoniou, Guido Governatori
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

Page 469 of New Englander and Yale Review Vol. 27, Issue 104 [page]

1868 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  ... 

The Proof is in the Pudding: Does tDCS Actually Deliver DC Stimulation?

Pratik Y. Chhatbar, James R. Sawers, Wuwei Feng
2016 Brain Stimulation  
In our view, the findings by Dr.  ...  Dr.  ... 
doi:10.1016/j.brs.2016.05.002 pmid:27230722 pmcid:PMC5298898 fatcat:z6alowkj6vdahjofwwd6o4aq2u

Visualization of Proofs in Defeasible Logic [chapter]

Ioannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades
2008 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 [8] 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

A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web [chapter]

Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou, Ioannis Vlahavas
2005 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

Proof Positive: Efficacy of Antibiotic Prophylaxis in Device Implantation

M. Maytin, L. M. Epstein
2009 Circulation: Arrhythmia and Electrophysiology  
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

Page 55 of PE. Professional Engineer Vol. 32, Issue 9 [page]

1962 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  ... 

What the tortoise never said to Achilles

Oliver Penrose
1980 Nature  
"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

More About Casting Out Nines

Tabbie Mae Moore
1956 The Arithmetic Teacher  
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

Page 493 of Journal of the Louisiana State Medical Society Vol. 81, Issue 7 [page]

1929 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.  ... 

Assessing the Feasibility of Game-theory-based Demand Response Management by Practical Implementation

Mengmeng Yu, Xiongfeng Zhang, Junhui Jiang, ChangDae Lee, Seung Ho Hong, Kai Wang, Aidong Xu
2021 IEEE Access  
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

Page 134 of The Journal of the Canadian Chiropractic Association Vol. 47, Issue 2 [page]

2003 The Journal of the Canadian Chiropractic Association  
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  ... 

A framework to support intelligibility in pervasive applications

Johnson Fong, Jadwiga Indulska, Ricky Robinson
2013 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)  
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

Visualizing Defeasible Logic Rules for the Semantic Web [chapter]

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
2006 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

Trans-apical aortic valve implantation using a new self-expandable bioprosthesis: initial outcomes

Jörg Kempfert, Ardawan J. Rastan, Friedhelm Beyersdorf, Markus Schönburg, Gerhard Schuler, Stefan Sorg, Friedrich-W. Mohr, Thomas Walther
2011 European Journal of Cardio-Thoracic Surgery  
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