# Assistant conversation XRPXN2

- Canonical URL: <https://m.sheaf.less.rest/XRPXN2>
- Resource IRI: <https://m.sheaf.less.rest/XRPXN2>
- Type: assistant conversation
- Mode: chat

## Transcript

### 1. User

Import the attached PDF documents.

[Uploaded PDFs]
- SNAP_SPAN.pdf: Sheaf file #ETJHUW

### 2. Assistant tool calls

#### Tool call: `document_import`

```json
{
  "action": "stage",
  "file_ids": [
    "ETJHUW"
  ],
  "name": "SNAP_SPAN import"
}
```

### 3. Tool result: get_document

DOCUMENT #9YMD2E
Title: SNAP and SPAN: Towards Dynamic Spatial Ontology

Outline:
  - 1 #RBL6PZ SNAP and SPAN: Towards Dynamic Spatial Ontology
    - 1.1 #K6SSVN 1 Philosophical Background
      - 1.1.1 #GFRTYB Basic Formal Ontology
      - 1.1.2 #DK4RJ9 Temporal Modes of Being
      - 1.1.3 #PYHEWY Spatiotemporal Ontologies in BFO
      - 1.1.4 #26SD7J Granularity and Ontological Zooming
      - 1.1.5 #9SZRQM Taxonomies of SNAP and SPAN
    - 1.2 #395KH6 2 Formal Framework for BFO
      - 1.2.1 #KQ4RXW 2.1 Entities and Ontologies
        - 1.2.1.1 #2UAYWR Ontologies and Ontology Forms
        - 1.2.1.2 #5QDPLY Material Universals
        - 1.2.1.3 #XZBGMM Taxonomies of Universals in BFO
      - 1.2.2 #Y9WM7Q 2.2 Mereology
        - 1.2.2.1 #QNNQ5Y Mereology and Universals
      - 1.2.3 #BK3QCV 2.3 Formal Relations
        - 1.2.3.1 #9AERBS Ontological Indices of Relations.
    - 1.3 #QZ35CZ 3 SNAP
      - 1.3.1 #UQH4XU 3.1 Spatial Regions
      - 1.3.2 #LGE6EY 3.2 Substantial Entities
      - 1.3.3 #CAHEN5 3.3 SNAP Dependent Entities
      - 1.3.4 #P4DE3U 3.4 Universals
    - 1.4 #35MC29 4 SPAN
      - 1.4.1 #FV9PQR 4.1 Processual Entities
      - 1.4.2 #QLNXDB 4.3 Temporal Regions
      - 1.4.3 #WWCQX4 4.4 Spatiotemporal Regions
    - 1.5 #4NQATC 5 Trans-Ontology in BFO
      - 1.5.1 #5YQFU8 SNAP-SNAP Trans-Ontology
        - 1.5.1.1 #LFHHPS Qualitative Change
        - 1.5.1.2 #VZ3SDB Spatial and Locational Change
        - 1.5.1.3 #FHYAX6 Substantial Change
      - 1.5.2 #4WUBEQ Genidentity
      - 1.5.3 #3YPE9U Reasoning with SPAN Ontologies
      - 1.5.4 #854NA2 SNAP-SPAN Trans-ontology
    - 1.6 #XVCM25 6 Case Study: The Ontology of Geodynamic
      - 1.6.1 #UYMYEH Geographical Ontology
      - 1.6.2 #BS2RJT 6.1 Georegions and Geo-Ontologies
        - 1.6.2.1 #PKYEV9 Geospatial Regions.
        - 1.6.2.2 #4D6KJ8 Geotemporal and Geospatiotemporal Regions
        - 1.6.2.3 #684DED Geo-Ontologies
      - 1.6.3 #7MRJ7Z 6.3 The SNAP Geographical Object Ontology
      - 1.6.4 #YVHQGW 6.4 The SPAN Geographical Process Ontology
        - 1.6.4.1 #BGCHQQ Patterns and Features of Processes
      - 1.6.5 #DUUBT3 6.5 The SNAP Geographical Fields Ontology
        - 1.6.5.1 #UMMP8H Relations in SNAP Field Ontologies.
    - 1.7 #QU7ELJ Conclusion
    - 1.8 #TCMAHV Acknowledgements
    - 1.9 #UDNAWL References

### 4. Tool result: document_import

{
  "status": {
    "files": [
      {
        "error": null,
        "status": "pending",
        "file_id": "ETJHUW",
        "execution_id": null
      }
    ],
    "counts": {
      "pending": 1
    }
  },
  "sources": [],
  "action": "stage",
  "run_iri": "https://m.sheaf.less.rest/NELXDA",
  "run_id": "NELXDA",
  "file_ids": [
    "ETJHUW"
  ]
}

### 5. Assistant tool calls

#### Tool call: `read`

```json
{
  "blocks": [
    "K6SSVN",
    "QU7ELJ"
  ],
  "expand": true
}
```

### 6. Assistant tool calls

#### Tool call: `document_import`

```json
{
  "action": "extract",
  "run_id": "NELXDA"
}
```

### 7. Assistant tool calls

#### Tool call: `document_import`

```json
{
  "action": "extract",
  "run_id": "KYMWYA"
}
```

### 8. Tool result: list_documents

FOLDERS
- Accounting Algebra & Property Theory
- Assembly & Mechanism Ontology
- Discrete & Finite Element Exterior Calculus
- Graph-Theoretic & Compositional Systems Theory
- Living Structure, Wholeness & Beauty
- Living Structure, Wholeness &amp; Beauty
- ontology
- Procedural Generation & Co-Creation
- Roads, Trails & Movement
- Scenario-Based & Behavioral Programming
- Technology, Scale & Conviviality
- Terrain Modeling
- Terrain, Hydrology & Erosion
- Water Simulation & Rendering

Accounting Algebra & Property Theory (4)
- #GANFP9 A Fundamental Duality in the Mathematical and Natural Sciences: From Logic to Biology - 2024 | David Ellerman | 53 pp.
  Micro abstract: Traces an overlooked subset–partition duality—from logic and category theory through entropy and quantum indefiniteness to selectionist and generative mechanisms in biology.
- #NBH3BE Algebraic Models for Accounting Systems - 2010 | Derek J. S. Robinson, José García Pérez, Robert A. Nehmer, Salvador Cruz Rambaud | World Scientific | 255 pp.
  Micro abstract: Develops accounting theory algebraically: balance vectors as modules, transactions as a group, and whole accounting systems as automata with quotients, homomorphisms, and decision algorithms for audit and control.
- #7ESDBJ Economics, Accounting, and Property Theory - 1982 | David P. Ellerman | Lexington Books | 110 pp.
  Micro abstract: Ellerman's vector-accounting monograph: double entry generalized to property vectors ("accounting without valuation"), grounding a property-theoretic account of appropriation, the firm, and goodwill.
- #C8FHDZ On implication and negation in partition logic - 2025 |  , David Ellerman | Open Journal of Mathematical Sciences | 9 pp. | doi:10.30538/oms2025.0250
  Micro abstract: Develops implication as a refinement-sensitive operation on set partitions, showing how relative negation yields local Boolean cores within the non-distributive algebra of partitions.

Assembly & Mechanism Ontology (4)
- #6PYNP3 Object-Oriented Representation of Electro-Mechanical Assemblies Using UML - 2003 | Fujun Wang, Kevin W. Lyons, National Institute of Standards and Technology, Ram D. Sriram, Shaw C. Feng, Sudarsan Rachuri, Utpal Roy, Young-Hyun Han | NISTIR 7057 | 97 pp.
  Micro abstract: NIST report proposing the Open Assembly Model, a UML-based object-oriented representation for electro-mechanical assembly information exchange.
- #KSLF8E Ontology and Assembly Joint Topology Representation - 2008 | Kyoung-Yun Kim | Computer-Aided Design and Applications | 9 pp. | doi:10.3722/cadaps.2008.630-638
  Micro abstract: Uses mereotopology and SWRL rules to represent assembly joints as ontological relations, illustrated on a fixture assembly case study.
- #NHJEJG Representing Geometric Structures in d Dimensions: Topology and Order - 1993 | Erik Brisson | Proceedings of the fifth annual symposium on Computational geometry | 10 pp.
  Micro abstract: Formalizes geometric structures in d dimensions via combinatorial topology and order relations, a foundation for cell-complex representations used in assembly/geometric modeling.
