Complete documentation index
All published pages, sorted by area. From the homepage you can reach any page via this index in two clicks.
API
- Composite Neuro-Symbolic Search
- Hypergraph Embedding Architecture
- Using Embeddings for Conceptual Search
- Embedding Registry
- HNSW Vector Index
- Embeddings and Conceptual Search
- Durability and Write-Ahead Logging
- Graph Projection
- H-Logic and Host-code Equivalents
- Composite definitions and rules
- Concepts, instances and interfaces
- Core syntax and terms
- H-Logic developer checklist
- Building a Temporal ERP Stock Ontology in H-Logic
- Using H-Logic
- H-Logic
- H-Logic and Cypher
- H-Logic and SQL
- H-Logic and TypeDB
- H-Logic and triple stores
- Queries and quantifiers
- Query modes and scope
- Relations, contexts and named terms
- Result semantics and type mappings
- Tested patterns and invalid forms
- H-Logic Examples v3.2
- H-Logic syntax
- H-Logic Use Cases
- H-Logic
- Hypergraph Implementation Boundary
- Hypergraph Iterators
- Hypergraph Programming
- Hypergraph Semantic Engine
- Hypergraph Tutorial
- Hypergraph Values
- Formal Names
- Runtime Object and Node Identifiers
- Hypergraph Indexing
- Layered Hypergraph Architecture
- Using Hypergraph Layers
- Atomic Node
- Hypergraph Node
- Polyadic Map Projection
- Persistent Hypergraph Architecture
- Set Hypergraphs
- Structural and Reserved Dimensions
- Context
- Extended Reserved Accesses
- Structural and Reserved Dimensions
me, Conceptual Identity, andSelf- Kind
- Polyadic Map
- Quantifier
- Forward Inference
- Symbolic Dijkstra Shortest Path
- Hypergraph Algorithms
- DOT Export
- Inductive Logic Programming
- Implicit and Explicit Concept Forms
- Join Indexing
- Specialization Relation
- Transform Agents
- Default Values
- Fixed Values
- Type Constraints and Metadata
- Type Metadata
- Role Constraints
- Slot Domains
- Hypergraph Values
- Accessing Information in the Conceptual Hypergraph
- Hypergraph Technical Reference
- Scaling Dimensions
- The Graph Scaling Challenge
- Scaling Conceptual Hypergraphs
- Conceptual Tensors
- Dense Tensors
- Building a Dense Neural Network
- Building a Multilayer GNN
- Building a Single-layer GNN
- Training Neural Models
- Neural Networks over Conceptual Data
- Vector Quantization
- WebGPU Tensor Execution
- Conceptual Hypergraph Tensors
- API — Conceptual Hypergraph
- LLM Service Contract
- llama.cpp Provider Lifecycle
- Run a Local Model with the llama.cpp Provider
- LLM Runtime Integration
- LLM Usage Patterns
- Tensor Compute Backends
- Conceptual Tensors
- Dense Tensors
- Feed-Forward Networks (FFN)
- Graph Neural Networks (GNN) in logiCells
- Tensor Operations
- Transformer Runtime
- Weight Quantization
- Tensors — Numerical Execution Connected to Concepts
- Evaluation Automaton — Dot Access
a.b - Evaluation Automaton —
for ... to ... do - Evaluation Automaton —
ifExpression - Evaluation Automaton — Lambda and Application
- Evaluation Automaton —
map - Evaluation Automaton — Pattern Matching
- FPLN Evaluation Automata
- Evaluation State Machines
- FPLN Evaluation Strategy
- Multiparadigm Engine
- Actions
- Class
- Collections
- Collection elements
- Joins
- Unions
- Collection reference
- Actions declaration in YAML
- Class declaration in YAML
- Collections declaration in YAML
- Concepts declaration in YAML
- Events declaration in YAML
- Index declarations in YAML
- States declaration in YAML
- Declarative YAML reference
- Entities
- Events
- Execution flow
- Lifecycle
- Processes
- Building a process
- Relations
- Roles and role paths
- Rules
- States
- Transitions
- Views
- Application metadata
- Application
- Application Declaration (YAML)
- Class Manifest (YAML)
- Package Declaration (YAML)
- Manifest — Model-Class Manifest
- Package — Conceptual Role in logiCells Architecture
- Structuring a logiCells Project
- Publishing desktop applications
- Views, controllers, and UI publication
- Publishing a Web application
- UXfc — Consultation
- UXfc — Exploration
- UXfc — Selection
- Intentional UXfc components
- Autocomplete Select
- Checkbox
- Data Visualization
- Date Picker
- Edit
- Label
- Switch
- Select Field
- Action List
- Action Menus
- Browser View
- Button
- Class Item Inspector Tree
- Collection Management Panel
- Panel
- Data Action Panel
- Data Navigation Panel
- Dataset Grid
- Dataset List View
- Dataset Relation Selection View
- Dataset Relation Panel
- Explorer View
- Help Panel
- Log View
- Master View
- Object Icon
- Object Inspector
- Object Item View
- Object Tree
- Retractable Region
- Split View
- Status View
- Tabbed View
- Tabular View
- Text Editor
- UXfc — functional and intentional components
- Service publication and OpenAPI
- Service publication
- External REST integration
- Publication
- ABI manifest
- Binding generation pipeline
- Byte buffers and binary payloads
- FPL to ABI bridge
- Interop fidelity contract
- Generated arrays
- ABI invocation and execution
- ABI marshalling and value kinds
- Native module contract
- ABI ownership and release
- RPC transport over ABI identity
- Stable invocation identity
- UTF-8 strings across generated ABI wrappers
- ABI generator architecture
- C runtime strategy at ABI level
- logiCells ABI: public binary contract
- Threading and Execution Model
- logiCells Public API
Agents
- Action
- logiCells Agentic Architecture
- Collaboration
- Conceptual World Runtime
- Governance
- Architecture
- Memory
- Perception
- Reasoning
- Reflection
- Agents
- Agent Ontology
- Agentic Examples
- H-Logic Agent Model
- Implementation
- Iterator-Based Reasoning
- Memory API
- World-Model API
- Agent Memory Graph
- Episodic Memory
- Memory
- Retrieval and Context
- Semantic Memory
- Agent Roles
- Collaboration Patterns
- Delegation
- Multi-Agent Collaboration
- Shared Memory
- Supervision
- Complexity Routing
- Decision Making
- GNN / HGNN Reasoning
- Reasoning
- LLM-assisted Reasoning
- Planning
- Symbolic Reasoning
- Tri-Engine Reasoning Architecture
- Adaptive ERP
- Agentic Code Governance
- Strategy
- Semantic Virtual Machine
- Action Traces
- Tools and MCP
- Human Validation
- MCP Boundary
- Tool Governance
- ToolCall Model
- Consolidation
- Contextual Memory
- Conceptual World Model
- Hypothesis Layers
- Layered Conceptual World
- Simulation Layers
- World State
Algorithms
Architecture
- ADR: DOM as an equivalence boundary
- ADR: determinism and validation gates
- ADR: native polyadic model
- Architecture decision records
- Distributed Architecture
- Conceptual Memory Layer
- Execution Model
- Multiparadigm Engine Layer
- Application Layer
- Local Client Projection
- Adding a Web Component Mapping
- Setting Up a React Projection
- Web Publication
- logiCells-to-Web Metadata
- MVC Publication Layer
- OpenAPI Generation
- Service Publication
- Publication Layer
- Architecture Layers
- Multi-Tenant Architecture
- Conceptual Hypergraph Plane
- Data Connector Compatibility Notes
- Data Plane
- Security Plane
- Bus Abstraction
- Message Bus
- Channel Management
- Communication Abstractions
- Peer-to-Peer Communication
- P2P Architecture
- Web Communication Architecture
- Web Services
- Communication Plane
- Management Plane
- Interoperability Plane
- Middleware Plane
- Data Synchronizer
- HTTP Service
- Message-Oriented Middleware Service
- RabbitMQ Adapter
- Service Registry and Discovery
- SMTP Adapter
- STDIO Process Adapter
- Distributed Synchronization Service
- TCP Transport Adapter
- WebSocket Adapter
- Service Runtime Plane
- Transverse Architecture Planes
- logiCells Architecture
Bindings
- Choosing the right binding
- Arrays, strings, and callbacks in generated .NET bindings
- Constructors and factories
- Generated methods and properties
- Generated .NET object model
- Lifetime and release of generated Runtime objects
- Local and remote execution with one generated model
- .NET binding
- SDK and binding roadmap
- SDKs and bindings
Conceptual
- Architecture Overview — logiCells
- Conceptual Engine and Language Models
- FPLN Evaluation Modes
- From Concept to Execution
- What Is a Conceptual Engine?
- Conceptual programming
Conceptual-Patterns
DataScience
- FPLN for Data-Science Workloads
- Data Science with Runtime-Native Execution
- Data-Science Usage Patterns
- Data Science Infrastructure
DevOps
- ClassItems
- Plug-ins and Extensions
- Application Types
- Modeling Tools and Diagrams
- logiCells Modeling Tools
- Todo
- .NET Build Path
- Java
- Python Binding Build Path
- Using the WebKit engine with logiCells
- Diagnosing Runtime-object Leaks
- Android Deployment
- iOS Deployment
- Linux Runtime Integration
- macOS Deployment
- Platform Build Assistant
- Compiling-logiCells-as-Console
- Runtime Library and Generated Wrappers
- Full-code Development
- Comments
- Control Flow
- Functions
- Script Value Lifetime
- Type Conversion
- Script Types
- Variables and Mutability
- Currying
- Functions as Values
- Lambdas and Closures
- FPL Grammar
- Grammar Source and Parser Tooling
- Scripting with the logiCells Framework
- Scripting
- Low-code Construction
- No-code Construction
- Application-Layer Model Tests
- Testing Strategy
- Local Application Tests
- Unit and Contract Testing
- Web Service Tests
- Deploying logiCells Applications
- Development and Operations Guide
Developer
- AI, agents and governed execution
- Actions, events and processes
- Collections, views and DataSets
- Constraints, defaults and validity
- Deployment and distribution
- Developer reproduction checklist
- End-to-end task application
- External integration and local-first design
- Models, concepts, facets and relations
- Packages, manifests and applications
- Persistence, transactions and consistency
- Project structure and loading
- Runtime execution and contexts
- Services and publication
- Testing, debugging and validation
- DataSetManager events
- Dynamic forms, lists and dashboards
- ObjectBehind and PageControler
- Reactive desktop frames
- View data cache
- View diagnostics and testing
- View projections and UXfc
- Web reactive components
- Views and UX
- Declarative application development
- Debugging declarative applications
- Declarative test packages
- Engineering reproduction checklist
- Extension patterns and boundaries
- Governing model evolution
- Logging, diagnostics, and traceability
- Performance and model complexity
- Testing conceptual models
- Conceptual engineering practices
- First project conventions
- First verified run
- Platform matrix and parity
- Prerequisites and installation contract
- Getting Started: from zero to a running model
- Choosing a development loop
- From validated semantics to declarative models
- H-Logic-first workflow
- Model-first workflow
- Validation gates and provenance
- Development methodology
- What is authoritative, and what is available?
- Collections, data providers and persistence
- From FPL to a native ABI module
- Hypergraph construction and H-Logic
- Lifetime, ownership and graceful shutdown
- Neuro-symbolic reasoning and resident LLM execution
- Runtime layers, authorities and state
- A native RadStudio walkthrough
- Runtime services, messaging and remote communication
- Testing and production readiness
- Native Runtime: practical programming paths
- Application configuration
- Deployment tree
- Operations reproduction checklist
- Environment configuration
- HTTP service example
- Operational diagnostics
- Package and model loading
- Runtime service families
- Runtime service model
- Updates and container deployment
- Runtime services, packaging, and deployment
- Capability boundaries: Runtime, LP and LCH
- One model, local or remote Runtime
- Documentation maturity and evidence
- Developer platform contract
- Actions and result contracts
- DataSets and page scripts
- Runtime scripting reproduction checklist
- Events and processes from scripts
- Expressions and variables
- functionalP essentials
- Lists, functions and control flow
- Runtime objects and dot expressions
- Runtime recipes
- Scripting diagnostics and boundaries
- Runtime scripting and recipes
Domain-Engineering
- Applying the Method to the
partyPackage - Architecture and Modeling Rules
- LLM-Assisted Generation of Knowledge-Based Business Modules
- LLM-Assisted vs Neuro-Symbolic Generation
- Methodological Framework
- Module Development Method
- Neuro-Symbolic AI-Assisted Generation of Knowledge-Based Business Modules
- Package Specification Template
- Knowledge-Based Domain Module Engineering
- Business-Module Generation Pipeline
- Guided Example Around the
partyPackage - Positioning the LLM in Domain Engineering
- Prompting and Context Structuring Methodology
- Validation, Hardening, and Technical Projection
- AI Orchestration, Prompts, and Validation Methodology
- Guided Neuro-Symbolic Example Around the
partyPackage - Industrialization and Governance Criteria
- Positioning Neuro-Symbolic AI in Domain Engineering
- Neuro-Symbolic Business-Module Generation Pipeline
- Symbolic Representations, Constraints, and Reasoning
Guides
- Domain-driven design with executable semantics
- Declarative conceptual programming: a short decision map
- Designing governed digital twins
- Building modern ERP systems: structural patterns
- Neuro-symbolic architecture: evidence and proof
- Cross-domain guides: choose a design problem
Knowledge-Engineering
Navigation
Roles
- Application Developer: Anti-patterns
- Application Building Path
- Application Developer: Interaction with Other Roles
- Application Developer — Key Questions
- Application Developer
- Advanced Architecture Patterns
- From Basic to Advanced Architecture
- Architect Key Questions
- Navigation Map — Architect
- Architect
- CIO — Anti-Patterns
- CIO — Key Questions
- CIO
- Core Developer — Anti-Patterns
- Core Developer: Key Questions
- Core Developer
- Action Metadata and Global Logic
- FPL Action Design Guidelines
- FPL Developer — Anti-Patterns
- FPL Developer — Key Questions
- FPL Developer
- From Research to Industrial Capability
- Head of R&D — Key Questions
- Head of R&D
- Platform Integrator — Anti-Patterns
- Platform Integrator — Key Questions
- Platform Integrator
- Role-Based Paths
Technical
- Command-line Parameters
- Blockchain Integration Boundary
- Public-Blockchain-Interaction
- Neural AI Notes
- Class-as-Record Pattern
- Distributed Security Architecture
- Technical Test Strategy
- Runtime Concurrency and Worker Pools
- XML Parsing Notes
Tools
- AI-assisted Model Generation
- Architecture Diagrams
- Prerequisites
- Application Development Tools
- Package Items
- Model Files
- Generate Unit-Test Scaffolding
- Application Debugging
- Uninstall the Extension
- Visual Studio Code extension
Tutorials
- logiCells tutorials
- Tutorial: build the Task Management views
- Tutorial: build a task-management module
- Tutorial: publish a user-management API
UseCases
- Process-Aware AI — AI That Understands Business Dynamics
- AI — Business-Aware Intelligence in logiCells
- AI-assisted risk review
- Actions and review workflow
- .NET client integration
- Customer risk implementation checklist
- Relations, rules and constraints
- Scenario and domain model
- Testing and model evolution
- Views and service publication
- Customer risk management - complete worked example
- Fraud Detection
- Digital Twins — Conceptual and Active Twins
- IoT — Distributed Systems, Events, and Conceptual Digital Twins
- Knowledge-Base Use
- Business specification and vocabulary
- Temporal stock implementation checklist
- Operationalization into declarative models
- Query projections and indexes
- Rules, diagnostics and propagation
- Temporal entities and support relations
- Validation and test plan
- Temporal stock analysis - complete H-Logic-first case study
- Use Cases and Application Domains