Logical Model Validation

Logical Model Validation is a formal process that verifies the structural and semantic correctness of a logical knowledge model by assessing its adherence to predefined logical constraints, consistency rules, and domain requirements within knowledge representation systems.

16

Publications

825

Citations

41

Authors

34

Institutions

Publications per year

2017–2026

5

Authors

41

  1. DW
    Dominic W. Massaro

    University of California, Santa Cruz, United States

    2 publications · 300 citations

    2

    h-index

  2. GC
    Gregg C. Oden

    University of Wisconsin–Madison, United States

    2 publications · 97 citations

    2

    h-index

  3. MC
    Michael Cohen

    University of California, Santa Cruz, United States

    2 publications · 300 citations

    2

    h-index

  4. NC
    Nuwong Chollacoop

    Thailand National Metal and Materials Technology Center, Thailand

    1 publications · 62 citations

    1

    h-index

  5. HA
    Herman Akdag

    Université Paris 8, France

    1 publications · 11 citations

    1

    h-index

1–5 of 41

Venues

  1. 4

    h-index

  2. GCB Bioenergy

    1 publications · 16 citations

    1

    h-index

  3. Journal of Personality and Social Psychology

    1 publications · 88 citations

    1

    h-index

  4. BMC Bioinformatics

    1 publications · 23 citations

    1

    h-index

  5. PLoS Computational Biology

    1 publications · 53 citations

    1

    h-index

1–5