- #KT87MS Towards an Ontology for Generative Design of Mechanical Assemblies - 2019 | Bahar Aameri, Hyunmin Cheong, J. Christopher Beck | Applied Ontology | 24 pp.
  Micro abstract: Proposes a formal ontology of mechanical assembly structure intended to support generative design systems.

Discrete & Finite Element Exterior Calculus (2)
- #AX2VJD Discrete Exterior Calculus - 2005 | Anil N. Hirani, Jerrold E. Marsden, Mathieu Desbrun, Melvin Leok | arXiv:math/0508341 | 53 pp.
  Micro abstract: Introduces discrete exterior calculus, a coordinate-free discretization of differential forms on simplicial complexes for computational modeling.
- #LTESUF Finite Element Exterior Calculus: From Hodge Theory to Numerical Stability - 2010 | Douglas N. Arnold, Ragnar Winther, Richard S. Falk | arXiv:0906.4325 / Bulletin of the AMS | 74 pp.
  Micro abstract: Surveys finite element exterior calculus, unifying Hodge theory and mixed finite element stability analysis for PDE discretization.

Graph-Theoretic & Compositional Systems Theory (4)
- #TA7A6Y Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams - 2015 | David I. Spivak, Dmitry Vagner, Eugene Lerman | arXiv:1408.1598 | 26 pp.
  Micro abstract: Develops an operad-algebra formalism for open dynamical systems composed via wiring diagrams, underpinning compositional systems theory.
- #PB725Y Graph theoretic foundations of multibody dynamics - 2011 | Abhinandan Jain | Multibody System Dynamics | 35 pp. | doi:10.1007/s11044-011-9267-6
  Micro abstract: Second of a two-part paper deriving O(N) recursive algorithms (Newton-Euler, Lyapunov/Riccati factorizations) for multibody dynamics from the graph-theoretic spatial kernel/operator (SKO/SPO) models built in Part I.
- #RT6CVD Port-Hamiltonian Systems on Graphs - 2013 | A. J. van der Schaft, B. M. Maschke | SIAM Journal on Control and Optimization | 32 pp. | doi:10.1137/110840091
  Micro abstract: Builds port-Hamiltonian systems on open directed graphs via Dirac structures, unifying mass-spring-damper networks, spatial mechanisms, hydraulic networks, and consensus dynamics under one compositional geometric framework.
- #A6DBK8 Seven Sketches in Compositionality: An Invitation to Applied Category Theory - 2018 | Brendan Fong, David I. Spivak | 353 pp.
  Micro abstract: A textbook introducing applied category theory (orders, monoidal categories, operads, sheaves, etc.) through seven worked "sketches" connecting math to systems modeling.

Living Structure, Wholeness & Beauty (9)
- #MH5J8D Beautimeter: Harnessing GPT for Assessing Architectural and Urban Beauty Based on the 15 Properties of Living Structure - 2025 | Bin Jiang | AI | 12 pp. | doi:10.3390/ai6040074
  Micro abstract: Presents Beautimeter, a GPT-based tool that scores buildings and urban scenes against Christopher Alexander’s 15 properties of living structure to assess their coherence and beauty.
- #XW22YY Generative Codes: The Path to Building Welcoming, Beautiful, Sustainable Neighborhoods - 2005 | Brian Hanson, Christopher Alexander, Maggie Moore Alexander, Michael Mehaffy, Randall Schmidt | Center for Environmental Structure | 21 pp.
  Micro abstract: Argues that living neighborhoods arise from generative codes: ordered, participatory steps that let buildings and public spaces unfold from local people, land, and context.
- #SKRF4C Geography as a Science of the Earth’s Surface Founded on the Third View of Space - 2022 | Bin Jiang | Annals of GIS | 14 pp. | doi:10.1080/19475683.2021.1966502
  Micro abstract: Recasts geography around an organismic view of space, using scaling and spatial dependence to understand—and deliberately create—places with greater living structure.
- #PXG56P Harmony-Seeking Computations: A Science of Non-Classical Dynamics Based on the Progressive Evolution of the Larger Whole - 2009 | Christopher Alexander | Unpublished manuscript | 66 pp.
  Micro abstract: Proposes harmony-seeking computation as a creative process that repeatedly strengthens latent centers in a configuration while preserving and deepening the larger whole.
- #MJKTBB Living Images: A Recursive Approach to Computing the Structural Beauty of Images or the Livingness of Space - 2023 | Bin Jiang, Chris de Rijke | Annals of the American Association of Geographers | 19 pp. | doi:10.1080/24694452.2023.2178376
  Micro abstract: Measures an image’s structural beauty by recursively extracting its nested substructures, revealing a compact hierarchy that also captures visual saliency.
- #3XSLTA Structural Beauty: A Structure-Based Computational Approach to Quantifying the Beauty of an Image - 2021 | Bin Jiang, Chris de Rijke | Journal of Imaging | 15 pp. | doi:10.3390/jimaging7050078
  Micro abstract: Proposes a quantitative measure of structural beauty based on how many substructures an image contains and how strongly they form a hierarchy across scales.
- #ZU8GZV Structure-Preserving Transformations - 2002 | Christopher Alexander | The Nature of Order, Book Two: The Process of Creating Life | 4 pp. | doi:10.2307/j.ctv27ftw6c.5
  Micro abstract: Explains structure-preserving transformations: incremental changes that extend the centers and relationships already present in a place rather than weakening its wholeness.
- #AULNWD The Nature of Poetic Order - 1998 | Richard P. Gabriel | Warren Wilson Alumni Conference, Mount Holyoke | 99 pp.
  Micro abstract: Gabriel's slide essay relating poetry's formal order to Christopher Alexander's ideas of generative structure, exploring how constraint and pattern produce living order in creative work.
- #BYG3BQ Wholeness as a Hierarchical Graph to Capture the Nature of Space - 2015 | Bin Jiang | International Journal of Geographical Information Science | 14 pp. | doi:10.1080/13658816.2015.1038542
  Micro abstract: Models spatial wholeness as a hierarchical graph of mutually reinforcing centers, using PageRank and scaling depth to quantify the life of parts and wholes.

ontology (36)
- #LRK6E2 A Taxonomy of Granular Partitions - 2001 | Barry Smith, Thomas Bittner | Spatial Information Theory: Foundations of Geographic Information Science | 16 pp. | doi:10.1007/3-540-45424-1_3
  Micro abstract: Formalizes partitions as tree-structured cognitive devices projected onto reality, then classifies how accurately, structurally, and completely their cells recognize objects, with applications to cadastral and geographic data.
- #FQCWKV A Theory of Granular Partitions - 2003 | Barry Smith, Thomas Bittner | Foundations of Geographic Information Science | 33 pp.
  Micro abstract: Formalizes granular partitions as hierarchical cell systems projected onto reality, combining cognitive selectivity with mereological structure for naming, classifying, mapping, and representation.
- #SF7KYZ About the Unreal - 2025 | Barry Smith, Jim Logan, John Beverley | Proceedings of the Joint Ontology Workshops (JOWO), Episode XI | 14 pp.
  Micro abstract: Models fiction, blueprints, simulations, and other information about unreal entities through logical combinations of actual classes, avoiding commitments to nonexistent dummy instances.
- #CGE2NC Against Fantology - 2005 | Barry Smith | Experience and Analysis | 22 pp.
  Micro abstract: Critiques the idea that first-order logic reveals reality’s ontology, tracing its atomism, timelessness, Booleanism, and reductionism before proposing a six-category ontology and an enhanced Davidsonian formal language.
- #JZG4PM Against Fantology Again - 2016 | Ingvar Johansson | The Theory and Practice of Ontology | 12 pp.
  Micro abstract: Extends the critique of fantology through default ontologization, arguing that Quine’s canonical notation is incoherent about classes and excludes intentional phenomena and distinct modes of existence.
- #E5CLFY Agglomerations - 1999 | Barry Smith | Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science | 16 pp. | doi:10.1007/3-540-48384-5_18
  Micro abstract: Defines agglomerations as geographically dispersed yet unified aggregates—populations, cultures, organizations, and diasporas—and develops a realist mereotopology for their boundaries, identity, and change.
