Filters








86,221 Hits in 6.1 sec

A Brief History of Updates of Answer-Set Programs [article]

João Leite, Martin Slota
2022 arXiv   pre-print
Over the last couple of decades, there has been a considerable effort devoted to the problem of updating logic programs under the stable model semantics (a.k.a. answer-set programs) or, in other words,  ...  In this paper, we will overview some of the main approaches and results related to answer-set programming updates, while pointing out some of the main challenges that research in this topic has faced.  ...  Przymusinski, and Theresa Swift, with whom they worked on the topic of this paper over the years, as well as Ricardo Gonc ¸alves and Matthias Knorr for valuable comments on an earlier draft of this paper  ... 
arXiv:2112.13477v2 fatcat:ketwl6uunreozctkubxwxahvki

New Approaches to Continuing Medical Education: a QStream (spaced education) Program for Research Translation in Ovarian Cancer

Tracy Robinson, Anna Janssen, Judy Kirk, Anna DeFazio, Annabel Goodwin, Kathy Tucker, Timothy Shaw
2015 Journal of Cancer Education  
A majority of participants (n=10) agreed the program had helped update their knowl-edge about referring women, and eight agreed they would now change their referral patterns.  ...  QStream has a well accepted format and most participants indicated it is very appropriate for disseminating updates to clinical guidelines and protocols.  ...  , and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s13187-015-0944-7 pmid:26574041 pmcid:PMC5543185 fatcat:l6zaoqdmxfaifpkishoy7hdt3a

Screening patients for alcohol, tobacco, and other drug misuse: the role of brief interventions

C. A Aristeiguieta
2000 Western Journal of Medicine  
This was consistent across sex, intensity of intervention, or type of clinical setting. 20 In Spain, a multicenter randomized controlled trial with a follow-up of 12 months evaluated brief interventions  ...  At his request, the patient is given an updated list of resources. A follow-up intervention note is recorded in his medical record.  ... 
doi:10.1136/ewjm.172.1.53 pmid:10695447 pmcid:PMC1070728 fatcat:wd5xbedwnnhpbjbfv6degd5uj4

LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming [chapter]

Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, Jonathan Needham
2006 Lecture Notes in Computer Science  
In this paper we present a deductive reasoning multi-agent platform using an extension of answer set programming (ASP).  ...  information based on their answer sets.  ...  More formally, a sequence I 0 , . . . , I n of interpretations is an evolution of a LAIMAS F if for all agents a and i > 0 we have that I i+1 (a) is an answer set of the updated program of a with the input  ... 
doi:10.1007/11691792_5 fatcat:wxn5uex6s5gzvgxj2g4gmmu4ue

Page 5802 of Psychological Abstracts Vol. 84, Issue 12 [page]

1997 Psychological Abstracts  
It includes a brief descrip- tion of the narcissistic defenses of two of its members with an account of how these defenses were revealed in a session.  ...  The FAN Club program accom- panied a drug prevention program for the parents’ early adoles- cent children who were members of Boys & Girls Clubs.  ... 

Characterizing the transition to Kotlin of Android apps: a study on F-Droid, Play Store, and GitHub

Riccardo Coppola, Luca Ardito, Marco Torchiano
2019 Proceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics - WAMA 2019  
We defined a set of eight metrics to quantify the relevance of Kotlin code in the latest update and through all releases of an application.  ...  Of a set of 1232 projects that were updated after October 2017, near 20% adopted Kotlin and about 12% had more Kotlin code than Java; most of the projects that adopted Kotlin quickly transitioned from  ...  analyze the history of evolution of the programming language during the release history of the apps released on such platform.  ... 
doi:10.1145/3340496.3342759 dblp:conf/sigsoft/CoppolaAT19 fatcat:rjveovl5abchngkly775e27s4a

Extending a Reactive Expression Language with Data Update Actions for End-User Application Authoring

Lea Verou, Tarfah Alrashed, David Karger
2018 The 31st Annual ACM Symposium on User Interface Software and Technology - UIST '18  
After a brief tutorial (5-10 minutes), participants had to answer the same questions, in the same order, using our syntax.  ...  For the first set, participants were randomly assigned one of two applications: a DICE ROLLER application with a history of past dice rolls, and a language learning WORD GAME where users click on words  ... 
doi:10.1145/3242587.3242663 dblp:conf/uist/VerouAK18 fatcat:xjvuycbdbbhe5aivk5s75dmbea

On Properties of Update Sequences Based on Causal Rejection [article]

T. Eiter, M. Fink, G. Sabbatini, H. Tompits
2001 arXiv   pre-print
We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics.  ...  Such a rejection principle is also exploited in other approaches to update logic programs, e.g., in dynamic logic programming by Alferes et al.  ...  Compiling the result of updates into a single logic program in the original language (having the desired answer sets) would mean losing history information about the update sequence.  ... 
arXiv:cs/0109006v1 fatcat:lgiuthpwx5fsngn32esqgapvze

