A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
A Brief History of Updates of Answer-Set Programs
[article]
2022
arXiv
pre-print
Preserved Fulltext
Other Versions
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
2015
Journal of Cancer Education
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2000
Western Journal of Medicine
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 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2019
Proceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics - WAMA 2019
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 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1908.06412v1 fatcat:tyortkd27vc5pm4rtu65vpzyle
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
2018
The 31st Annual ACM Symposium on User Interface Software and Technology - UIST '18
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 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2001
arXiv
pre-print
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Theory and Practice of Logic Programming
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 2008; you can also visit the original URL.
The file type is application/pdf.
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
2003
Journal of Emergency Management
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 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Implementation Science
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 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
Physics
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 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2001
arXiv
pre-print
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Theory and Practice of Logic Programming
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 2005; you can also visit the original URL.
The file type is application/pdf.
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