Latest Research in Formal Computational Ontology

Top Research Topics in Formal Computational Ontology

• Scientific Computing and Data Management — 33 papers
• Artificial Intelligence — 23 papers
• Philosophy and Theoretical Science — 11 papers
• Computation and Language — 11 papers
• Machine Learning — 8 papers
• Logic, programming, and type systems — 8 papers
• Human-Computer Interaction — 8 papers
• Machine Learning in Materials Science — 7 papers
• Multi-Agent Systems and Negotiation — 7 papers
• Logic, Reasoning, and Knowledge — 7 papers

Highest-Cited Papers

1. PEVG: Planner, Executor, Verifier, Generator. Four Contracts That Make a Failure Attributable to One Role (2 citations)
2. Reimagining research papers as interactive and reliable AI agents (2 citations)
3. Universal Bridge Architecture & Identity Framework — Complete Research Archive (2025–2026)
4. Mathematical Ontology and the Generator Paradox Why Formal Mathematics Does Not Supply Its Own Ontological Origin
5. UFP x Dynamic Causal Foam Axis C0 v0.1.0: Predictive Closure of Spectral Boundary Observers
6. DSOS Science Archive — Field Canon Collection
7. Mathematical Ontology and the Generator Paradox Why Formal Mathematics Does Not Supply Its Own Ontological Origin
8. UFP x Dynamic Causal Foam Axis C0 v0.1.0: Predictive Closure of Spectral Boundary Observers
9. Verifying Recursive Self-Improvement: A Pre-Registered Protocol, and Results at L2 × L4
10. Generative Structural Theory v1.10.1: Global Positional Selection — A Finite Extension Obstruction in a Certified n = 6 Cone Instance
11. Generative Structural Theory v1.10.1: Global Positional Selection — A Finite Extension Obstruction in a Certified n = 6 Cone Instance
12. A General Theory of Decisive Experiments
13. The Basu Digital Bacterium Hypothesis: A Falsifiable Framework for Information-Borne Replicators in LLM Systems
14. A General Theory of Decisive Experiments
15. The Basu Digital Bacterium Hypothesis: A Falsifiable Framework for Information-Borne Replicators in LLM Systems
16. ID360-Bridge: A Ledger-Based Action Architecture for Attributable Human Agency Under Post-Stroke Executive Impairment
17. Uncovering Latent Scientific Structures in Albanian Texts Using Transformer-Based Clustering
18. IRS-DCE: A Structural Framework for Irreducible Representation Shifts and Dimensional Cascades in Transformer Dynamics
19. HunyuanOCR-1.5: Making Lightweight OCR VLMs Faster and Better
20. Greatest Crimes in Statistics

Sub-Regions

• Scientific Computing and Data Management — 128 papers
• Philosophy and History of Science — 76 papers
• Logic, programming, and type systems — 49 papers
• Cryptography and Security — 44 papers
• COVID-19 Digital Contact Tracing — 44 papers
• Multi-Agent Systems and Negotiation — 27 papers