- #3CCZ4A Bodily Systems and the Spatial-Functional Structure of the Human Body - 2004 | Barry Smith, Igor Papakin, Katherine Munn | Ontologies in Medicine | 26 pp. | doi:10.3233/978-1-60750-945-5-39
  Micro abstract: Integrates anatomy and physiology by modeling the body as a nested spatial-functional hierarchy whose parts are demarcated as system elements through the functions they bear and realize.
- #7YZU95 Boundaries: An Essay in Mereotopology - 1997 | Barry Smith | The Philosophy of Roderick Chisholm | 32 pp.
  Micro abstract: Reconstructs and extends the Brentano–Chisholm mereotopology in which dependent, coincident boundaries account for contact and the continuum across points, lines, surfaces, and bodies.
- #3TZK66 Capabilities: An Ontology - 2024 | Barry Smith, David Limbaugh, Eric Merrell, John Beverley, Peter M. Koch | Proceedings of the Joint Ontology Workshops (JOWO), Episode X | 14 pp.
  Micro abstract: Defines a capability as a disposition in whose realization an organism or group has or had an interest, placing capabilities between dispositions and functions in Basic Formal Ontology.
- #XYERFR Carving Up Reality - 2004 | Barry Smith | Categories: Historical and Systematic Essays | 14 pp.
  Micro abstract: Explains how context-sensitive, coarse-grained partitions guide reference and perception while preserving transitive parthood and distinguishing fiat demarcations from boundaries grounded in reality.
- #88BVY3 Categories in Top-Level Ontologies: Revisiting the Aristotelian Background - Barry Smith, Ludger Jansen | 31 pp.
  Micro abstract: Reconstructs Aristotle’s categories as the philosophical basis of BFO, extending the ontological square with processes into a six-category framework for continuants, occurrents, dependence, and multiple scientific granularities.
- #9G4F42 CLASSIFYING PROCESSES: AN ESSAY IN APPLIED ONTOLOGY - 2012 | Barry Smith | Ratio | 21 pp. | doi:10.1111/j.1467-9329.2012.00557.x
  Micro abstract: Extends Basic Formal Ontology to scientific process data through process profiles—quality, rate, and cyclical aspects that ground measurements, time-series graphs, and representations of dynamic systems.
- #GSLMP8 Diagrams, Documents, and the Meshing of Plans - 2013 | Barry Smith | Visual Learning, vol. 3: How to Do Things with Pictures: Skill, Practice, Performance | 14 pp.
  Micro abstract: Shows how diagrams and evolving networks of documents mesh plans, obligations, and specialized labor to enable coordinated collective action beyond the limits of linear text.
- #M8BQ3S Do Mountains Exist? Towards an Ontology of Landforms - 2003 | Barry Smith, David M. Mark | Environment and Planning B: Planning and Design | 22 pp.
  Micro abstract: Argues that mountains are object-like in everyday thought but elevation fields in environmental science, motivating a geospatial ontology that supports both perspectives.
- #KSESR8 Drawing Boundaries - 2019 | Barry Smith | The Philosophy of GIS | 26 pp. | doi:10.1007/978-3-030-16829-2_7
  Micro abstract: Updates the distinction between human-demarcated fiat boundaries and physically grounded bona fide boundaries, tracing its uses in geography, property, ecology, and Basic Formal Ontology.
- #56MWAA Environmental Metaphysics - 2001 | Achille C. Varzi, Barry Smith | Metaphysics in the Post-Metaphysical Age: Proceedings of the 22nd International Wittgenstein Symposium | 12 pp.
  Micro abstract: Develops an ontology of token niches as tenant–medium–retainer structures, using physical and fiat boundaries to explain environmental fit, protection, movement, and niche construction.
- #K6JC2J Layers: A New Approach to Locating Objects in Space - 2003 | Barry Smith, Maureen Donnelly | Spatial Information Theory: Foundations of Geographic Information Science | 16 pp. | doi:10.1007/978-3-540-39923-0_4
  Micro abstract: Extends mereotopology with layers that distinguish material objects, holes, and processes from the spatial and spatiotemporal regions they occupy, supporting dynamic geospatial reasoning beyond static map overlays.
- #KG5TBB Making space: the natural, cultural, cognitive and social niches of human activity - 2021 | Barry Smith | Cognitive Processing | 11 pp. | doi:10.1007/s10339-021-01049-y
  Micro abstract: Shows how legal decisions, plans, historical reasoning, and language create fiat spatial and spatiotemporal entities, then draws limits and practical lessons for ontology-supported AI.
- #FJ5KCA More Things in Heaven and Earth - 1995 | Barry Smith | Grazer Philosophische Studien | 15 pp.
  Micro abstract: Develops an ontology of spatial regions and boundaries, arguing that political territories are historically created fiat objects through performative maps while also recognizing vague, overlapping, and incomplete geographic objects.
- #KY3Y9U Naïve Physics: An Essay in Ontology - 1994 | Barry Smith, Roberto Casati | Philosophical Psychology | 22 pp. | doi:10.1080/09515089408573121
  Micro abstract: Reconstructs naïve physics as a realist ontology of the common-sense world—objects, processes, stuffs, boundaries, media, and values—drawing on Gestalt psychology and phenomenology to broaden AI’s set-theoretic models.
- #TQPVBD New Foundations for Qualitative Physics - 1990 | Barry Smith, Jean Petitot | Evolving Knowledge in Natural Science and Artificial Intelligence | 13 pp.
  Micro abstract: Argues for a scientific ontology of the qualitative common-sense world, using morphological discontinuities to connect physical substrates, sensible qualities, Aristotelian categories, and ecologically constrained cognition.
- #B98HVX Objects and Their Environments: From Aristotle to Ecological Ontology - 2001 | Barry Smith | The Life and Motion of Socio-Economic Units | 26 pp. | doi:10.1201/9781482268096-14
  Micro abstract: Extends Aristotelian substance–accident ontology into a realist theory of behavioral settings and ecological niches as nested, bounded wholes in which organisms, objects, and activities mutually fit.
- #9GWUC8 On Classifying Material Entities in Basic Formal Ontology - 2012 | Barry Smith | Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting | 13 pp.
  Micro abstract: Clarifies BFO’s material entities by distinguishing objects, aggregates, and fiat object parts, and analyzes objects through causal unity by covering, physical forces, or engineered assembly without claiming exhaustivity.
- #KYQGNH On Credentials - 2020 | Barry Smith, Giuseppe Lorini, Olimpia Giuliana Loddo | Journal of Social Ontology | 21 pp. | doi:10.1515/jso-2019-0034
  Micro abstract: Provides a social ontology of credentials as portable, inspectable institutional documents that certify identity or status and give bearers the practical deontic power to exercise rights, with a typology of their forms and functions.
- #BV47YZ On Drawing Lines on a Map - 1995 | Barry Smith | Spatial Information Theory: A Theoretical Basis for GIS | 10 pp. | doi:10.1007/3-540-60392-1_31
  Micro abstract: Builds a typology of spatial boundaries around the fiat–bona fide distinction, applying it to maps, political and property divisions, scattered objects, linguistic framing, and truthmakers.
- #D8LRQM Ontological Foundations for Geographic Information Science - 2004 | Barry Smith, David M. Mark, Max J. Egenhofer, Stephen C. Hirtle | A Research Agenda for Geographic Information Science | 8 pp. | doi:10.1201/9781420038330.ch12
  Micro abstract: Sets a research agenda for geospatial ontology, linking formal accounts of geographic objects, processes, scale, and vagueness to human concepts, interoperable data, and ontology-driven GIS.
- #GN66WW Ontologies of Common Sense, Physics and Mathematics - 2023 | Barry Smith, Jobst Landgrebe | arXiv | 32 pp. | doi:10.48550/arXiv.2305.01560
  Micro abstract: Proposes linked upper ontologies for common sense, physics, and mathematics, arguing that classical models connect real magnitudes to mathematics whereas modern physics relates measurements to entities lacking commonsense universals.
- #WYP3G6 Ontology and Geographic Kinds - 1998 | Barry Smith, David M. Mark | Proceedings of the 8th International Symposium on Spatial Data Handling (SDH ’98) | 7 pp.
  Micro abstract: Argues that geographic kinds are intrinsically spatial and boundary-centered, requiring mereology and topology to connect physical reality, cultural categorization, cognition, and GIS representation.
