Results 261 to 270 of about 1,229,738 (330)

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

Addressing the Abstraction and Reasoning Corpus via Procedural Example Generation

arXiv.org
This work presents code to procedurally generate examples for the ARC training tasks. For each of the 400 tasks, an example generator following the transformation logic of the original examples was created.
Michael Hodel
semanticscholar   +1 more source

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

Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs

International Conference on Information Control Systems & Technologies
Logic programs are a powerful approach for solving NP-Hard problems. However, their declarative nature poses significant challenges in debugging. Unlike procedural paradigms, which allow for step-by-step inspection of program state, logic programs ...
Ricardo Brancas, Vasco M. Manquinho, Ruben Martins   +2 more
semanticscholar   +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

Meta-Cognitive Analysis: Evaluating Declarative and Procedural Knowledge in Datasets and Large Language Models

International Conference on Language Resources and Evaluation
Declarative knowledge and procedural knowledge are two key parts in meta-cognitive theory, and these two hold significant importance in pre-training and inference of LLMs.
Zhuoqun Li, Hongyu Lin, Yaojie Lu, Hao Xiang, Xianpei Han, Le Sun   +5 more
semanticscholar   +1 more source