Filters








17,097 Hits in 3.2 sec

Kalpa Publications in Computing Abduction by Non-Experts

Nikolaj Bjørner, Dejan Jovanovi´c, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
unpublished
We argue that Horn clauses form a good base for crowdsourcing since they are easy to subdivide, and that logic abduction is a suitable task since it is hard to find abductive inferences for Horn clauses  ...  This work is funded in parts by AFRL contract No. FA8750-15-C-0010, NSF Award No. 1528153, and the Swedish Research Council.  ...  At this point have not invested effort in usability and rely on the fact that users are experts in logic.  ... 
fatcat:asw2gxz6ozayfpw3mdettd3gkm

Development of an Imaging Evaluation System for Low Back Pain

Ping-En Sun, Bing-Shiang Yang
2021 Journal of Medical and Biological Engineering  
Methods Twenty-one previously asymptomatic subjects and five LBP patients diagnosed by a physician performed a series of test movements under a fixed camera, including hip abduction test, forward bending  ...  Conclusion The evaluation system showed potential utility in screening LBP risk, with acceptable test–retest reliability and expert validity.  ...  Five patients were recruited from the orthopedics clinic of Mackay Memorial Hospital after being diagnosed with non-specific LBP by a physician.  ... 
doi:10.1007/s40846-021-00597-0 fatcat:4ci2iq4jgvgv7iyll7in4yxtia

Page 752 of The New England Journal of Medicine Vol. 176, Issue 21 [page]

1917 The New England Journal of Medicine  
Fixation of the limb in full abduction and extension by a long plaster spica.  ...  When, therefore, a quali- fied expert of the standing of Dr.  ... 

AN OVERVIEW OF THE INTERNATIONAL PARENTAL CHILD ABDUCTION PROVISIONS OF THE HAGUE CONVENTION

Rebecca K. MCKELVEY
2004 Ankara Law Review  
The 1980 Hague Convention on the Civil Aspects of International Parental Child Abduction is an international convention that is central to ensuring the families remain as intact as possible and that countries  ...  Congress.'** This annual report discusses comphance and non-compHance with the Convention by partner signator countries and non-signator countries.  ...  non-compliant or showing patterns of non-compliance.""  ... 
doi:10.1501/lawrev_0000000071 fatcat:if7czliufjawdcfnpr7p7vldre

The Immediate Effects of Expert and Dyad External Focus Feedback on Drop Landing Biomechanics in Female Athletes: An Instrumented Field Study