- #9YMD2E SNAP and SPAN: Towards Dynamic Spatial Ontology - 2004 | Barry Smith, Pierre Grenon | Spatial Cognition & Computation | 35 pp. | doi:10.1207/S15427633SCC0401_5
  Micro abstract: BFO's bicategorial framework: SNAP snapshot ontologies of continuants and a SPAN ontology of processes in spacetime, linked by trans-ontological relations to capture change — demonstrated on the ontology of geodynamics.
- #KWFTKJ Surrounding Space: The Ontology of Organism-Environment Relations - 2002 | Achille C. Varzi, Barry Smith | Theory in Biosciences | 29 pp. | doi:10.1078/1431-7613-00053
  Micro abstract: Develops a formal ontology of token niches as tenant–medium–retainer structures, extending static organism–environment fit into a dynamic account of vacant niches, movement, interaction, and niche construction.
- #DLY2WP The Cognitive Geometry of War - 1997 | Barry Smith | Current Issues in Political Philosophy: Justice in Society and World Order | 26 pp.
  Micro abstract: Argues that modern ideals of compact, contiguous national territory help drive conflict, and proposes perforated, non-contiguous, and geometrically flexible borders as alternatives to displacement and ethnic cleansing.
- #4QQD4A The Logic of Systems of Granular Partitions - 2005 | Barry Smith, Maureen Donnelly, Thomas Bittner | IFOMIS Reports | 23 pp.
  Micro abstract: Builds a sound S4-style modal logic for labeled, typed granular partitions, modeling refinement and cross-partition counterparts so differently selective views can reason about the same mereologically structured reality.
- #2F8T3H Toward a Realistic Science of Environments - 2009 | Barry Smith | Ecological Psychology | 11 pp.
  Micro abstract: Defends Gibsonian ecological realism: organisms directly perceive affordances in physically real niches, while granular partitions show how different species inhabit perspectives on one world, not separate constructed worlds.
- #DT9Y7X True Grid - 2002 | Barry Smith | Spatial Information Theory: Foundations of Geographic Information Science | 17 pp.
  Micro abstract: Generalizes Alberti’s perspectival grid into a realist theory of projection: pictures, maps, names, concepts, and databases are “true grids” when their cells preserve relevant structure and refer transparently to reality.
- #PHAFYA Truth and the Visual Field - 1997 | Barry Smith | Naturalizing Phenomenology: Issues in Contemporary Phenomenology and Cognitive Science | 8 pp.
  Micro abstract: Uses mereotopology and Gibsonian ecology to treat perception and language as carving transient fiat boundaries in reality, defining a judgment field as the truth-making portion of the world selected by a true sentence.
- #XZX6PE Vague Reference and Approximating Judgments - 2003 | Barry Smith, Thomas Bittner | Spatial Cognition and Computation | 20 pp.
  Micro abstract: Formalizes vague reference as multiple crisp candidate referents within granular partitions, then explains approximation as using familiar spatial or temporal reference grids to constrain vagueness without truth-value indeterminacy.

Procedural Generation & Co-Creation (14)
- #ABD2B8 Between Tech and Art: The Vegetation of Horizon Zero Dawn - 2018 | Gilbert Sanders, Guerrilla Games | Game Developers Conference (GDC) 2018 | 87 pp.
  Micro abstract: A production breakdown of Horizon Zero Dawn’s vegetation pipeline, covering global wind simulation, layered foliage motion, coverage-preserving alpha mipmaps, shading, asset LODs, placement, and cascaded shadows.
- #4TH488 Explainable AI for Designers: A Human-Centered Perspective on Mixed-Initiative Co-Creation - 2018 | Antonios Liapis, G. Michael Youngblood, Jichen Zhu, Rafael Bidarra, Sebastian Risi | 2018 IEEE Conference on Computational Intelligence and Games (CIG) | 8 pp. | doi:10.1109/CIG.2018.8490433
  Micro abstract: Defines explainable AI for game designers, mapping co-creative systems by their explainability, initiative, and domain overlap so explanations serve concrete design tasks.
- #9NQ94D Extracting Physics from Blended Platformer Game Levels - 2020 | Adam Summerville, Anurag Sarkar, Joseph C. Osborn, Sam Snodgrass | Joint Proceedings of the AIIDE 2020 Workshops (CEUR Workshop Proceedings, Vol. 2862) | 7 pp.
  Micro abstract: Infers playable jump physics from generated platformer levels, including hybrid physics models for levels that blend the geometry and style of multiple games.
- #66Q3W3 Ghost of Tsushima: Procedural Grass - 2021 | Eric Wohllaib, Sucker Punch Productions | Game Developers Conference (GDC) 2021 | 55 pp.
  Micro abstract: Explains Ghost of Tsushima’s compute-driven grass pipeline, from tiled placement and culling to indirect drawing, cubic Bézier blade geometry, variable LOD, wind animation, and material shading.
- #QHMFH2 Improved Alpha Testing Using Hashed Sampling - 2019 | Chris Wyman, Morgan McGuire | IEEE Transactions on Visualization and Computer Graphics | 12 pp. | doi:10.1109/TVCG.2017.2739149
  Micro abstract: Develops hashed alpha testing, a stable quasi-random thresholding method that preserves distant alpha-mapped foliage and hair while controlling flicker, anisotropy, and interactions with TAA and alpha-to-coverage.
- #7GR3AQ Procedural Content Generation through Quality Diversity - 2019 | Ahmed Khalifa, Antonios Liapis, Daniele Gravina, Georgios N. Yannakakis, Julian Togelius | 2019 IEEE Conference on Games (CoG) | 8 pp. | doi:10.1109/CIG.2019.8848053
  Micro abstract: Argues for quality-diversity algorithms in procedural generation, producing broad collections of varied, playable content while exposing the design space for exploration and co-creation.
- #CQBDX4 Procedural Content Generation via Machine Learning (PCGML) - 2018 | Aaron Isaksen, Adam Summerville, Amy K. Hoover, Andy Nealen, Christoffer Holmgård, Julian Togelius, Matthew Guzdial, Sam Snodgrass | IEEE Transactions on Games | 15 pp. | doi:10.1109/TG.2018.2846639
  Micro abstract: Defines and surveys PCGML: generating functional game content directly from models trained on existing examples, with uses spanning creation, completion, repair, critique, and compression.
- #EARFEK Procedural Generation of Villages on Arbitrary Terrains - 2012 | Adrien Bernhardt, Adrien Peytavie, Arnaud Emilien, Eric Galin, Marie-Paule Cani | The Visual Computer | 10 pp. | doi:10.1007/s00371-012-0699-7
  Micro abstract: Presents a three-stage procedural model that grows terrain-responsive village roads and settlements, partitions land into plausible parcels, and generates slope-adapted buildings with open shape grammars.
- #EDURTK Real-Time GPU Tree Generation - 2025 | Bastian Kuth, Carsten Faber, Dominik Baumeister, Max Oberberger, Pirmin Pfeifer, Quirin Meyer, Seyedmasih Tabaei | High-Performance Graphics – Symposium Papers | 10 pp. | doi:10.2312/hpg.20251168
  Micro abstract: Introduces a GPU work-graph pipeline that generates, animates, edits, and continuously LODs detailed seasonal trees every frame, replacing gigabytes of baked geometry with kilobytes of parameters.
- #GBXEP3 Realistic Modeling and Rendering of Plant Ecosystems - 1998 | Bernd Lintermann, Matt Pharr, Oliver Deussen, Pat Hanrahan, Przemyslaw Prusinkiewicz, Radomír Měch | Proceedings of SIGGRAPH ’98 | 12 pp. | doi:10.1145/280814.280898
  Micro abstract: Presents a foundational pipeline for authoring plant ecosystems through terrain design, ecological simulation, procedural plant models, approximate instancing, and efficient rendering of billion-primitive scenes.
- #BDBBL6 Real‐time Realistic Rendering and Lighting of Forests - 2012 | Eric Bruneton, Fabrice Neyret | Computer Graphics Forum | 11 pp. | doi:10.1111/j.1467-8659.2012.03016.x
  Micro abstract: Combines detailed z-field trees with terrain shader-maps to render immense forests in real time, preserving sun, sky, canopy, and ground-lighting effects through seamless, scale-consistent transitions.
