Results 201 to 210 of about 235,856 (255)

Bonferroni procedures for logically related hypotheses

Journal of Statistical Planning and Inference, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hommel, G., Bernhard, G.
openaire   +1 more source

Decision procedures for BDI logics

Journal of Logic and Computation, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rao, Anand S., Georgeff, Michael P.
openaire   +1 more source

Decision Procedures for Region Logic

2012
Region 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.
Rosenberg S., Banerjee A., Naumann D.A.
openaire   +1 more source

The logic of modern retention procedures

American Journal of Orthodontics and Dentofacial Orthopedics, 1988
similar concerns posed the problem of retention or its counterpart-relapse or treatment instability. This article intends to show that the problem has not been satisfactorily answered by the multiplicity of authoritative statements and opinions, nor by clinical and experimental studies made before and during the intervening decades.
openaire   +2 more sources

Inductive logic: aims and procedures

Theoria, 1994
L'A. defend la these selon laquelle le programme de Carnap ne se reduit pas a trouver une fonction unique de la probabilite ni a etablir une description normative du comportement rationnel de l'homme. L'A. montre que le but de la logique inductive est de determiner les familles de distributions qui doivent etre adoptees dans toutes les circonstances ...
openaire   +1 more source

Proof Procedures for Logic Programming

1998
A proof procedure is an algorithm (technically, a semi-decision procedure) which identifies a formula as valid (or unsatisfiable) when appropriate, and may not terminate when the formula is invalid (satisfiable). Since a proof procedure concerns a logic the procedure takes a special form, superimposing a search strategy on an inference calculus.
Donald W. Loveland, Gopalan Nadathur
openaire   +1 more source

Situation assessment: procedural vs. logical

2005 7th International Conference on Information Fusion, 2005
This paper discusses issues and challenges in automatic situation assessment. First, a number of problems have been identified. Then each of the problems is briefly discussed, including main approaches to their solution. Two kinds of solutions are compared-procedural and logical.
openaire   +1 more source

A Resolution Decision Procedure for Fluted Logic

2000
Fluted logic is a fragment of first-order logic without function symbols in which the arguments of atomic subformulae form ordered sequences. A consequence of this restriction is that, whereas first-order logic is only semi-decidable, fluted logic is decidable.
Schmidt, R.A., Hustadt, Ullrich
openaire   +1 more source