Published May 16, 2024
| Version v1
Other
Open
PWKSO - Possible Worlds and Kripke Structures Ontology
-
1.
Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis
-
2.
Mines Saint-Étienne
-
3.
Research Centre Inria Sophia Antipolis - Méditerranée
Files
Files
(33.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f45a7c4ec954928e396bc2fcd89dd183
|
11.3 kB | Download |
|
md5:7e6c31dbf7a9b35af12c8b329ea94257
|
18.6 kB | Download |
|
md5:19170e86e9d1c0c7e467a39cc7145281
|
3.6 kB | Download |
