Concepedia

Logic Validation

Logic Validation is a scholarly contribution in the form of a method, model, framework, theory, construct, dataset, task, or metric that verifies the internal consistency and structural correctness of precedence relationships within a given system or process.

14

Publications

318

Citations

32

Authors

13

Institutions

Publications per year

2017–2026

0

Parents

Publications

14

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

Francisco Bueno, Pierre Deransart, Włodzimierz Drabent et al. · 1997 · 64 citations

, , +13

On the role of semantic approximations in validation and diagnosis of constraint logic programs

Francisco Bueno Carrillo, Pierre Deransart, Wlodek Drabent et al. · International Colloquium on Automata, Languages and Programming · 1997 · 60 citations

, , +13

VALENS: a knowledge based tool to validate and verify an Aion knowledge base

Silvie Spreeuwenberg, Rik Gerrits, Margherita R. Boekenoogen · 2000 · 22 citations

, , +15

A Hybrid Intuitionistic Logic: Semantics and Decidability

Rohit Chadha, Damiano Macedonio, Vladimiro Sassone · Journal of Logic and Computation · 2006 · 21 citations

, , +13

Software-in-the-loop development and validation of a Cornering Brake Control logic

Riccardo Russo, Mario Terzo, Francesco Timpone · Vehicle System Dynamics · 2006 · 21 citations

, , +17

1–5 of 14

Authors

32

  1. BK
    Beata Konikowska

    Institute of Computer Science, Poland

    2 publications · 30 citations

    2

    h-index

  2. GF
    Gérard Ferrand

    Institut national de recherche en sciences et technologies du numérique, France

    2 publications · 124 citations

    2

    h-index

  3. PD
    Pierre Deransart

    Institut national de recherche en sciences et technologies du numérique, France

    2 publications · 124 citations

    2

    h-index

  4. MV
    Manuel V. Hermenegildo

    Universidad Politécnica de Madrid, Spain

    2 publications · 124 citations

    2

    h-index

  5. JM
    Jan Małuszyński

    Linköping University, Sweden

    2 publications · 124 citations

    2

    h-index

1–5 of 32

Institutions

13

  1. Polish Academy of Sciences

    Warsaw, Poland

    3 h-index

    5 publications

    128 citations

  2. Institute of Computer Science

    Warsaw, Poland

    2 h-index

    4 publications

    64 citations

  3. Librt (Netherlands)

    Amsterdam, Netherlands

    1 h-index

    3 publications

    66 citations

  4. University of Southampton

    Southampton, United Kingdom

    1 h-index

    1 publications

    21 citations

  5. Temple University

    Philadelphia, United States

    1 h-index

    1 publications

    15 citations

  6. Temple College

    Temple, United States

    1 h-index

    1 publications

    15 citations

  7. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    1 h-index

    1 publications

    64 citations

  8. Universidad Politécnica de Madrid

    Madrid, Spain

    1 h-index

    3 publications

    192 citations

1–8 of 13

Venues

  1. Pancreas

    1 publications · 18 citations

    1

    h-index

  2. Journal of Logic and Computation

    1 publications · 21 citations

    1

    h-index

  3. Journal of Applied Non-Classical Logics

    JANCL · 1 publications · 13 citations

    1

    h-index

  4. IBM Journal of Research and Development

    1 publications · 17 citations

    1

    h-index

  5. International Colloquium on Automata, Languages and Programming

    Conference · 1 publications · 60 citations

    1

    h-index

1–5