concepts
1014 pages in this folder
A-ILTL
3 out · 4 in
Abductive Planning
3 out · 1 in
ABLP Logic
4 out · 5 in
Abnormality Predicate
2 out · 3 in
Abstract Agent Interfaces
2 out · 3 in
Abstract Performative
3 out · 5 in
Abstract Syntax
3 out · 2 in
Access Control Rules
3 out · 2 in
ACL Design Principles
3 out · 6 in
ACL Evolution
3 out · 1 in
ACL Layering
3 out · 2 in
ACL Verifiability
3 out · 2 in
Action Formalism
3 out · 1 in
Actor Model
4 out · 21 in
Acyclic Directed Mixed Graph
4 out · 3 in
Adaptation Dimensions
2 out · 1 in
Adaptive Protocols
3 out · 1 in
Adjectival Modifiers
1 out · 3 in
Admissible Set
6 out · 8 in
Advice Taker
3 out · 2 in
Agencies
3 out · 3 in
Agent Architecture
9 out · 6 in
Agent Cards
3 out · 3 in
Agent Communication Framework
3 out · 1 in
Agent Communication Languages
21 out · 95 in
Agent Communication Trilemma
2 out · 1 in
Agent Coordination Overhead
2 out · 1 in
Agent Discovery
3 out · 5 in
Agent Hub
2 out · 2 in
Agent Infrastructure
7 out · 4 in
Agent Libel
2 out · 1 in
Agent Network Protocol
6 out · 33 in
Agent Payments Protocol
2 out · 1 in
Agent Security
3 out · 39 in
Agent Self-Monitoring
3 out · 1 in
Agent Theory-Architecture-Language Triad
3 out · 1 in
Agent Types
2 out · 1 in
Agent Worm
2 out · 1 in
AGENT-0
3 out · 2 in
Agent-to-Agent Protocol
9 out · 50 in
agent_jump
2 out · 3 in
AgentCards
2 out · 2 in
Agentic TCB
2 out · 1 in
Agentification
1 out · 1 in
Agents (Minsky)
3 out · 5 in
Agents and Artifacts
2 out · 14 in
Aggregate Functions
3 out · 3 in
AI Governance
5 out · 3 in
Algebra of Communicating Processes
3 out · 2 in
Algebraic Effects
6 out · 6 in
Algorithmic Collusion
7 out · 6 in
Ambient Authority
3 out · 15 in
Ambient Calculus
7 out · 9 in
An Axiomatic Basis for Computer Programming
3 out · 3 in
Approximate Theory
1 out · 1 in
Architectural Pattern
2 out · 3 in
Architectural Styles
2 out · 3 in
ARCOL
3 out · 2 in
Argumentation Framework
11 out · 28 in
Arrow Information Paradox
7 out · 9 in
ASCENS
2 out · 1 in
Ask-Tell
4 out · 7 in
ASN.1 BER Ambiguity
3 out · 1 in
Attack Papers
2 out · 1 in
Attack Relation
3 out · 3 in
Attack Surface Taxonomy
2 out · 1 in
Attribute Grammars
3 out · 2 in
Audit Trail
2 out · 1 in
Authentication Protocol
10 out · 4 in
Autonomic Service Component Ensembles
2 out · 2 in
Average Treatment Effect
4 out · 3 in
Axiomatic Semantics
2 out · 2 in
B-brains
3 out · 1 in
Backdoor Attacks
2 out · 1 in
Backdoor Criterion
8 out · 11 in
BAN Logic
8 out · 26 in
BDI
4 out · 63 in
BDI Agents
3 out · 4 in
BDI Architecture
3 out · 7 in
BDI Logic
3 out · 9 in
Behaviour-Based Robotics
7 out · 6 in
Belief
15 out · 3 in
Belief Revision
3 out · 6 in
Belief-Desire-Intention
4 out · 8 in
Benevolent Agent Assumption
2 out · 1 in
Best-Response Dynamics
2 out · 3 in
Binding Deal
1 out · 1 in
Biomass
2 out · 1 in
Bisimulation
8 out · 15 in
Bit Syntax
1 out · 1 in
Bitter Lesson
2 out · 1 in
Blockchain Interoperability
2 out · 1 in
Bloom Language
7 out · 15 in
Bottom-up Programming
3 out · 4 in
Boundary
8 out · 1 in
Bounded Rationality
6 out · 3 in
Branching Time
2 out · 1 in
Brief Trust
2 out · 1 in
Byzantine Agreement
7 out · 8 in
Byzantine Fault Tolerance
8 out · 9 in
CALM Theorem
17 out · 56 in
Camber
4 out · 4 in
CaMeL
6 out · 3 in
Canonical Serialization
4 out · 2 in
CAP Theorem
5 out · 20 in
Capabilities
6 out · 5 in
Capabilities (Ambient)
5 out · 7 in
Capability Bounding
3 out · 6 in
Capability Certificate
6 out · 7 in
Capability Revocation
2 out · 5 in
Capability Security
2 out · 55 in
Capn Proto RPC
9 out · 5 in
Capsules
2 out · 2 in
CapTP
7 out · 20 in
CArtAgO
2 out · 5 in
Catastrophic Failure Recovery
2 out · 1 in
Causal Broadcast
7 out · 8 in
Causal DAG
9 out · 11 in
Causal Inference
23 out · 13 in
Causal Influence of Communication
1 out · 9 in
Causal Threat Graph
1 out · 6 in
CCI Model
5 out · 4 in
CCS
9 out · 18 in
Certificate Authorities
3 out · 4 in
Chained Consensus
6 out · 5 in
Channel Capacity
5 out · 8 in
Channel-based Coordination
8 out · 6 in
Cheap Talk
2 out · 4 in
Chinese Room Argument
2 out · 5 in
Chomsky Hierarchy
4 out · 11 in
Choreographic Programming
12 out · 28 in
Circumscription
4 out · 10 in
Claim Trust
2 out · 1 in
Clarity
2 out · 1 in
Closed World Assumption
2 out · 3 in
Cloud-Edge-Device Hierarchy
2 out · 1 in
Code as Data
3 out · 14 in
Code Contracts
2 out · 3 in
Code is Law
7 out · 2 in
Cognitive Light Cone
1 out · 5 in
Cognitive Trust
3 out · 1 in
Cohen and Levesque
5 out · 12 in
Cohen's Kappa
2 out · 1 in
Coherence
2 out · 3 in
Collaborative Plan
7 out · 4 in
Colored Petri Nets
2 out · 3 in
Coloured Petri Nets
3 out · 1 in
Commissives
4 out · 3 in
Commitment
3 out · 12 in
Commitment (Brandom)
4 out · 5 in
Commitment Machines
11 out · 8 in
Commitment Store
9 out · 6 in
Commitment Strategies
2 out · 1 in
Commitment-Based Protocol
7 out · 15 in
Commitment-based Semantics
9 out · 82 in
Commitments
3 out · 5 in
Common Ground
7 out · 9 in
Common Knowledge (Convention)
5 out · 16 in
Common Sense Database
3 out · 1 in
Common Sense Reasoning
2 out · 18 in
Common Weakness Enumeration
2 out · 1 in
Communication Failures
1 out · 1 in
Communication Structure
2 out · 1 in
Communications Processing
1 out · 1 in
Communicative Acts
4 out · 1 in
Competence vs Performance
2 out · 1 in
Compiler Correctness
3 out · 2 in
Complication Threshold
1 out · 2 in
Compositional Dependability
2 out · 1 in
Compositionality
3 out · 7 in
Compound Principal
3 out · 3 in
Computability
7 out · 14 in
Computational Surface
2 out · 1 in
Computational Trust
7 out · 1 in
Concepts as Individuals
4 out · 2 in
Conceptualization
2 out · 11 in
Concurrency
18 out · 2 in
Concurrent Logic Programming
4 out · 1 in
Concurrent METATEM
2 out · 1 in
Conditional Commitment
5 out · 8 in
Conditional Expression
3 out · 1 in
Conditional Expressions
2 out · 2 in
Configuration Integrity
2 out · 1 in
Confirmation Holism
5 out · 5 in
Confluence
6 out · 18 in
Confused Deputy
3 out · 15 in
Connector (Reo)
5 out · 8 in
Consistency and Completeness
4 out · 5 in
Consistent Hashing
5 out · 6 in
Constitutive Rules
3 out · 4 in
Constraint Automata
5 out · 7 in
Constraint Logic Programming
4 out · 1 in
Constraint Store
5 out · 7 in
Constraint Trust
3 out · 2 in
Content Language
3 out · 2 in
Content Languages
3 out · 1 in
Content-addressed Storage
1 out · 3 in
Context Independence
3 out · 1 in
Context Set
4 out · 4 in
Context-Free Grammars
2 out · 1 in
Contextual Integrity
6 out · 8 in
Contract Net Protocol
2 out · 7 in
Control-Flow Graph
2 out · 1 in
Convention (Lewis)
8 out · 17 in
Convention of Truthfulness
5 out · 4 in
Conventional Implicature
1 out · 1 in
Convergence Factor
2 out · 1 in
Convergent Gossip
3 out · 2 in
Conversation Composition
2 out · 1 in
Conversation Policies
4 out · 2 in
Conversation Policy
4 out · 24 in
Conversation Protocols
3 out · 18 in
Conversation Specialization
2 out · 1 in
Conversation-turns Per Session (CPS)
1 out · 2 in
Conversational AI
2 out · 1 in
Conversational Commitment
3 out · 1 in
Conversational Implicature
3 out · 3 in
Conversations
3 out · 1 in
Conway's Law
2 out · 3 in
Cooperative Principle
2 out · 7 in
Coordination
3 out · 4 in
Coordination Avoidance
13 out · 20 in
Coordination Game
6 out · 7 in
Coordination Graphs
2 out · 2 in
Coordination Kernel
1 out · 1 in
Coordination Language
9 out · 11 in
Coordination Recipes
1 out · 1 in
Coordination Variables
1 out · 1 in
Coordination-Security Separation
2 out · 2 in
Core Chat Architecture
1 out · 1 in
Correlational Knowledge
2 out · 1 in
Counterfactual
1 out · 9 in
Counts-As Relation
16 out · 8 in
Counts-as Rules
4 out · 2 in
CRDTs
11 out · 29 in
Credulous Reasoning
6 out · 3 in
Cross-Agent Corruption
3 out · 1 in
Cross-chain Smart Contracts
2 out · 1 in
Crypto Protocol Verification
9 out · 13 in
Cryptographic Wrapper
2 out · 2 in
Curry-Howard Correspondence
6 out · 7 in
d-Separation
4 out · 5 in
Dafny
3 out · 2 in
Data Exchange
2 out · 1 in
Data Processing
3 out · 1 in
Data Spaces
1 out · 1 in
Data-Driven Coordination
2 out · 2 in
DDoS
1 out · 1 in
Decentralized Identifier
9 out · 16 in
Decision-Theoretic ACL
1 out · 1 in
Declarations
4 out · 2 in
Declarative Knowledge
3 out · 2 in
Declarative Specification
2 out · 1 in
Declaratives
3 out · 1 in
Dedalus
7 out · 8 in
Default Logic
2 out · 5 in
Default Reasoning
3 out · 5 in
Defence (Argumentation)
5 out · 1 in
Defence in Depth
2 out · 1 in
Delegatecall
4 out · 5 in
Delegated Authority
2 out · 2 in
Delegation
3 out · 4 in
Deliberation Dialogue
7 out · 4 in
Denotational Semantics
3 out · 3 in
Deontic Logic
3 out · 6 in
Deontic Scorekeeping
19 out · 18 in
Description Logics
3 out · 2 in
Design Autonomy
2 out · 2 in
Design Organization
2 out · 1 in
Design Patterns
2 out · 2 in
Design Stance
3 out · 3 in
Determinism
1 out · 2 in
Deterministic Context-Free Language
6 out · 6 in
Developmental Bioelectricity
1 out · 1 in
Dezert-Smarandache Theory
3 out · 2 in
Dialect vs Idiolect
1 out · 1 in
Dialects and Idiolects
2 out · 3 in
Dialogue Sessions
3 out · 2 in
Dialogue Typology
8 out · 15 in
DID Document
5 out · 7 in
DID Method
5 out · 4 in
DIDComm
7 out · 3 in
Difference-Engines
1 out · 1 in
Differentiable Protocols
2 out · 3 in
Diffusion Speed
2 out · 1 in
Digital-Analog Hybrid
2 out · 2 in
Direct Experience
2 out · 1 in
Direction of Fit
3 out · 5 in
Directives
1 out · 4 in
Dirichlet Process
1 out · 1 in
Discursive Practice
7 out · 8 in
Distributed Consensus
14 out · 11 in
Distributed Hash Table
10 out · 15 in
Distributed Optimization
3 out · 1 in
Distributed Security
14 out · 57 in
Distributed Tuple Spaces
7 out · 4 in
Division of Labour
2 out · 1 in
DNN Splitting
3 out · 2 in
do-Calculus
13 out · 16 in
Dolev-Yao Model
7 out · 11 in
Domain-Specific Languages
4 out · 10 in
Dooley Graphs
2 out · 1 in
DSL
3 out · 1 in
DSLs
3 out · 1 in
Dual-Anchor Persistence
1 out · 1 in
Dynamic Scheduling
1 out · 1 in
E Language
5 out · 13 in
Edge Intelligence
6 out · 12 in
EDI
2 out · 1 in
Edit Automaton
2 out · 2 in
Editor Service Descriptor
2 out · 1 in
Effectful
5 out · 3 in
Elaboration Tolerance
1 out · 1 in
Eliza
2 out · 1 in
Embedded Agent
2 out · 1 in
Embedded Languages
3 out · 1 in
Embodiment
7 out · 2 in
Emergent Communication
9 out · 32 in
Emergent Protocols
2 out · 1 in
Emotional Quotient
1 out · 1 in
Empathetic Response Generation
3 out · 3 in
Encoder-Decoder Attention
2 out · 1 in
Encoding Bias
1 out · 1 in
Encrypted Computation
2 out · 1 in
Endpoint Projection
11 out · 22 in
Entitlement (Brandom)
3 out · 5 in
Epidemic Dissemination
2 out · 1 in
Epidemiological Projection R0
1 out · 1 in
Epistemia
2 out · 2 in
Epistemic Logic
3 out · 10 in
Epistemic S5
2 out · 2 in
Epistemological Adequacy
2 out · 5 in
ERC-8004
1 out · 3 in
Eristic Dialogue
4 out · 3 in
Erlang Process
2 out · 1 in
Error Halting
2 out · 3 in
Ethereum
2 out · 5 in
Ethereum Classic
6 out · 3 in
Ethical Governor
2 out · 10 in
ETS-DETS
1 out · 1 in
eval apply
2 out · 2 in
Event Calculus
3 out · 10 in
Event-B
2 out · 2 in
Eventual Consistency
10 out · 3 in
EVM
2 out · 3 in
Exception Principle
2 out · 2 in
Execution Autonomy
2 out · 2 in
Execution Monitor
4 out · 3 in
Expected Utility Communication
2 out · 1 in
Explainable AI
1 out · 1 in
Explicit Command Stack
1 out · 1 in
Exploit Programming
4 out · 1 in
Exponential Modalities
5 out · 3 in
Expressives
1 out · 1 in
Extendibility
2 out · 1 in
Extensible Languages Movement
2 out · 1 in
Extensionality
1 out · 1 in
F*
2 out · 2 in
Facilitator
3 out · 2 in
Facilitator Agents
3 out · 2 in
Facilitators
3 out · 12 in
Fallback Method
4 out · 4 in
Family Resemblance
1 out · 2 in
Fault Tolerance
6 out · 5 in
Federated Learning
1 out · 4 in
Finite-state Grammars
2 out · 2 in
Finite-State Transducer
2 out · 1 in
FIPA-ACL
18 out · 92 in
FIRE
2 out · 1 in
First-Order Logic
4 out · 11 in
Fixpoint Semantics
2 out · 2 in
Flat Context Trust Model
2 out · 2 in
Flat Namespace
3 out · 1 in
Flooding
2 out · 1 in
Fluent
2 out · 2 in
Focal Point
7 out · 12 in
Fodor and Lepore Holism
3 out · 3 in
Form of Life
1 out · 2 in
Formal Verification
4 out · 34 in
Formula Circumscription
2 out · 1 in
Foundational vs Auxiliary Properties
1 out · 1 in
Four Security Problems
2 out · 1 in
Frame Logic
3 out · 1 in
Frame Ontology
2 out · 1 in
Frame Problem
4 out · 7 in
Frames (AI)
3 out · 3 in
Front-door Criterion
7 out · 9 in
Full Abstraction
1 out · 2 in
Future-Directed Intention
2 out · 1 in
Futures
1 out · 1 in
Game Theory
7 out · 3 in
Game-Theoretic Trust
2 out · 5 in
Garbage Collection
1 out · 1 in
Gas Mechanism
4 out · 2 in
General-Purpose Methods
3 out · 1 in
Generality
3 out · 3 in
Generative Communication
5 out · 4 in
Generative Grammar
3 out · 2 in
Goal-Directedness
2 out · 1 in
Gossip Framework
3 out · 1 in
Gossip Protocols
7 out · 49 in
Gossip Training
3 out · 1 in
Gradient Compression
3 out · 2 in
Gricean Maxims
3 out · 3 in
Grounded Compositional Language
3 out · 1 in
Grounded Extension
4 out · 9 in
Grounded Semantics
3 out · 2 in
Grounded Theory
2 out · 1 in
Grounding
3 out · 4 in
Grounding in Human Language
2 out · 2 in
Group Rationality
1 out · 1 in
Guarded Transactions
2 out · 1 in
Guessing Game
2 out · 2 in
Gumbel-Softmax
3 out · 1 in
Hallucination
2 out · 6 in
Halting Problem
5 out · 13 in
Happy Performance
3 out · 1 in
hence
2 out · 2 in
Herbrand Universe
2 out · 1 in
Heterogeneity Resolution
3 out · 2 in
Heuristic Adequacy
2 out · 2 in
Hewitt's Actor Model
10 out · 1 in
Higher-Order Pi-Calculus
3 out · 1 in
History-Referring Programs
1 out · 1 in
Hoare Logic
2 out · 32 in
Hoare Triple
2 out · 5 in
Hold-Up Problem
5 out · 6 in
Homoiconicity
4 out · 4 in
Honesty Constraint
2 out · 3 in
Horn Clauses
2 out · 3 in
Hot Standby
2 out · 1 in
Human Connectivity Barrier
2 out · 1 in
Human-in-the-loop
2 out · 2 in
Hygienic Macros
2 out · 2 in
Hypermedia
2 out · 4 in
Hyphal Peer
2 out · 1 in
ID Algorithm
5 out · 8 in
Identical-Interest Games
1 out · 1 in
Identifiability
17 out · 16 in
Ignorability
6 out · 5 in
Illocutionary Force
3 out · 11 in
Illocutionary Point
2 out · 1 in
Illocutionary Specification
3 out · 2 in
Immutable Data Structures
9 out · 7 in
Incentive Compatibility
3 out · 3 in
Incompatibility (Brandom)
2 out · 2 in
Inconsequentiality
2 out · 1 in
Indirect Prompt Injection
3 out · 5 in
Individual Concepts
2 out · 3 in
Individual Rationality
1 out · 1 in
Individuality
2 out · 1 in
Inductive Assertions
2 out · 2 in
Inductive Inference
3 out · 2 in
Inferentialism
20 out · 30 in
Information Asymmetry
4 out · 3 in
Information Cascades
1 out · 1 in
Information Flow Control
7 out · 9 in
Information Markets
8 out · 6 in
Information-Seeking Dialogue
4 out · 4 in
Infotaxis
2 out · 1 in
Inlined Reference Monitor
2 out · 3 in
Input Language
2 out · 1 in
Input Validation
3 out · 1 in
Inquiry Dialogue
5 out · 3 in
Institutional Facts
3 out · 3 in
Institutional Reality
3 out · 18 in
Instrumental Variable
3 out · 5 in
Intent Formalization
3 out · 2 in
Intent Gap
1 out · 1 in
Intention
4 out · 4 in
Intentional Stance
3 out · 12 in
Inter-Agent Misalignment
2 out · 1 in
Interaction Protocol Change
3 out · 2 in
Interaction Protocols
3 out · 18 in
Interface
2 out · 1 in
Interoperability
3 out · 11 in
Intervention
5 out · 4 in
Invariance Theorem
2 out · 1 in
Investment Principle
1 out · 1 in
Is-a Hierarchy
2 out · 1 in
Isonomes
2 out · 2 in
Iterated Prisoners Dilemma
6 out · 10 in
JaCaMo
3 out · 1 in
Jailbreak
2 out · 4 in
Jason
3 out · 2 in
Jason (BDI runtime)
9 out · 6 in
Join Calculus
1 out · 8 in
Joint Intentions
2 out · 25 in
JSON-RPC
2 out · 1 in
K Framework
1 out · 2 in
k-Buckets
5 out · 5 in
K-Lines
1 out · 1 in
Kerberos
5 out · 1 in
Kernel Sentences
1 out · 1 in
KEVM
3 out · 5 in
KIF
3 out · 20 in
Knowing How vs Knowing That
1 out · 1 in
Knowing What vs Knowing That
2 out · 2 in
Knowledge Level
12 out · 6 in
Knowledge Representation
3 out · 26 in
Knowledge Representation Language
3 out · 3 in
Knowledge Sharing Effort
3 out · 1 in
Knowledge Transfer Learning
3 out · 1 in
Knowledge-Level Specification
2 out · 2 in
Kolmogorov Complexity
4 out · 11 in
Kolmogorov Structure Function
3 out · 1 in
KQML
10 out · 61 in
LACP
9 out · 5 in
Ladder of Causation
3 out · 6 in
Lambda Calculus
2 out · 5 in
LangSec
10 out · 62 in
Language Agents
3 out · 1 in
Language Extensibility Taxonomy
4 out · 2 in
Language Game
3 out · 5 in
Language Games
2 out · 10 in
Language Workbench
3 out · 1 in
Language Workbenches
10 out · 25 in
Language-oriented Programming
3 out · 2 in
Language-theoretic Security
3 out · 1 in
Large Population Models
2 out · 9 in
Layered Architecture
2 out · 4 in
Layered Systems
3 out · 2 in
Leader Election
7 out · 4 in
Lean 4
2 out · 1 in
Let It Crash
3 out · 7 in
Levels of Description
3 out · 1 in
Lewis Signalling Games
3 out · 1 in
Lexical Scope
2 out · 1 in
Lexicon Convergence
3 out · 2 in
Lexicon Negotiation
2 out · 2 in
Linda (coordination)
8 out · 26 in
Link and Monitor
3 out · 1 in
Linked Local Names
5 out · 7 in
Lisp
3 out · 3 in
Liveness Property
1 out · 4 in
LLM Agents
14 out · 121 in
LLM-as-judge
1 out · 1 in
Locality (KLAIM)
4 out · 7 in
Log Replication
4 out · 5 in
Log-linear Learning
1 out · 2 in
Logic Programming
2 out · 8 in
Logical Contracts
5 out · 2 in
Logicist AI
4 out · 5 in
LOGOS
2 out · 1 in
Long-short Term Memory
2 out · 1 in
Loop Invariant
2 out · 2 in
Lowe Attack
6 out · 5 in
Macaroons
6 out · 6 in
Machine Ethics
2 out · 1 in
Macros as Language Extension
3 out · 18 in
Majority Vote
5 out · 3 in
Market for Lemons
5 out · 3 in
Markov Processes
1 out · 1 in
Marshalling
2 out · 2 in
MAS Meta-model
2 out · 1 in
Mass Conservation
3 out · 2 in
MAST Taxonomy
1 out · 13 in
Material Inference
10 out · 11 in
Matrix Communication Games
3 out · 1 in
Meaning As Use
6 out · 8 in
Mechanism Design
1 out · 37 in
Mechanism vs Policy
3 out · 3 in
Mediation Analysis
2 out · 3 in
Memo Programming Language
4 out · 6 in
Memory Poisoning
2 out · 4 in
Mental Attitudes
3 out · 1 in
Mental State
3 out · 23 in
Mentalistic Semantics
6 out · 66 in
Mercurio Framework
3 out · 1 in
Meshing Subplans
5 out · 7 in
Meta-Adaptation
2 out · 2 in
Meta-agent
2 out · 1 in
Meta-circular Evaluator
3 out · 2 in
Meta-Methods
2 out · 1 in
Meta-Programming
3 out · 2 in
Meta-protocol
2 out · 1 in
Meta-rules
2 out · 1 in
Metacognitive Loop
2 out · 15 in
Metaphrase
3 out · 8 in
Metaphysical Adequacy
3 out · 1 in
Metatheoretic Reasoning
2 out · 3 in
Micronemes
1 out · 1 in
Mild Realism
1 out · 1 in
Miller's 7±2
4 out · 1 in
Minimal Model
2 out · 1 in
Minimal Ontological Commitment
2 out · 1 in
Minimum Description Length
2 out · 5 in
Mirsky Autonomy Scale
1 out · 1 in
Mission Economy
4 out · 3 in
MITRE ATLAS
2 out · 1 in
Mnesia
1 out · 1 in
Mobile Agent
2 out · 3 in
Mobility
13 out · 14 in
Model Checking
3 out · 2 in
Model Context Protocol
8 out · 48 in
Modular Proofs
2 out · 3 in
Module Languages
3 out · 1 in
MOISE
3 out · 1 in
Monitorability
8 out · 1 in
Monotonic Logic
8 out · 16 in
Motivational Potential
1 out · 1 in
Multi-Agent Q-Learning
1 out · 1 in
Multi-Agent Reinforcement Learning
3 out · 4 in
Multi-Agent Security
6 out · 8 in
Multi-Agent Systems
13 out · 114 in
Multi-Head Attention
2 out · 1 in
Multi-Turn Social Engineering
2 out · 1 in
Multiagent Systems
2 out · 1 in
Multiplicative-Additive
4 out · 4 in
Mutual Belief
9 out · 7 in
Mutual Expectation
5 out · 6 in
Mutual Information
8 out · 5 in
Mutual Responsiveness
3 out · 4 in
Mycelium Model
1 out · 1 in
Myerson's Lemma
4 out · 4 in
Myth of the Given
14 out · 14 in
Name-Passing
11 out · 8 in
Narrow Waist Principle
7 out · 5 in
Nash Equilibrium
2 out · 9 in
Nash Equilibrium Pathologies
1 out · 1 in
Natural vs Artificial Automata
2 out · 3 in
Needham-Schroeder Protocol
7 out · 16 in
Negation as Failure
2 out · 4 in
Negotiated Protocols
3 out · 1 in
Negotiation
4 out · 29 in
Nested Beliefs
2 out · 2 in
NetBill Protocol
2 out · 4 in
Newscast Gossip
3 out · 1 in
No-Regret Learning
5 out · 7 in
Non-monotonic Reasoning
2 out · 15 in
Non-Owner Compliance
3 out · 2 in
Non-verbal Communication
2 out · 1 in
Nonce
6 out · 3 in
Nonmonotonic Reasoning
11 out · 3 in
Normalized Compression Distance
2 out · 2 in
Norms and Obligations
2 out · 5 in
Nostr
3 out · 1 in
OAA ICL
2 out · 2 in
Object Capability
2 out · 1 in
Object Capability Security
5 out · 20 in
Obligation Exchange
3 out · 2 in
Observational Equivalence
6 out · 3 in
OCapN
4 out · 4 in
Occam's Razor
3 out · 2 in
Ontolingua
3 out · 1 in
Ontological Commitment
3 out · 5 in
Ontologies
7 out · 44 in
Ontology
4 out · 11 in
Ontology Alignment
3 out · 3 in
Ontology Change
2 out · 1 in
Ontology Design Criteria
3 out · 4 in
Ontology Engineering
2 out · 3 in
Ontology Evolution
2 out · 1 in
Ontology Grounding
3 out · 1 in
Ontology Mapping
3 out · 1 in
Ontology Matching
3 out · 1 in
Ontology Merging
2 out · 3 in
Open Multi-Agent Systems
2 out · 2 in
OpenClaw
1 out · 1 in
Operational Semantics
3 out · 10 in
Operational Transformation
6 out · 7 in
Organizational Metaphors
3 out · 1 in
Orthophrase
3 out · 8 in
OTP
3 out · 1 in
Overlay Construction
2 out · 1 in
OWASP LLM Top-10
2 out · 1 in
OWL
3 out · 1 in
Owner Identity Spoofing
2 out · 2 in
Papert's Principle
1 out · 2 in
Paraphrase
4 out · 8 in
Parity Multisig
6 out · 3 in
Parser Combinators
1 out · 1 in
Parser Differential
3 out · 15 in
Parser Differential Attack
10 out · 5 in
Parser Differentials
3 out · 1 in
Parser Equivalence
3 out · 1 in
Partial Information
3 out · 1 in
PASSI Methodology
2 out · 1 in
Pattern Composition
2 out · 1 in
Pattern Matching
1 out · 1 in
PBFT
7 out · 16 in
Peer Sampling Service
3 out · 14 in
Peer Selection
3 out · 2 in
Performatives
5 out · 31 in
Perlocutionary Specification
3 out · 2 in
Permissive Grammar
1 out · 1 in
Persistent Goal
2 out · 2 in
Persuasion Dialogue
6 out · 8 in
Perverse Incentives
2 out · 2 in
PGP Authentication
2 out · 1 in
Phrase-structure Grammar
2 out · 1 in
Physical Stance
2 out · 1 in
Pi-Calculus
22 out · 58 in
Pidgin and Creole
2 out · 1 in
Pidgin Emergence
2 out · 1 in
Pipelined BFT
3 out · 5 in
Pittsburgh School
4 out · 7 in
PLACA
2 out · 1 in
Plan Library
4 out · 5 in
Planning
3 out · 4 in
Planning Theory of Intention
2 out · 1 in
Polynemes
3 out · 2 in
Positional Encoding
2 out · 1 in
Positive Listening
2 out · 2 in
Positive Signalling
2 out · 3 in
Positivity
5 out · 6 in
Postel's Law Critique
2 out · 1 in
Postel's Robustness Principle
3 out · 1 in
Potential Games
2 out · 3 in
Practical Reasoning
2 out · 3 in
Pragmatic Presupposition
3 out · 4 in
Pragmatist Semantics
7 out · 8 in
Precommitment
4 out · 3 in
Preconditions and Postconditions
3 out · 1 in
Preferred Extension
5 out · 8 in
Prefix Codes
3 out · 1 in
Prejudice
2 out · 1 in
Preparatory Conditions
3 out · 3 in
Price of Anarchy
2 out · 2 in
Principle of Least Authority
3 out · 14 in
Principle of Rationality
2 out · 3 in
Prioritised Circumscription
2 out · 1 in
Private Language Argument
2 out · 3 in
Privilege-Escalation Distance
1 out · 1 in
Proactive Aggregation
3 out · 1 in
Problem-Solving Coherence
1 out · 1 in
Process Calculi
13 out · 18 in
Processing Fluency
3 out · 2 in
Program as Logical Sentence
4 out · 1 in
Program Semantics
13 out · 2 in
Program Verification
5 out · 7 in
Projection Relations
2 out · 1 in
Prolog
3 out · 2 in
Promise Pipelining
3 out · 13 in
Prompt Injection
3 out · 29 in
Pronomes
2 out · 2 in
Proof Nets
3 out · 3 in
Proof Obligations
2 out · 1 in
Proof Trust
3 out · 3 in
Proof-Carrying Code
1 out · 2 in
Properties
2 out · 1 in
Property-Based Testing
2 out · 1 in
Propositional Attitudes
3 out · 2 in
Protocol Design
3 out · 3 in
Protocol Documents
1 out · 11 in
Protocol Layering Attacks
4 out · 1 in
Protocol Verification
3 out · 1 in
ProVerif
6 out · 17 in
Proxy Payoff Evaluators
2 out · 1 in
Public Semantics
5 out · 57 in
Push-Pull Gossip
2 out · 1 in
Push-Sum
3 out · 5 in
Push-Synopses
3 out · 1 in
Qualification Problem
2 out · 4 in
Quorum Certificate
6 out · 8 in
Racket Macros
3 out · 3 in
Raft
9 out · 12 in
RAG Poisoning
2 out · 1 in
Ramification Problem
3 out · 1 in
Random Walks on Graphs
2 out · 1 in
Rational Action Semantics
4 out · 6 in
Rational Balance
2 out · 1 in
Rational Effect
3 out · 3 in
Rational Offer Groups
1 out · 1 in
Rationality Assumption
2 out · 1 in
RDF
3 out · 1 in
Reachability Analysis
3 out · 1 in
Reactive vs Deliberative Agents
4 out · 9 in
Recipe (SharedPlans)
3 out · 4 in
Reciprocity
7 out · 6 in
Recognizer
2 out · 1 in
Recursion Induction
1 out · 1 in
Recursive Function
4 out · 15 in
Red-Teaming LLM Agents
2 out · 2 in
Redundancy
4 out · 4 in
Reentrancy
3 out · 4 in
Referential Games
2 out · 3 in
Refinement
2 out · 1 in
ReGreT
3 out · 2 in
Regret-Loss
4 out · 3 in
Regulative Rules
2 out · 4 in
Reification
1 out · 2 in
REINFORCE
2 out · 1 in
Relation Adaptation
2 out · 2 in
Relational Logic
1 out · 1 in
Relational Transducer
7 out · 10 in
Replay Attack
6 out · 5 in
Replicated State Machine
10 out · 6 in
Replication
3 out · 2 in
Representations
3 out · 3 in
Representatives
1 out · 1 in
Reputation
2 out · 1 in
Reputation Trust
3 out · 1 in
Resource Manager Agent
2 out · 1 in
Resource Managers
2 out · 1 in
Resources
3 out · 3 in
REST
3 out · 5 in
Restraining Bolts
2 out · 1 in
Restriction
7 out · 3 in
Retrieval-Augmented Generation
3 out · 5 in
Retrieval-based Dialogue
1 out · 2 in
Return-Oriented Programming
2 out · 1 in
Revenue Equivalence
4 out · 3 in
Rex Language
1 out · 1 in
Rice's Theorem
27 out · 12 in
Role-specialised Agents
3 out · 1 in
Roles
3 out · 10 in
Rubin Causal Model
5 out · 10 in
Rubinstein Bargaining
2 out · 3 in
Rule of Conjecture
2 out · 1 in
Rule-Following
1 out · 2 in
Runtime Verification
3 out · 4 in
S-expression
4 out · 4 in
S-expressions
3 out · 2 in
Safe Tcl
3 out · 3 in
Safestack
2 out · 1 in
Safety Property
3 out · 4 in
Sandbox Economy
4 out · 3 in
Sandboxing
4 out · 12 in
Sapience vs Sentience
4 out · 4 in
Says Operator
2 out · 3 in
Scale-Free Cognition
2 out · 1 in
Scaled Dot-Product Attention
2 out · 2 in
Scaling
2 out · 1 in
Sceptical Reasoning
7 out · 3 in
Schelling Point
5 out · 5 in
Scheme 48
1 out · 1 in
Scope Extrusion
6 out · 9 in
SDF
3 out · 1 in
SDSI
5 out · 8 in
Search and Learning
1 out · 1 in
Second-Price Auction
4 out · 4 in
Secure Agent Control Protocol
2 out · 1 in
Secure Operations Language
1 out · 3 in
Security Automaton
1 out · 6 in
Self-Adaptation
3 out · 1 in
Self-Adaptive Systems
7 out · 34 in
Self-Attention
3 out · 4 in
Self-aware Computing
3 out · 1 in
Self-Awareness
2 out · 1 in
Self-Expression
3 out · 4 in
Self-Organisation
3 out · 1 in
Self-Organising Topology
3 out · 3 in
Self-Replicating Agent
2 out · 1 in
Self-Reproducing Automata
1 out · 3 in
Semantic Gap
2 out · 1 in
Semantic Holism
10 out · 13 in
Semantic Information Processing
2 out · 1 in
Semantic Misalignment
3 out · 1 in
Semantic Web
3 out · 9 in
Semantics-Without-Minds
24 out · 20 in
Semi-Markovian Causal Model
5 out · 4 in
Semiotic Cycle
2 out · 1 in
Sense and Denotation
2 out · 2 in
Sense-Plan-Act
4 out · 1 in
Sensitivity Sharing
3 out · 1 in
Server-Side Extensions
2 out · 1 in
Session Types
12 out · 38 in
Shannon Entropy
6 out · 7 in
Shannon Information
6 out · 6 in
Shotgun Parsing
3 out · 7 in
Simple Promise
3 out · 1 in
Simple View
1 out · 1 in
Sincerity Condition
3 out · 4 in
Sincerity Conditions
4 out · 3 in
Single Phenomenon View
1 out · 1 in
SINS Middleware
2 out · 1 in
Situated Action
2 out · 1 in
Situated Automata
1 out · 1 in
Situation Calculus
4 out · 6 in
Six-Level EI Rating
2 out · 1 in
Sjoin Calculus
2 out · 6 in
Skill Supply Chain Attack
2 out · 3 in
SKTP
2 out · 1 in
SLD Resolution
2 out · 2 in
Smart Contracts
2 out · 12 in
Social Agency
3 out · 3 in
Social Chatbots
3 out · 4 in
Social Coherence Failures
1 out · 1 in
Social Commitment
6 out · 6 in
Social State
3 out · 1 in
Society of Mind
4 out · 6 in
Society-of-More
2 out · 1 in
Sociological Reputation
3 out · 2 in
Solidity
3 out · 4 in
Sorted Logic
1 out · 1 in
Sorts
5 out · 2 in
Space of Reasons
5 out · 12 in
Spatial Logic
3 out · 1 in
Speaker Consistency
3 out · 1 in
Speaker Meaning
2 out · 1 in
Speaks-For Calculus
16 out · 11 in
Specification Completeness
1 out · 1 in
Specification Issues
2 out · 1 in
Specification Soundness
1 out · 1 in
Specification Validation
1 out · 1 in
Speech Act Theory
14 out · 88 in
Speech Acts
4 out · 11 in
SPKI
7 out · 7 in
Stable Extension
5 out · 8 in
Stable Model Semantics
8 out · 2 in
Stake Trust
2 out · 1 in
Standard Operating Procedures (SOPs)
2 out · 8 in
State Capture
1 out · 1 in
State Vector
2 out · 2 in
Statelessness
3 out · 3 in
Static Analysis
1 out · 6 in
Stigmergy
2 out · 4 in
Stochastic CALM
3 out · 2 in
Stored-Procedure Coordination
2 out · 1 in
Stratego
2 out · 1 in
Strategy-Proof
4 out · 6 in
Strong Agency
3 out · 13 in
Strong Eventual Consistency
6 out · 4 in
Strong Realism
2 out · 1 in
Strongest Verifiable Consequent
3 out · 1 in
Structural Causal Model
11 out · 13 in
Structural Definitions
1 out · 1 in
Structural Induction
2 out · 1 in
Structured Operational Semantics
7 out · 3 in
Structured Overlay
8 out · 6 in
Substructural Logic
3 out · 3 in
Subsumption Architecture
6 out · 10 in
Superpeer Overlay
2 out · 2 in
Supervision Tree
3 out · 6 in
SUTVA
3 out · 5 in
Sybil Resistance
2 out · 2 in
Symbol Grounding Problem
3 out · 11 in
Symbol Level
2 out · 3 in
Symbol-Category Purity
2 out · 1 in
Symbolic Descriptions
2 out · 1 in
Symbolic Execution
2 out · 1 in
Symbolic Plans
2 out · 2 in
Synchronisation Tree
5 out · 2 in
Synchronous Language
1 out · 1 in
Syntactic Abstraction
3 out · 2 in
System Homomorphism
2 out · 2 in
Tacit Coordination
5 out · 4 in
Talking Heads Experiment
2 out · 1 in
Task Allocation Network
3 out · 1 in
Task Verification
2 out · 1 in
TEE Attestations
2 out · 2 in
Temporal Proposition
3 out · 2 in
Temporal Transfer Pattern
2 out · 1 in
Termination Proof
3 out · 2 in
TheDAO
3 out · 6 in
Theory of Agency
3 out · 1 in
Theory of Mind
9 out · 5 in
Three-Party Handoff
6 out · 6 in
Threshold Signature
4 out · 6 in
Time-Travel Debugging
2 out · 2 in
Tit-for-Tat
4 out · 9 in
Tombstones
6 out · 9 in
Tool Use
4 out · 28 in
TOTE Loop
2 out · 1 in
Trace Expressions
2 out · 2 in
Trace Property
2 out · 2 in
Trans-Frames
2 out · 4 in
Transaction-Ordering Dependence
2 out · 1 in
Transformation Function
4 out · 5 in
Transformational Grammar
3 out · 2 in
Transformer
3 out · 4 in
Translation Approach
2 out · 1 in
Trojan Tools
3 out · 1 in
True Believer
2 out · 1 in
Trust
3 out · 3 in
Trust and Reputation
7 out · 26 in
Trust Fusion
3 out · 3 in
Trusted Capable Model Environment
6 out · 5 in
Trusted Execution Environment
6 out · 7 in
Trustless by Default
2 out · 1 in
Truthful Mechanism
8 out · 9 in
Tuple Matching
5 out · 4 in
Tuple Spaces
8 out · 19 in
Turing Test
2 out · 1 in
Turn (Goblins)
2 out · 4 in
Type 1 and Type 2 Obligations
3 out · 1 in
Type Preservation
2 out · 1 in
Unification
2 out · 2 in
Uniform Gossip
2 out · 1 in
Uniform Interface
1 out · 1 in
Uniframes
2 out · 2 in
Unique Names Hypothesis
1 out · 1 in
Universal Turing Machine
2 out · 8 in
Unsafe Action Rate
2 out · 1 in
Unsupervised Grammar Induction
2 out · 1 in
Value of Communication
1 out · 1 in
Variance Reduction
3 out · 1 in
Vat Model
4 out · 8 in
VCG Mechanism
5 out · 6 in
Verifiable Credential
7 out · 10 in
Verifiable Presentation
5 out · 4 in
Verifiable Semantics
3 out · 20 in
Verification Condition
3 out · 6 in
Verified Synthesis
3 out · 1 in
Version Vector
7 out · 3 in
Verus
2 out · 2 in
Vibe Coding
2 out · 2 in
Vickrey Auction
10 out · 18 in
View Change
5 out · 5 in
Visibly Pushdown Languages
4 out · 5 in
Vocabulary Size Penalty
3 out · 1 in
We-Intention
4 out · 7 in
Weak Agency
2 out · 10 in
Web of Belief
3 out · 4 in
Weighted Relation
1 out · 1 in
Weird Machine
2 out · 12 in
What Is Said
2 out · 1 in
Whitewashing
2 out · 1 in
Witness Reputation
3 out · 2 in
X.509 PKI
4 out · 1 in
XiaoIce
3 out · 3 in
XOR Metric
5 out · 7 in
Zero-Knowledge Proofs
2 out · 2 in