- #PQ68ZH Responsive Real-Time Grass Rendering for General 3D Scenes - 2017 | Klemens Jahrmann, Michael Wimmer | Proceedings of the 2017 Symposium on Interactive 3D Graphics and Games (I3D ’17) | 10 pp. | doi:10.1145/3023368.3023380
  Micro abstract: Renders every grass blade as responsive tessellated geometry on arbitrary 3D surfaces, with per-blade wind, gravity, and collision physics plus aggressive culling that retains dense fields in real time.
- #WZ8DHP Runtime Evaluation of Procedural Content Generation in an Endless Runner Game Using Autonomous Agents - 2026 | Rishabh Kar | arXiv | 25 pp. | doi:10.48550/arXiv.2605.01783
  Micro abstract: Integrates procedural generation and validation in an endless runner, using aerial and ground agents to detect blocked or unnavigable content before the player reaches it.
- #NRBMD5 Towards Friendly Mixed Initiative Procedural Content Generation: Three Pillars of Industry - 2020 | Frederic Fol Leymarie, Gorm Lai, William Latham | Proceedings of the International Conference on the Foundations of Digital Games (FDG '20) | 4 pp. | doi:10.1145/3402942.3402946
  Micro abstract: Distills three requirements for industry-friendly co-creative PCG tools: preserve designer control, keep feedback loops short, and fit into existing production pipelines.

Roads, Trails & Movement (8)
- #G3TBNG A Sequential Two-Step Algorithm for Fast Generation of Vehicle Racing Trajectories - 2016 | J. Christian Gerdes, John Subosits, Nitin R. Kapania | Journal of Dynamic Systems, Measurement, and Control | 12 pp. | doi:10.1115/1.4033311
  Micro abstract: Generates near-optimal racing trajectories quickly by alternating between a minimum-time speed profile and a convex path update that reduces curvature.
- #B6P8L4 Active walker model for the formation of human and animal trail systems - 1997 | Dirk Helbing, Frank Schweitzer, Joachim Keltsch, Péter Molnár | Physical Review E | 34 pp. | doi:10.1103/physreve.56.2527
  Micro abstract: Models trail systems as self-organization: walkers reinforce attractive routes while unused traces fade, producing dendritic ant trails and low-detour pedestrian networks.
- #V4TQYB Interactive procedural street modeling - 2008 | Eugene Zhang, Gregory Esch, Guoning Chen, Pascal Müller, Peter Wonka | ACM Transactions on Graphics | 10 pp. | doi:10.1145/1360612.1360702
  Micro abstract: Lets designers generate and edit large street networks through tensor fields, combining procedural speed with brush-like global and local control over street patterns.
- #UYLTYJ Modelling the Evolution of Human Trail Systems - 1997 | Dirk Helbing, Joachim Keltsch, Péter Molnár | Nature | 11 pp. | doi:10.1038/40353
  Micro abstract: Shows how pedestrian trails emerge through feedback between destination-seeking walkers, existing paths, and vegetation recovery, yielding a compromise between directness and shared infrastructure.
- #GY93FG Mountain Trail Formation and the Active Walker Model - 2009 | J. P. Hague, S. J. Gilks | International Journal of Modern Physics C | 22 pp. | doi:10.1142/S0129183109014059
  Micro abstract: Extends the active-walker model to steep terrain, explaining zigzag mountain trails through slope avoidance, directional persistence, and mutual reinforcement by ascending and descending walkers.
- #LXV9AT Principles of Trail Layout and Design - 2019 | California State Parks | California State Parks Trails Handbook | 64 pp.
  Micro abstract: A field-oriented guide to durable trail design, emphasizing curvilinear alignment, natural drainage, sustainable grades, control points, and close reading of landform and soils.
- #XDEFZS Procedural Generation of Roads - 2010 | A. Peytavie, E. Galin, E. Guérin, N. Maréchal | Computer Graphics Forum | 10 pp. | doi:10.1111/j.1467-8659.2009.01612.x
  Micro abstract: Automatically routes and constructs roads with an anisotropic shortest-path method that weighs slope and obstacles while treating surface segments, bridges, and tunnels consistently.
- #ARP5U7 The Topography of Minoan Peak Sanctuaries - 1983 | A. A. D. Peatfield | The Annual of the British School at Athens | 8 pp. | doi:10.1017/s0068245400019729
  Micro abstract: Argues that Minoan peak sanctuaries were chosen for visibility and proximity to local settlements, forming a beacon-like sacred network whose contraction tracked settlement abandonment rather than cultic collapse.

Scenario-Based & Behavioral Programming (8)
- #P2W4J5 Adaptive Behavioral Programming - 2011 | David Harel, Nir Eitan | 8 pp. | doi:10.1109/ictai.2011.109
  Micro abstract: Adds reinforcements to live sequence charts and BPJ so scenario-based programs can learn from their environment, specifying goals to pursue and scenarios to avoid, with modular learning decompositions.
- #XQ5NKX Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems - 2023 | Assaf Marron, David Harel, Guy Frankel, Irun Cohen, Smadar Szekely | 8 pp. | doi:10.5220/0011728900003402
  Micro abstract: Position paper on modeling emergence, rule composition, and networked interactions in complex reactive systems, introducing "unmodeling"—explicitly excluding entities and behaviors from model execution.
- #D4VB7S Distributing Scenario-Based Models: A Replicate-and-Project Approach - 2017 | Assaf Marron, Daniel Gritzner, David Harel, Guy Katz, Joel Greenyer, Shlomi Steinberg | MODELSWARD 2017 | 16 pp. | doi:10.5220/0006271301820195
  Micro abstract: Distributes scenario-based models by replicating the full specification on every component and projecting it per component, mimicking centralized behavior while sharply reducing synchronization.
- #CSJARA Enhancing Scenario-Based Modeling Using Large Language Models - 2026 | Assaf Marron, David Harel, Guy Katz, Smadar Szekely | Communications in Computer and Information Science | Springer Nature Switzerland | pp. 43-68 | 26 pp. | doi:10.1007/978-3-031-96841-9_3
  Micro abstract: Extended methodology for combining LLM chatbots with scenario-based modeling: iterative generation of stand-alone scenarios checked by analysis and human review, framed as a step toward Wise Computing.
- #3JCRAD On Augmenting Scenario-Based Modeling with Generative AI - 2024 | Assaf Marron, David Harel, Guy Katz, Smadar Szekely | MODELSWARD 2024 | 12 pp. | doi:10.5220/0012427100003645
  Micro abstract: Outlines a structured method for using generative-AI chatbots in modeling: iteratively generate scenario-based model fragments, then analyze and inspect them to converge on an accurate system model.
- #QV3BWZ On tracing reactive systems - 2011 | David Harel, Shahar Maoz | Software &amp; Systems Modeling | 22 pp. | doi:10.1007/s10270-010-0151-2
  Micro abstract: Introduces model-based trace visualization and exploration for reactive systems, using scenario-based (LSC) abstractions and the Tracer prototype, demonstrated on a PacMan game.
- #TDS4H2 Relaxing Synchronization Constraints in Behavioral Programs - 2013 | Amir Kantor, David Harel, Guy Katz | LPAR 2013 (Logic for Programming, Artificial Intelligence, and Reasoning) | 17 pp. | doi:10.1007/978-3-642-45221-5_25
  Micro abstract: Proposes eager execution for behavioral programs: fast b-threads run ahead when synchronization outcomes are predictable, improving performance, modularity, and distributability, shown in a C++ BP framework.
- #M5788P Towards Behavioral Programming in Distributed Architectures - 2015 | Amir Kantor, Assaf Marron, David Harel, Gera Weiss, Guy Katz, Guy Wiener | Science of Computer Programming | 58 pp. | doi:10.1016/j.scico.2014.03.003
  Micro abstract: Extends behavioral programming to distributed architectures: b-threads as Erlang processes, eager execution to relax synchronization, and modular distributed execution, demonstrated on simulations and a quadrotor.

Technology, Scale & Conviviality (2)
- #WYH36B The City as Convivial Centre - 1974 | Leopold Kohr | Tract, no. 12 (Gryphon Press) | 18 pp.
  Micro abstract: Kohr's essay arguing that cities exist for convivial life rather than economic function, and that human-scale size is what lets a city serve as a centre of leisure, culture, and encounter.
