Results 271 to 280 of about 169,797 (297)
Some of the next articles are maybe not open access.
2006
Traditionally, theorem provers have been used to prove theorems with relatively small axiomatisations. The recent development of large ontologies poses a non-trivial challenge of reasoning with axiomatisations consisting of hundreds of thousands axioms. In the near future much larger ontologies will be available.
openaire +2 more sources
Traditionally, theorem provers have been used to prove theorems with relatively small axiomatisations. The recent development of large ontologies poses a non-trivial challenge of reasoning with axiomatisations consisting of hundreds of thousands axioms. In the near future much larger ontologies will be available.
openaire +2 more sources
Homeless pathways and the struggle for ontological security
Housing Studies, 2021Guinever Threlkeld +2 more
exaly
The embodied state: why and how physical security matters for ontological security
Journal of International Relations and Development, 2021Nina C Krickel-Choi
exaly
Ontological Psychoanalysis or “What Do You Want to Be When You Grow Up?”
Psychoanalytic Quarterly, 2019Thomas H Ogden
exaly
Toward a formal research framework for ontological analyses
Advanced Engineering Informatics, 2007Werner Esswein
exaly
Ontological (In)security and State Denial of Historical Crimes: Turkey and Japan
International Relations, 2010Ayse Zarakol
exaly