Results 251 to 260 of about 23,557 (297)
Amplifying missing voices in healthcare research: an AI framework for co-production of PPIE. [PDF]
Front Digit HealthSteele A +3 more
europepmc +1 more source
Loop checking and the well-founded semantics
, 1995 Using a calculus of goals, we define the success and failure of a goal for propositional programs in the presence of loop checking. The calculus is sound with respect to the well-founded semantics; for finite programs, it is also complete. A Prolog-style proof search strategy for a modification of this calculus provides a query evaluation algorithm for
Vladimir Lifschitz +3 more
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Verification of CPS Based on Control Loop Using Model Checking
2018 25th Asia-Pacific Software Engineering Conference (APSEC), 2018CPS (Cyber Physical System) includes a complicated architecture that spans cyber space and physical space. There are several relationships related to the transmission of data and energy and the control and monitoring of CPS components. Many control loops exist, and these control loops represent the cyclic relations of components based on the ...
Shinpei Ogata, Hiroyuki Nakagawa
exaly +2 more sources
Efficient Loop-Extended Model Checking of Data Structure Methods
, 2011 Many methods in data structures contain a loop structure on a collection type. These loops result in a large number of test cases and are one of the main obstacles to systematically test these methods. To deal with the loops in methods, in this paper, we propose a novel loop-extended model checking approach, abbreviated as LEMC, to efficiently test ...
Qiuping Yi, Jian Liu 0008, Wuwei Shen
openaire +2 more sources
A Duplication and Loop Checking Free System for S4 [PDF]
, 1996 Most of the sequent/tableau based proof systems for the modal logic S4 need to duplicate formulas and thus are required to adopt some method of loop checking. In what follows we present a tableau-like proof system for S4, based on D'Agostino and Mondadori's classical KE, which is free of duplication and loop checking.
Governatori, Guido
openaire +2 more sources
From COACH to COACH+: Automating output checking with human-in-the-loop
Statistical Journal of the IAOSThis paper presents COACH+ (COmputer-Assisted Output CHecking with Human-in-the-loop), an extension of COACH by (Slokom et al. COACH: Computer Assisted output CHecking with human-in-the-loop.
Manel Slokom +2 more
exaly +2 more sources