- #67REFX The Question Concerning Technology - 1977 | Martin Heidegger | The Question Concerning Technology and Other Essays (Harper & Row) | 23 pp.
  Micro abstract: Heidegger's essay on the essence of technology as Enframing (Gestell), a mode of revealing that reduces the world to standing-reserve, and on art as a possible saving power.

Terrain Modeling (1)
- #Y55KCV Arches: A Framework for Modeling Complex Terrains - 2009 | A. Peytavie, E. Galin, J. Grosjean, S. Mérillou | Computer Graphics Forum | 11 pp. | doi:10.1111/j.1467-8659.2009.01385.x
  Micro abstract: Introduces a hybrid volumetric–implicit framework for interactively modeling terrains with overhangs, arches, caves, sand, and rocks, plus efficient tools for erosion and automated rock-pile generation.

Terrain, Hydrology & Erosion (8)
- #NV2YRW FastFlow: GPU Acceleration of Flow and Depression Routing for Landscape Simulation - 2024 | Aryamaan Jain, Bernhard Kerbl, Brandon Finley, Guillaume Cordonnier, James Gain | Computer Graphics Forum | 13 pp. | doi:10.1111/cgf.15243
  Micro abstract: A GPU framework for routing surface flow through terrain and its depressions fast enough to make erosion, river, lake, and ecosystem simulations interactive.
- #2284QZ From features to fingerprints: A general diagnostic framework for anthropogenic geomorphology - 2019 | Damian Evans, Erle C Ellis, Giulia Sofia, Paolo Tarolli, Wenfang Cao | Progress in Physical Geography: Earth and Environment | 34 pp. | doi:10.1177/0309133318825284
  Micro abstract: Integrates geomorphology, archaeology, and high-resolution remote sensing into a framework for reading anthropogenic landforms as landscape-scale sociocultural fingerprints.
- #96ZMGK Large Scale Terrain Generation from Tectonic Uplift and Fluvial Erosion - 2016 | Adrien Peytavie, Bedrich Benes, Guillaume Cordonnier, Jean Braun, Marie-Paule Cani, Éric Galin, Éric Guérin | Computer Graphics Forum | 11 pp. | doi:10.1111/cgf.12820
  Micro abstract: Generates large, controllable mountain terrains by coupling user-painted tectonic uplift with fluvial erosion, then turning the resulting stream graph into detailed landforms.
- #K82AS7 Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment - 2013 | L. Allan James | Anthropocene | 11 pp. | doi:10.1016/j.ancene.2013.04.001
  Micro abstract: Broadens legacy sediment to episodically produced anthropogenic alluvium and colluvium, and explains its deposition, storage, and remobilization through sediment delivery–transport capacity dynamics.
- #DWXKYQ Physically-based analytical erosion for fast terrain generation - 2024 | Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer | Computer Graphics Forum | 14 pp. | doi:10.1111/cgf.15033
  Micro abstract: Turns the stream power law into an interactive terrain tool, replacing thousands of erosion time steps with analytical solutions and a direct control for landscape age.
- #MTDKDE Priority-Flood: An Optimal Depression-Filling and Watershed-Labeling Algorithm for Digital Elevation Models - 2014 | Clarence Lehman, David Mulla, Richard Barnes | Computers & Geosciences | 17 pp. | doi:10.1016/j.cageo.2013.04.024
  Micro abstract: Introduces Priority-Flood, a simple, optimal algorithm that removes drainage-blocking depressions from elevation models and can also derive watersheds and flow directions.
- #AK7NGE Procedural Riverscapes - 2019 | A. Peytavie, B. Benes, E. Galin, E. Guérin, J. Gain, T. Dupont, Y. Cortial | Computer Graphics Forum | 12 pp. | doi:10.1111/cgf.13814
  Micro abstract: Builds editable, animated riverscapes from bare terrain by carving hydrologically plausible channels and blending real-time procedural water primitives instead of simulating fluids.
- #DMTA8Y Terrain Generation Using Procedural Models Based on Hydrology - 2013 | Adrien Peytavie, Bedřich Beneš, Jean-David Génevaux, Éric Galin, Éric Guérin | ACM Transactions on Graphics | 10 pp. | doi:10.1145/2461912.2461996
  Micro abstract: Generates controllable, multiscale terrain from a sketched drainage network, representing rivers and landforms as an editable hierarchy of continuous procedural primitives.

Water Simulation & Rendering (12)
- #RBS5K6 A Layered Particle-Based Fluid Model for Real-Time Rendering of Water - 2010 | Daniel Scherzer, Florian Bagar, Michael Wimmer | Computer Graphics Forum | 7 pp. | doi:10.1111/j.1467-8659.2010.01734.x
  Micro abstract: Renders particle-based water and volumetric foam in real time using perspective-aware surface smoothing, physically guided foam formation, and layered depth compositing.
- #C4AY2M A Survey of Ocean Simulation and Rendering Techniques in Computer Graphics - 2011 | B. Crespin, D. Ghazanfarpour, E. Darles, J.-C. Gonzato | Computer Graphics Forum | 17 pp. | doi:10.1111/j.1467-8659.2010.01828.x
  Micro abstract: Surveys ocean graphics from spectral deep-water models to near-shore fluid simulation, then covers the foam, spray, and light transport needed for convincing rendering.
- #WZMZGY Advected river textures - 2009 | Dirk Arnold, Stephen Brooks, Tim Burrell | Computer Animation and Virtual Worlds | 11 pp. | doi:10.1002/cav.288
  Micro abstract: Combines a 2D Navier–Stokes solver, hydrostatic pressure columns, and advected procedural textures to render detailed, terrain-responsive rivers at real-time frame rates.
- #92XRH7 Lagrangian Texture Advection: Preserving both Spectrum and Velocity Field - 2011 |  Qizhi Yu, E. Bruneton, F. Neyret, N. Holzschuch | IEEE Transactions on Visualization and Computer Graphics | 13 pp. | doi:10.1109/tvcg.2010.263
  Micro abstract: Advects fluid textures with deformable particle grids, preserving both the input texture’s visual spectrum and exact motion along the velocity field without cumulative stretching.
- #8SERGP Real-time Breaking Waves for Shallow Water Simulations - 2007 | Markus Gross, Matthias Müller-Fischer, Nils Thürey, Simon Schirm | 15th Pacific Conference on Computer Graphics and Applications (Pacific Graphics 2007) | 8 pp. | doi:10.1109/PG.2007.33
  Micro abstract: Adds real-time overturning waves to shallow-water heightfields by detecting steep fronts and spawning connected particle sheets that collapse into splashes and foam.
- #CWC7H9 Real-time Rendering of Enhanced Shallow Water Fluid Simulations - 2013 | Antonio Susín, Jesús Ojeda | Computers & Graphics | 9 pp.
  Micro abstract: Builds a real-time rendering pipeline for shallow-water simulations, adding fine surface detail, advected foam, photon-based caustics, and screen-space reflection and refraction.
- #MVUJ8Z Real-time Rendering of River Networks - 2010 | Quintijn Hendrickx, Rafael Bidarra, Ruben M. Smelik | Proceedings of the ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games | 1 pp.
  Micro abstract: Renders branching river networks efficiently with quadratic Bézier curves, GPU distance fields, and streaming normal maps instead of dense geometry or particle simulation.
- #5MGCZ5 Real-time River Representation by Dynamic Control of Data on Waves - 2008 | Makoto Kosugi, Nobuhiko Mukai, Yasuhiro Kato | 4 pp. | doi:10.3169/itej.62.2063
  Micro abstract: Dynamically switches river-wave models by viewing distance, preserving nearby reflection and wave detail while retaining wind-driven motion across the full landscape.
- #XDESU9 Scalable real‐time animation of rivers - 2009 | Eric Bruneton, Fabrice Neyret, Nicolas Holzschuch, Qizhi Yu | Computer Graphics Forum | 11 pp. | doi:10.1111/j.1467-8659.2009.01363.x
  Micro abstract: Animates rivers across vast terrains by computing steady flow locally and advecting fine surface detail only where visible, at a screen-space sampling density.
- #869NHK Very Fast Real-Time Ocean Wave Foam Rendering Using Halftoning - 2011 | Ian Parberry, Jennifer R. Alford, Mary Yingst | Proceedings of the 6th International North American Conference on Intelligent Games and Simulation (GAMEON-NA) | 7 pp.
  Micro abstract: Uses a spectrally controlled halftone mask to make texture-based ocean foam dissipate as clumped bubbles that pop, rather than merely fading transparently.