Kelly A. Leonard, Janet E. Simon, Jae Yom, Dustin R. Grooms
2021 International Journal of Sports Physical Therapy  
In contrast, Etnoyer, et al 57 found that using a combination of expert feedback and self-feedback did not change knee abduction.  ...  For knee abduction displacement, 76.9% (n=10) of the individ- KINETICS For the dependent variable vGRF the RMANCOVA revealed a significant difference by time (F (1,20) =5.66, p=0.03, 1-β=0.64, ƞ 2  ...  /attachment/49634.docx The Immediate Effects of Expert and Dyad External Focus Feedback on Drop Landing Biomechanics in Female Athletes: An...  ... 
doi:10.26603/001c.18717 fatcat:er5rmw53gzbjplzcm35r5vnjri

Page 86 of Annals of Surgery Vol. 62, Issue 1 [page]

1915 Annals of Surgery  
muscles gives the limit of abduction; second, there is real danger that in less expert hands the fragments may be forced by one another, not jammed together; third, plaster spicas in stout patients do  ...  Realizing this, certain surgeons have employed the metal spikes to assure.better approximation and fixation than could be obtained by non-operative measures.  ... 

The Immediate Effects of Expert and Dyad External Focus Feedback on Drop Landing Biomechanics in Female Athletes: An Instrumented Field Study

Kelly A Leonard, Janet E Simon, Jae Yom, Dustin R Grooms
2021 International Journal of Sports Physical Therapy  
There was a significant interaction of group by condition (p=0.01) for vGRF with no difference between groups before feedback (p>0.05).  ...  There was a significant change pre- to post- (decrease 4.65˚ p=0.01) in abduction displacement, with no group effect.  ...  In contrast, Etnoyer, et al 57 found that using a combination of expert feedback and self-feedback did not change knee abduction.  ... 
pmid:33604139 pmcid:PMC7872449 fatcat:x4usgvn6hfcehbh6cycvzfuihu

A ROLE OF GRANULARITY AND BACKGROUND KNOWLEDGE IN REASONING PROCESSES Towards a Foundation of Kansei Representation in Human Reasoning

Tetsuya MURAI, Yasuo KUDO, Seiki AKAMA
2006 Kansei Engineering International  
We represent subjective knowledge by lower approximation in rough set theory under granularity generated by background knowledge .Then we examine monotonicity and non-monotonicity between the two levels  ...  with respect to deduction and non-monotonic reasoning .  ...  reasoning, abduction, and conflict resolution in expert systems and robot control.  ... 
doi:10.5057/kei.6.3_41 fatcat:62obizugujhq7lsh7b7h7zu7km

Special issue: abductive logic programming

Marc Denecker, Antonis Kakas
2000 The Journal of Logic Programming  
This process is otherwise known by the name of abduction.  ...  Similarly, in the problem of knowledge assimilation a new piece of information is assimilated via abduction by ®nding a coherent reason for this information according to the current state of the knowledge  ...  This process is otherwise known by the name of abduction.  ... 
doi:10.1016/s0743-1066(99)00078-3 fatcat:eazj3ukecrdephhdclbfaewwqe

Combining case-based reasoning and task-specific architectures

D. Allemang
1994 IEEE Expert  
laid out by the expert.  ...  by knowledge engineers and experts alike.  ... 
doi:10.1109/64.331484 fatcat:2oycmcr77zbjtpwtdxwh66rqau

From War to Classroom: PTSD and Depression in Formerly Abducted Youth in Uganda

Nina Winkler, Martina Ruf-Leuschner, Verena Ertl, Anett Pfeiffer, Inga Schalinski, Emilio Ovuga, Frank Neuner, Thomas Elbert
2015 Frontiers in Psychiatry  
In former child soldiers, a PTSD rate of 32% was remarkably higher than that for non-abductees (12%).  ...  Especially in girls rates of potential depression were double those in the group of former abductees (17%) than in the group of non-abductees (8%).  ...  ACKNOWLEDGMENTS This research was supported by Vivo International, by the Deutsche Forschungsgemeinschaft (DFG), by the Norwegian Refugee Council (NRC) Uganda, by Windle Trust Uganda and by funding from  ... 
doi:10.3389/fpsyt.2015.00002 pmid:25788887 pmcid:PMC4348469 fatcat:2soexnbxcjalhdd5a5nhfmavxa

Applications of abduction: knowledge-level modelling

Tim Menzies
1996 International Journal of Human-Computer Studies  
This abductive a p proach o ers a u niform view of di erent problem solving m etho d s i n t he s t yle proposed by Clancey and Breuker.  ...  Further, abduction can execute i n v ague and conicting domains which w e believe occur very frequently. We t herefore propose abduction as a framework for knowledge-level modeling.  ...  Abduction is an interesting framework in which to explore non-standard logics 49, 6 3 , 81 .  ... 
doi:10.1006/ijhc.1996.0054 fatcat:t4jnkj7vmbbnxadr5vpwbna2ee

Page 22 of Juvenile and Family Law Digest Vol. 15, Issue 1 [page]

1983 Juvenile and Family Law Digest  
defense in kidnapping Not kidnapping if helping person entitled to custody Non-custodial parent’s abduction is tort Non-custodial parent must pay damages for abducting Jurisdiction not conferred by kidnapping  ...  Evidence See “Parental Qualifications” Disclose confidential communication if necessary Cannot admit expert opinion by hearsay only Evaluate future parenting skill and litigation impact Can take judicial  ... 

Abduction, Reason, and Science: Processes of Discovery and Explanation

J. Williamson
2003 British Journal for the Philosophy of Science  
This step of adopting a hypothesis as suggested by the facts is what I call abduction. 1 The question naturally arises as to how abduction is to be distinguished from other types of reasoning.  ...  its suggestion deduction can draw a prediction which can be tested by induction, and Brit.  ...  Model-based abduction covers non-sentential representations, such as diagrams, images and memories.  ... 
doi:10.1093/bjps/54.2.353 fatcat:hw2fkbngbvcmpkpfzpxgtexzvy

Page 768 of Psychological Abstracts Vol. 84, Issue 2 [page]

1997 Psychological Abstracts  
This abductive approach offers a uniform view of different problem solving methods in the style proposed by W. J. Clancey (1992) and J. Breuker (1994).  ...  Machine learning methods could be grouped on the basis of these factors into 6 application categories, wherein | or more methods were deemed most appropriate by the evalu- ated group of experts.  ... 
« Previous Showing results 1 — 15 out of 17,097 results