A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Abductive Queries
Abductive Reasoning
Access Control Policy
Adaptive Iteration
Advanced Topics
Allen Interval Relations
Analysis
Annotations
Annotations
annotations-confidence
annotations-description
annotations-ref
annotations-source
annotations?
ast->theory
Basic Imports
Basic Queries
Basic Usage
case?
Comments
Comments
Complete Example
Complete Example
conclusion->string
CONCLUSION-DEFEASIBLE-NOT-PROVABLE
CONCLUSION-DEFEASIBLE-PROVABLE
CONCLUSION-DEFINITE-NOT-PROVABLE
CONCLUSION-DEFINITE-PROVABLE
conclusion-literal
conclusion-type
conclusion?
Conclusions
Conflict Detection
conflict?
Core API Reference
Creating a Theory File
Custom Literal Types
Custom Output Formats
Defeasible Rules
Defeasible Rules (normally)
Defeater Analysis
Defeater vs Defeasible Rule
Defeaters
Defeaters (except)
DFL Syntax Reference
DFL Version
empty-theory
Event Logs
event-log?
event?
Example
Examples
explain
Explanation
Explanation Structures
Explanation System
explanation->dot
explanation->json-string
explanation->jsonld
explanation->natural-language
explanation->provenance
explanation-conclusion-type
explanation-literal
explanation-proof-tree
explanation?
Explanations
Extending Spindle
Facts
Facts
Forward Abduction
From Package Server
From Source
Getting Started
GraphViz DOT
Hypothetical Reasoning
Import Semantics
Imports
Installation
Integration
json->event-log
JSON-LD
Key Features
Learned Rules
learned-rule-confidence
learned-rule-rule
learned-rule-support
learned-rule?
literal->string
literal-name
literal-negated?
literal?
Literals
Literals
load-theory
Loading Event Logs
make-case
make-event
make-event-log
make-fact
Medical Diagnosis
Memoization
mine-rules
Mining Results
mining-result-choice-points
mining-result-conflicts
mining-result-rules
mining-result?
Modal Operators
Modal Operators
Module System
Multiple Premises
Natural Language
negate-literal
Negated Literals
negated-literal
Negation
Next Steps
Obligation (must)
Output Formats
Overview
Overview
parse-dfl-file
parse-dfl-string
Parsing
Performance Optimization
Permission (may)
Petri Net Discovery
petri-net->dfl
petri-net?
Prefixed Imports
Process Mining
Programmatic Use
Prohibition (forbidden)
Proof Trees
proof-node-derivation-type
proof-node-literal
proof-node-proof-step
proof-node?
proof-step-body-proofs
proof-step-rule-label
proof-step-rule-type
proof-step?
Provenance Chain
query
Query Operations
query-literal
Quick Example
reason
reason-with-explanations
Reasoning
REPL Integration
repl-explain
repl-query
repl-status
repl-why-not
requires
Rule Chains
Rule Discovery
Rule Syntax
rule->string
rule-body
rule-head
rule-label
rule-type
RULE-TYPE-DEFEASIBLE
RULE-TYPE-DEFEATER
RULE-TYPE-FACT
RULE-TYPE-STRICT
rule?
Rules
Rules
Rules
Running the Example
Running the Reasoner
Simple Literals
simple-literal
simple-rule
Source Attribution
spindle
spindle/explanation
spindle/lang
spindle/mining
spindle/query
spindle/query/repl
Spindle: Defeasible Logic Reasoning
SPL Syntax Reference
SPL Version
SPL vs DFL Comparison
status
Strict Rules
Strict Rules (always)
Superiority
Superiority Relations
Temporal Reasoning
The Penguin Example
Theories
Theory Indexing
Theory Status
Theory Validation
theory-add-rule
theory-add-superiority
theory-all-rules
theory-superiorities
theory?
Time Points
Trust Rules
Trust-Aware Reasoning
Understanding the Syntax
Using #lang spindle
Using Defeaters
Using Spindle from Racket
Using SPL Syntax
Using the Unified Interface
validate
Verify Installation
Weakest-Link Semantics
what-if
why-not
Why-Not Queries
xes->event-log
Your First Theory