- #A2QB8L Water Flow in Portal 2 - 2010 | Alex Vlachos | ACM SIGGRAPH 2010 Course: Advances in Real-Time Rendering in 3D Graphics and Games | 54 pp.
  Micro abstract: Explains Portal 2’s production-friendly water shader: artist-painted flow maps advect layered normal maps, while offsets and noise suppress repetition and pulsing on limited hardware.
- #PBM2TC Water surface wavelets - 2018 | Chris Wojtan, Matthias Müller-Fischer, Miles Macklin, Nuttapong Chentanez, Stefan Jeschke, Tomáš Skřivan | ACM Transactions on Graphics | 13 pp. | doi:10.1145/3197517.3201336
  Micro abstract: Represents water waves as spatially varying directional amplitudes, enabling vast interactive simulations with fine detail, moving obstacles, solid coupling, and direct artistic control.

Unfiled (3)
- #YARVUV A pretty but not greedy printer (functional pearl) - 2017 | Jean-Philippe Bernardy | Proceedings of the ACM on Programming Languages | 22 pp. | doi:10.1145/3110250
  Micro abstract: Derives a non-greedy pretty printer that optimizes for the shortest valid layout, supports arbitrary subdocument alignment, and runs linearly in the size of its output.
- #F3YZ79 A Pretty Expressive Printer - 2023 | Emina Torlak, Justin Pombrio, Sorawee Porncharoenwase | Proceedings of the ACM on Programming Languages | 34 pp. | doi:10.1145/3622837
  Micro abstract: Introduces an expressive pretty-printing language and a formally verified, practical printer that selects optimal layouts using customizable cost objectives while remaining efficient on real-world formatters.
- #3CV92Z moppe

### 9. Assistant tool calls

#### Tool call: `update_document_metadata`

```json
{
  "document_id": "9YMD2E",
  "micro_abstract": "BFO's bicategorial framework: SNAP snapshot ontologies of continuants and a SPAN ontology of processes in spacetime, linked by trans-ontological relations to capture change — demonstrated on the ontology of geodynamics."
}
```

#### Tool call: `generate_image`

```json
{
  "prompt": "A striking conceptual illustration for a philosophy-of-ontology paper about time and space. Split composition: the left half shows a crisp frozen snapshot of a landscape — a mountain, a river, a small city — rendered as clean three-dimensional geometric forms suspended at a single instant, like a museum diorama sliced by a luminous vertical plane of glass labeled by nothing, just light. The right half shows the very same landscape smeared into elegant four-dimensional \"worms\": the river becomes a braided translucent ribbon flowing through a stack of ghosted time-slices, the city grows and shifts through layered translucent strata, storm systems trace glowing helical trails through a deep indigo spacetime volume. Thin golden threads arc across the central glass plane, stitching objects on the frozen side to their corresponding process-ribbons on the flowing side. Style: refined scientific-romantic digital painting, deep indigo and slate palette with warm amber and gold accents, subtle grid of spacetime coordinates fading into darkness, no text, cinematic lighting, high detail."
}
```

### 10. Assistant tool calls

#### Tool call: `document_import`

```json
{
  "action": "inspect",
  "run_id": "NELXDA"
}
```

### 11. Assistant tool calls

#### Tool call: `get_document`

```json
{
  "id": "9YMD2E"
}
```

### 12. Tool result: get_document

DOCUMENT #BYG3BQ
Title: Wholeness as a Hierarchical Graph to Capture the Nature of Space

Outline:
  - 1 #V2MHRV Wholeness as a Hierarchical Graph to Capture the Nature of Space
    - 1.1 #QT5RF7 Abstract
    - 1.2 #3KT2GU 1. Introduction
    - 1.3 #LWK7XQ 2. The 15 properties
      - 1.3.1 #7DFB5R Levels of scale
      - 1.3.2 #VKHKZE Strong centers
      - 1.3.3 #ZEFTKL Thick boundaries
      - 1.3.4 #3ZAA2T Alternating repetition
      - 1.3.5 #8F5QLZ Positive space
      - 1.3.6 #5XAZE9 Good shape
      - 1.3.7 #TPHRL2 Local symmetries
      - 1.3.8 #HRMBT3 Deep interlock and ambiguity
      - 1.3.9 #KJVTM2 Contrast
      - 1.3.10 #ZBHUGU Gradients
      - 1.3.11 #CJKJCA Roughness
      - 1.3.12 #QBQVH3 Echoes
      - 1.3.13 #GWEVEN Void
      - 1.3.14 #CUK2M3 Simplicity and inner calm
      - 1.3.15 #FGVYNH Not-separateness
    - 1.4 #9FK8U9 3. Wholeness as a hierarchical graph
      - 1.4.1 #JH73PK 3.1 Measuring the degrees of life using the PageRank scores for the centers
      - 1.4.2 #ATC4YW 3.2 Measuring the degree of life using ht-index for the wholeness
    - 1.5 #TXBKLJ 4. Case studies: Computing the degrees of life
      - 1.5.1 #B54GRW 4.1 The plan of Alhambra
      - 1.5.2 #3NPEFU 4.2 The streets of Manhattan and Sweden
    - 1.6 #7HNVWB 5. Further discussions on the mathematical model of wholeness
    - 1.7 #GM64DB 6. Conclusion
    - 1.8 #J9877W Acknowledgment
    - 1.9 #WVAHUB References:

### 13. Tool result: update_document_metadata

Updated metadata for #YARVUV: folder

### 14. Tool result: get_document

DOCUMENT #MJKTBB
Title: Living Images: A Recursive Approach to Computing the Structural Beauty of Images or the Livingness of Space

Outline:
  - 1 #YXCQD2 Living Images: A Recursive Approach to Computing the Structural Beauty of Images or the Livingness of Space
    - 1.1 #K2N49X Abstract
    - 1.2 #7WXQSD 1. Introduction
    - 1.3 #QF78BG 2. Living structure, the degree of structural beauty or livingness, and two laws
    - 1.4 #KXUAWS 3. A recursive approach to computing the structural beauty of images
      - 1.4.1 #LB8R59 3.1 Head/tail breaks and two laws of living structure
      - 1.4.2 #KK923R 3.2 The recursive approach
    - 1.5 #563UCF 4. Case studies
      - 1.5.1 #TM4DU2 4.1 Verification of the recursive approach
      - 1.5.2 #7V2LAA 4.2 Centroids of the substructures capture the skeleton of the images
      - 1.5.3 #AKW33C 4.3 Decomposable substructures and their centroids
    - 1.6 #266PRV 5. The livingness of space: Related work, application, and implication
    - 1.7 #AMFSDX 6. Conclusion
    - 1.8 #KNGJAN Data and code availability statement
    - 1.9 #BMA3YP References:
    - 1.10 #2KSWYX Appendix A: Verification of the recursive approach against georeferenced images

### 15. Assistant tool calls

#### Tool call: `document_import`

```json
{
  "action": "import",
  "run_id": "NELXDA"
}
```

### 16. Assistant tool calls

#### Tool call: `update_document_metadata`

```json
{
  "cover_image_id": "3M6RAX",
  "document_id": "9YMD2E"
}
```

### 17. Assistant

Created the **Pretty Printing** folder and added:

- #YARVUV — *A Pretty But Not Greedy Printer*
- #F3YZ79 — *A Pretty Expressive Printer*

### 18. Tool result: get_document

DOCUMENT #4TH488
Title: Explainable AI for Designers: A Human-Centered Perspective on Mixed-Initiative Co-Creation

