Results 211 to 220 of about 10,419 (259)
Integrating Equity in Topic Selection for Orphan Medicinal Products: Policy Implications for Health Technology Assessment in Rare Diseases. [PDF]
Appl Health Econ Health PolicyHosseini F, Mobinizadeh M, Padula WV.
europepmc +1 more source
The Price of Silence: What 2 Decades of Policy-and a Pandemic-Have Taken From Spine Surgeons: An Independent Analysis. [PDF]
Int J Spine SurgLorio MP, Lewandrowski KU.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
On the declarative and procedural semantics of logic programs
Journal of Automated Reasoning, 1989One of the most challenging problems in Logic Programming (further LP for short) is the problem of finding a suitable formalization of the type of non-monotonic reasoning used in LP. The new semantics for LP based on the class of the so-called perfect models is introduced.
Teodor C Przymusiński +1 more
exaly +2 more sources
On abstracting the procedural behaviour of logic programs
Lecture Notes in Computer Science, 1992Abstract interpretation is a widely applied method for doing static analysis of logic programs. A diversity of formalisms and applications have appeared in the literature. This paper describes at a rather informal level our formalism based on AND-OR-graphs and compares it with the approach based on denotational semantics.
Gerda Janssens, Maurice Bruynooghe
exaly +2 more sources
Decision procedures for BDI logics
Journal of Logic and Computation, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anand S. Rao, Michael P. Georgeff
openaire +1 more source
Decision Procedures for Region Logic
2012Region logic is Hoare logic for object-based programs. It features local reasoning with frame conditions expressed in terms of sets of heap locations. This paper studies tableau-based decision procedures for RL, the quantifier-free fragment of the assertion language.
Stan Rosenberg +2 more
openaire +1 more source