On properties of update sequences based on causal rejection

THOMAS EITER, MICHAEL FINK, GIULIANA SABBATINI, HANS TOMPITS
2002 Theory and Practice of Logic Programming  
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics.  ...  Such a rejection principle is also exploited in other approaches to update logic programs, notably in the method of dynamic logic programming, due to Alferes et al.  ...  Compiling the result of updates into a single logic program in the original language (having the desired answer sets) would mean losing history information about the update sequence.  ... 
doi:10.1017/s1471068401001247 fatcat:ah3j3kk6tjauvbvh5jgww5irr4

New Products

Richard A. DeVito, Jr.
2003 Journal of Emergency Management  
The update is the JEM New products result of the consulting firms 20-year history in developing EM program blueprints and conducting program reviews for state and local EM agencies.  ...  It also helps a local government answer three questions. Is the EM program comprehensive for the needs of the jurisdiction? Are the goals, objectives and mission of the system being achieved?  ... 
doi:10.5055/jem.2003.0021 fatcat:463n2azzmbgolhutvhqmojkn4i

Statistical Dialog Manager Design Tool for Health Screening and Assessments [chapter]

Ugan Yasavur, Christine Lisetti, Napthali Rishe
2014 Lecture Notes in Computer Science  
We focus on creating a programming tool which enables to create dialog managers for speech-enabled IVA applications in the standardized health screening and assessment domain.  ...  Our approach aims to bridge the gap between the intelligent virtual agents (IVA) and the spoken dialog systems (SDS) research communities for the delivery of standardized health interviews by embodied  ...  Conclusion and Future Work We created dialog manager design tool for creating dialog managers for delivery of standardized health interviews, which will increase the accessibility of state of the art dialog  ... 
doi:10.1007/978-3-319-09767-1_59 fatcat:bav3cppqqjgqlgfsbxbicgxxoi

Cluster randomized adaptive implementation trial comparing a standard versus enhanced implementation intervention to improve uptake of an effective re-engagement program for patients with serious mental illness

Amy M. Kilbourne, Kristen M. Abraham, David E. Goodrich, Nicholas W. Bowersox, Daniel Almirall, Zongshan Lai, Kristina M. Nord
2013 Implementation Science  
Discussion: Adaptive implementation designs consisting of a sequence of decision rules that are tailored based on a site's uptake of an effective program may produce more relevant, rapid, and generalizable  ...  This protocol describes the methods used in an adaptive implementation design study that aims to compare the effectiveness of a standard implementation strategy (Replicating Effective Programs, or REP)  ...  We would also like to acknowledge the support of the VA Office of the Medical Inspector, and the Office of Mental Health Services and Mental Health Operations of the Veterans Health Administration.  ... 
doi:10.1186/1748-5908-8-136 pmid:24252648 pmcid:PMC3874628 fatcat:3osrnhqmeng47fmtpdvgnwvm6m

Exploring Futures for Particle Physics

Chris Quigg
2020 Physics  
A ll scientists look to the future, on timescales from immediate to long-term.  ...  Accordingly, the global particle physics community has a special need for inclusive, coherent planning.  ...  Informed by that effort, the CERN Council unanimously decided in June of this year to update the European Strategy for Particle Physics, setting priorities for European ambitions in a worldwide context  ... 
doi:10.1103/physics.13.156 fatcat:flhrxnosqjd4jahcsglwst7zuy

Using Methods of Declarative Logic Programming for Intelligent Information Agents [article]

T. Eiter, M. Fink, G. Sabbatini, H. Tompits
2001 arXiv   pre-print
A promising approach is the use of multi-agent systems of information agents, which cooperatively solve advanced information-retrieval problems.  ...  In this paper, our interest is in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for information agents.  ...  In the first step, each answer set of the initial program is updated with the information in the new one, producing a set of ground literals which has minimal difference to the answer sets of the initial  ... 
arXiv:cs/0108008v1 fatcat:tg6xs5g2qfhypinc7rvjv2v2t4

Using methods of declarative logic programming for intelligent information agents

THOMAS EITER, MICHAEL FINK, GIULIANA SABBATINI, HANS TOMPITS
2002 Theory and Practice of Logic Programming  
A promising approach for solving the complex problems emerging in this context is the use of multi-agent systems of information agents, which cooperatively solve advanced information-retrieval problems  ...  In this paper, our interest lies in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for information agents.  ...  In the first step, each answer set of the initial program is updated with the information in the new one, producing a set of ground literals which has minimal difference to the answer sets of the initial  ... 
doi:10.1017/s1471068402001576 fatcat:zy4b2jbtnje6righqsq4l2s324
« Previous Showing results 1 — 15 out of 86,221 results