Outline:
  - 1 #TS8HQQ Explainable AI for Designers: A Human-Centered Perspective on Mixed-Initiative Co-Creation
    - 1.1 #YCT748 I. INTRODUCTION
    - 1.2 #2WYVSE II. RELATED WORK
      - 1.2.1 #TLPY7Z A. Black-Box XAI approaches
      - 1.2.2 #MGG2UN B. White-Box XAI approaches
      - 1.2.3 #P92MF3 C. Mixed-Initiative Co-Creative Systems
      - 1.2.4 #G9HJMX D. Measuring Explanations
    - 1.3 #2RSV2N III. EXPLAINING EXPLAINABILITY
    - 1.4 #KYV5WL IV. EXPLAINABLE AI FOR DESIGNERS (XAID)
    - 1.5 #N4TMHB V. MAPPING THE SPACE OF XAID
      - 1.5.1 #Y48SHT A. Spectrum of Explainability
      - 1.5.2 #ZXY6H4 B. Spectrum of Initiative
      - 1.5.3 #A3Q6W7 C. Spectrum of Domain Overlap
    - 1.6 #L7TGN5 VI. THREE USE CASES
      - 1.6.1 #PG7W2U A. Use Case 1: White-Box PCG System
      - 1.6.2 #KG32FP B. Use Case 2: Black-box PCG System
      - 1.6.3 #AK3WD7 C. Use Case 3: Black-box NPC Behavior System
    - 1.7 #8R8CBL VII. OPEN CHALLENGES
      - 1.7.1 #GVAXNH A. White-Box Systems
      - 1.7.2 #HV85DW B. Black-Box Systems
      - 1.7.3 #XNNY82 C. Combined approaches
    - 1.8 #MGUBR3 VIII. CONCLUSIONS
    - 1.9 #XNEDKE ACKNOWLEDGEMENTS
    - 1.10 #CXQ7B9 REFERENCES

### 19. Assistant tool calls

#### Tool call: `document_import`

```json
{
  "action": "metadata",
  "run_id": "NELXDA"
}
```

### 20. Tool result: get_document

DOCUMENT #XDESU9
Title: Scalable real‐time animation of rivers

Outline:
  - 1 #Y6CNDB Scalable Real-Time Animation of Rivers
    - 1.1 #DHLFEL ► To cite this version:
  - 2 #B9LYTR Scalable real-time animation of rivers
    - 2.1 #RQUAEM Abstract
    - 2.2 #UJRUGW 1. Introduction
    - 2.3 #JW4T3Z 2. Previous work
      - 2.3.1 #CVHDLT 2.1. Fluid velocity
      - 2.3.2 #HEUBG3 2.2. Fluid surface
    - 2.4 #XF2N2Y 3. Overview
      - 2.4.1 #LFKVYW Algorithm 1 Scalable real-time animation of rivers
    - 2.5 #S3P9T2 4. Computing flow velocities
      - 2.5.1 #89NKTG 4.1. Finding the volumetric flow rate from the hydro geometry
      - 2.5.2 #R6ERAY 4.2. Interpolation of stream function
      - 2.5.3 #XB2KH8 4.3. Handling obstacles
      - 2.5.4 #TPMQZV 4.4. Fast distance calculation
    - 2.6 #NRD5JU 5. Adaptive texture advection
      - 2.6.1 #7RRTRY 5.1. Dynamic particle distribution
        - 2.6.1.1 #C52JGF Algorithm 2 Dynamic particle distribution
      - 2.6.2 #KWALBE 5.2. Sprite-based texturing
        - 2.6.2.1 #AL6Q7V Algorithm 3 Fragment shader for fluid meshes
    - 2.7 #LQXUW2 6. Implementation and results
    - 2.8 #TJAYJS 7. Discussion and limitations
    - 2.9 #RD97PY 8. Conclusion and future work
    - 2.10 #R6KZ4N References

### 21. Tool result: document_import

{
  "action": "metadata",
  "documents": [
    {
      "match": {
        "reason": "no DOI or ISBN found",
        "source": "none",
        "score": 0.0,
        "accept?": false
      },
      "metadata": {
        "title": "SNAP and SPAN: Towards Dynamic Spatial Ontology",
        "usage": {
          "cost": {
            "total": 6.62e-4,
            "tokens": 6.62e-4,
            "tools": 0.0,
            "images": 0.0,
            "storage": 0.0,
            "input_cost": 4.44e-4,
            "output_cost": 2.18e-4,
            "reasoning_cost": 0.0,
            "line_items": [
              {
                "count": 1777,
                "id": "token.input",
                "kind": "tokens",
                "component": "token.input",
                "cost": 4.44e-4,
                "quantity": 1777
              },
              {
                "count": 145,
                "id": "token.output",
                "kind": "tokens",
                "component": "token.output",
                "cost": 2.18e-4,
                "quantity": 145
              }
            ]
          },
          "reasoning_tokens": 0,
          "output_tokens": 145,
          "input_tokens": 1777,
          "total_cost": 6.62e-4,
          "input_cost": 4.44e-4,
          "output_cost": 2.18e-4,
          "reasoning_cost": 0.0,
          "cached_tokens": 0,
          "total_tokens": 1922,
          "tool_usage": {},
          "image_usage": {},
          "cache_creation_tokens": 0
        },
        "year": "2004",
        "model": "google:gemini-3.1-flash-lite-preview",
        "authors": [
          "Pierre Grenon",
          "Barry Smith"
        ],
        "doi": null,
        "publication": "SPATIAL COGNITION AND COMPUTATION",
        "confidence": "high",
        "pages": "69–103",
        "notes": "The document provides specific publication metadata on the first page. No DOI or ISBN provided in the header/footer.",
        "issue": "1",
        "volume": "4",
        "isbn": null,
        "source_filename": "c1dcd9c27dd770b34aed212e6e2a5dce9ba46778e4500adb6ff9e3a0f7c563f6.pdf"
      },
      "document_id": "9YMD2E",
      "wrote": false
    }
  ],
  "run_id": "NELXDA"
}

### 22. Assistant tool calls

#### Tool call: `web_search`

```json
{
  "query": "Grenon Smith \"SNAP and SPAN: Towards Dynamic Spatial Ontology\" Spatial Cognition and Computation 2004 DOI"
}
```

### 23. Tool result: web_search

WEB SEARCH RESULTS
Query: Grenon Smith "SNAP and SPAN: Towards Dynamic Spatial Ontology" Spatial Cognition and Computation 2004 DOI

Grenon, Pierre, and Barry Smith. “SNAP and SPAN: Towards Dynamic Spatial Ontology.” *Spatial Cognition & Computation* 4, no. 1 (2004): 69–104.

**DOI:** `10.1207/S15427633SCC0401_5` ([tandfonline.com](https://www.tandfonline.com/doi/abs/10.1207/s15427633scc0401_5?utm_source=openai))

Cited sources:
- SNAP and SPAN: Towards Dynamic Spatial Ontology: Spatial Cognition & Computation: Vol 4, No 1: https://www.tandfonline.com/doi/abs/10.1207/s15427633scc0401_5?utm_source=openai

### 24. Assistant tool calls

#### Tool call: `update_document_metadata`

```json
{
  "authors": [
    "Pierre Grenon",
    "Barry Smith"
  ],
  "document_id": "9YMD2E",
  "doi": "10.1207/S15427633SCC0401_5",
  "kind": "journal_article",
  "micro_abstract": "Proposes a bicategorial ontology combining SNAP (snapshot ontologies of enduring entities) and SPAN (ontologies of processes in spacetime) to represent both static and dynamic spatial reality.",
  "title": "SNAP and SPAN: Towards Dynamic Spatial Ontology",
  "venue": "Spatial Cognition & Computation",
  "year": "2004"
}
```

### 25. Tool result: update_document_metadata

Updated metadata for #9YMD2E: kind, title, authors, year, venue, doi, micro_abstract

### 26. Assistant tool calls

#### Tool call: `document_import`

```json
{
  "action": "validate",
  "run_id": "NELXDA"
}
```

### 27. Tool result: document_import

{
  "action": "validate",
  "documents": [
    {
      "title": "SNAP and SPAN: Towards Dynamic Spatial Ontology",
      "valid": true,
      "document_id": "9YMD2E",
      "readable_chunks": 287,
      "source_pages": 35,
      "reader_path": "/9YMD2E"
    }
  ],
  "run_id": "NELXDA",
  "search_rows": 10747,
  "embedding_status": "completed",
  "embedding_errors": 0
}

### 28. Assistant

Imported successfully.

- **#9YMD2E** — Grenon & Smith (2004), *SNAP and SPAN: Towards Dynamic Spatial Ontology*, Spatial Cognition & Computation 4(1), 69–103, DOI 10.1207/S15427633SCC0401_5
- 35 pages, 287 readable chunks; validation passed and search embeddings are complete.

### 29. User

nice, let's read it and then set a good microabstract and make cool cover art