Vault
All Pages
A Common Ontology Of ACLs
20 out · 25 in
A Composite Self-organisation Mechanism in an Agent Network
16 out · 16 in
A Language-Based Approach To Prevent DDoS
14 out · 20 in
A Modular Approach to Metatheoretic Reasoning for Extensible Languages
18 out · 20 in
A Proof Method for Cyclic Programs
15 out · 4 in
A Scalable Communication Protocol for Networks of LLMs
26 out · 39 in
A Taxonomy of Illocutionary Acts
25 out · 8 in
A Universal Modular Actor Formalism for Artificial Intelligence
8 out · 6 in
A-ILTL
3 out · 4 in
Abnormality Predicate
2 out · 1 in
Abstract Agent Interfaces
2 out · 1 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 · 4 in
ACL Evolution
3 out · 1 in
ACL Layering
3 out · 1 in
ACL Rethinking Principles
17 out · 33 in
ACL Verifiability
3 out · 2 in
ACRE Agent Conversation Reasoning Engine
19 out · 16 in
Action Formalism
3 out · 1 in
Actor Model
4 out · 10 in
Adaptation Dimensions
2 out · 1 in
Adaptive Protocols
3 out · 1 in
Adjectival Modifiers
1 out · 1 in
Advice Taker
3 out · 1 in
Agencies
3 out · 3 in
Agent Architecture
3 out · 1 in
Agent Cards
3 out · 1 in
Agent Communication And Institutional Reality
20 out · 32 in
Agent Communication Framework
3 out · 1 in
Agent Communication Languages
20 out · 86 in
Agent Communication Languages - Rethinking the Principles
25 out · 23 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 Libel
2 out · 1 in
Agent Network Protocol
5 out · 18 in
Agent Payments Protocol
2 out · 1 in
Agent Security
3 out · 25 in
Agent Self-Monitoring
3 out · 1 in
Agent Tcl Flexible Secure Mobile Agents
15 out · 15 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 · 1 in
Agent-Oriented Programming
23 out · 60 in
Agent-to-Agent Protocol
8 out · 30 in
agent_jump
2 out · 1 in
AgentCards
2 out · 2 in
Agentic TCB
2 out · 1 in
Agentification
1 out · 1 in
Agents (Minsky)
3 out · 3 in
Agents and Artifacts
2 out · 6 in
Agents Framework - Zhou et al
21 out · 20 in
Agents of Chaos
31 out · 17 in
Agents Secure Interaction in Data Driven Languages
16 out · 14 in
Aggregate Functions
3 out · 3 in
AI Agents Under Threat
20 out · 47 in
Algorithm = Logic + Control
5 out · 3 in
Algorithmic Information Theory - Grunwald Vitanyi
18 out · 15 in
Ambient Authority
3 out · 4 in
An Application of a Method for Analysis of Cyclic Programs
15 out · 2 in
An Interaction-oriented Agent Framework for Open Environments
24 out · 21 in
Approximate Theory
1 out · 1 in
Architectural Pattern
2 out · 3 in
Architectural Patterns for Dependable Software Systems - SOL
19 out · 17 in
Architectural Styles
2 out · 3 in
ARCOL
3 out · 2 in
Are Multiagent Systems Resilient to Communication Failures
18 out · 19 in
ASCENS
2 out · 1 in
Ascribing Mental Qualities to Machines
16 out · 31 in
ASN.1 BER Ambiguity
3 out · 1 in
Assigning Meanings to Programs
16 out · 20 in
Attack Papers
2 out · 1 in
Attack Surface Taxonomy
2 out · 1 in
Attention Is All You Need
17 out · 9 in
Attribute Grammars
3 out · 2 in
Audit Trail
2 out · 1 in
Augmented Language Models - A Survey
11 out · 1 in
AutoGen - Multi-Agent Conversation Framework
15 out · 3 in
Autonomic Service Component Ensembles
2 out · 1 in
Axiomatic Semantics
2 out · 1 in
B-brains
3 out · 1 in
Backdoor Attacks
2 out · 1 in
BDI
4 out · 44 in
BDI Agents
3 out · 2 in
BDI Architecture
3 out · 4 in
BDI Logic
3 out · 7 in
Belief Revision
3 out · 2 in
Belief-Desire-Intention
4 out · 1 in
Benevolent Agent Assumption
2 out · 1 in
Best-Response Dynamics
2 out · 3 in
Beyond Self-Talk - Communication-Centric Survey Of LLM Multi-Agent Systems
15 out · 2 in
Binding Deal
1 out · 1 in
Biomass
2 out · 1 in
Bit Syntax
1 out · 1 in
Bitter Lesson
2 out · 1 in
Blockchain Interoperability
2 out · 1 in
Bloom Language
7 out · 9 in
Bottom-up Programming
3 out · 4 in
Branching Time
2 out · 1 in
Brewers Conjecture and the Feasibility of Consistent Available Partition-Tolerant Web Services
7 out · 1 in
Brief Trust
2 out · 1 in
Byzantine Fault Tolerance
2 out · 2 in
CALM Theorem
17 out · 29 in
CAMEL Communicative Agents for Mind Exploration of LLM Society
15 out · 4 in
Can Programming Be Liberated from the von Neumann Style
5 out · 1 in
CAP Theorem
5 out · 12 in
Capability Bounding
3 out · 2 in
Capability Revocation
2 out · 1 in
Capability Security
2 out · 16 in
Capsules
2 out · 1 in
CapTP
4 out · 5 in
CArtAgO
2 out · 2 in
Catastrophic Failure Recovery
2 out · 1 in
Causal Influence of Communication
1 out · 2 in
Causal Threat Graph
1 out · 1 in
Certificate Authorities
3 out · 2 in
Chain-of-Thought Prompting
12 out · 1 in
Cheap Talk
2 out · 4 in
Chinese Room Argument
2 out · 2 in
Chomsky Hierarchy
4 out · 11 in
Cicero Human-Level Play in Diplomacy
20 out · 1 in
Circumscription
4 out · 10 in
Circumscription - A Form of Nonmonotonic Reasoning
19 out · 22 in
Circumscription - Applications to Formalizing Common Sense Knowledge
40 out · 11 in
Claim Trust
2 out · 1 in
Clarity
2 out · 1 in
ClawWorm Self-Propagating Attacks Across LLM Agent Ecosystems
26 out · 17 in
Closed World Assumption
2 out · 2 in
Cloud-Edge-Device Hierarchy
2 out · 1 in
Code as Data
3 out · 13 in
Code Contracts
2 out · 3 in
Cognitive Light Cone
1 out · 5 in
Cognitive Trust
3 out · 1 in
Cohen's Kappa
2 out · 1 in
Coherence
2 out · 3 in
Colored Petri Nets
2 out · 3 in
Coloured Petri Nets
3 out · 1 in
Commissives
4 out · 3 in
Commitment
3 out · 4 in
Commitment Strategies
2 out · 1 in
Commitment-Based Protocol
3 out · 1 in
Commitment-based Semantics
6 out · 35 in
Commitments
3 out · 2 in
Common Business Communication Language
22 out · 20 in
Common Sense Database
3 out · 1 in
Common Sense Reasoning
2 out · 18 in
Common Weakness Enumeration
2 out · 1 in
Communicating Sequential Processes
5 out · 3 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 · 1 in
Compositional Dependability
2 out · 1 in
Compositionality
3 out · 7 in
Computability
3 out · 1 in
Computational Boundary of a Self
20 out · 17 in
Computational Surface
2 out · 1 in
concept-map
180 out · 2 in
Concepts as Individuals
4 out · 2 in
Conceptualization
2 out · 11 in
Concurrent METATEM
2 out · 1 in
Conditional Expression
3 out · 1 in
Conditional Expressions
2 out · 2 in
Configuration Integrity
2 out · 1 in
Confluence
6 out · 12 in
Confused Deputy
3 out · 3 in
Consistency and Completeness
2 out · 1 in
Constitutive Rules
3 out · 1 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-Free Grammars
2 out · 1 in
Contract Net Protocol
2 out · 7 in
Control-Flow Graph
2 out · 1 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 · 18 in
Conversation Protocols
3 out · 5 in
Conversation Specialization
2 out · 1 in
Conversation-turns Per Session (CPS)
1 out · 2 in
Conversational AI
2 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 · 3 in
Coordinating Agents Using ACL Conversations
20 out · 18 in
Coordination
3 out · 4 in
Coordination Avoidance
13 out · 14 in
Coordination Graphs
2 out · 2 in
Coordination Kernel
1 out · 1 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
Correctness of a Compiler for Arithmetic Expressions
12 out · 18 in
Correlational Knowledge
2 out · 1 in
Counterfactual
1 out · 1 in
Counts-as Rules
4 out · 2 in
CRDTs
6 out · 11 in
Creating Languages in Racket
16 out · 22 in
Cross-Agent Corruption
3 out · 1 in
Cross-chain Smart Contracts
2 out · 1 in
Cryptographic Wrapper
2 out · 2 in
Dafny
3 out · 2 in
DAgents Security Book Chapter
18 out · 15 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
Deals Among Rational Agents
17 out · 6 in
Decentralized Identifiers
2 out · 5 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 · 6 in
Default Logic
2 out · 2 in
Default Reasoning
3 out · 5 in
Defence in Depth
2 out · 1 in
Delegated Authority
2 out · 2 in
Denotational Semantics
3 out · 1 in
Deontic Logic
3 out · 2 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
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 · 1 in
Dialogue Sessions
3 out · 1 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 · 1 in
Dirichlet Process
1 out · 1 in
Distributed Optimization
3 out · 1 in
Distributed Security
14 out · 31 in
Division of Labour
2 out · 1 in
DNN Splitting
3 out · 2 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 · 5 in
Edge Intelligence
6 out · 12 in
Edge Intelligence Survey
20 out · 12 in
EDI
2 out · 1 in
Editor Service Descriptor
2 out · 1 in
Elaboration Tolerance
1 out · 1 in
Elephant 2000 - A Programming Language Based on Speech Acts
54 out · 50 in
Eliza
2 out · 1 in
Embedded Agent
2 out · 1 in
Embedded Languages
3 out · 1 in
Emergence of Grounded Compositional Language in Multi-Agent Populations
18 out · 20 in
Emergent Communication
9 out · 30 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
End-to-End Arguments in System Design
5 out · 2 in
Ensuring Trustworthy and Ethical Behaviour in Intelligent Logical Agents
22 out · 26 in
Epidemic Dissemination
2 out · 1 in
Epidemiological Projection R0
1 out · 1 in
Epistemic Logic
3 out · 10 in
Epistemic S5
2 out · 2 in
Epistemological Adequacy
2 out · 5 in
Epistemological Problems of Artificial Intelligence
33 out · 15 in
ERC-8004
1 out · 3 in
Erlang Process
2 out · 1 in
Error Halting
2 out · 2 in
Ethereum
2 out · 1 in
Ethical Governor
2 out · 10 in
ETS-DETS
1 out · 1 in
eval apply
2 out · 2 in
Event-B
2 out · 2 in
EVM
2 out · 2 in
Exception Principle
2 out · 2 in
Execution Autonomy
2 out · 2 in
Expected Utility Communication
2 out · 1 in
Explainable AI
1 out · 1 in
Explicit Command Stack
1 out · 1 in
Exploit Programming
3 out · 1 in
Exploit Programming - From Buffer Overflows To Weird Machines
18 out · 5 in
Expressives
1 out · 1 in
Extendibility
2 out · 1 in
Extensibility in Programming Language Design - Standish
14 out · 17 in
Extensible Distributed Coordination
16 out · 13 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 · 10 in
Fault Tolerance
2 out · 2 in
Federated Learning
1 out · 4 in
Finite-state Grammars
2 out · 1 in
Finite-State Transducer
2 out · 1 in
FIPA-ACL
11 out · 85 in
FIRE
2 out · 1 in
First Order Theories of Individual Concepts and Propositions
17 out · 25 in
First-Order Logic
3 out · 4 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
Formal Verification
4 out · 30 in
Formalise Blockchain Interoperability Patterns
15 out · 15 in
Formula Circumscription
2 out · 1 in
Foundational vs Auxiliary Properties
1 out · 1 in
Foundations Of Illocutionary Logic
17 out · 30 in
Foundations of Logic Programming - Lloyd
19 out · 30 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 · 2 in
From Eliza to XiaoIce - Social Chatbots
17 out · 14 in
Full Abstraction
1 out · 2 in
Future-Directed Intention
2 out · 1 in
Futures
1 out · 1 in
Game-Theoretic Trust
2 out · 1 in
Garbage Collection
1 out · 1 in
General-Purpose Methods
3 out · 1 in
Generality
3 out · 3 in
Generality in Artificial Intelligence
38 out · 12 in
Generative Agents
12 out · 3 in
Generative Grammar
3 out · 2 in
Goal-Directedness
2 out · 1 in
Gossip Framework
3 out · 1 in
Gossip Protocols
7 out · 45 in
Gossip Training
3 out · 1 in
Gossip-based Aggregation in Large Dynamic Networks
15 out · 19 in
Gossip-Based Computation of Aggregate Information
20 out · 19 in
Gossiping in Distributed Systems
16 out · 14 in
Gradient Compression
3 out · 2 in
Gricean Maxims
3 out · 3 in
Grounded Compositional Language
3 out · 1 in
Grounded Semantics
3 out · 2 in
Grounded Theory
2 out · 1 in
Grounding
3 out · 3 in
Grounding in Human Language
2 out · 1 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 · 3 in
Halting Problem
2 out · 1 in
Handbook On Ontologies
17 out · 17 in
Happy Performance
3 out · 1 in
Herbrand Universe
2 out · 1 in
Heterogeneity Resolution
3 out · 2 in
Heuristic Adequacy
2 out · 2 in
History-Referring Programs
1 out · 1 in
Hoare Logic
2 out · 26 in
Homoiconicity
4 out · 2 in
Honesty Constraint
2 out · 3 in
Horn Clauses
2 out · 3 in
Hot Standby
2 out · 1 in
How Do Committees Invent
17 out · 9 in
How to Do Things with Words
20 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
Identical-Interest Games
1 out · 1 in
Illocutionary Force
3 out · 11 in
Illocutionary Point
2 out · 1 in
Illocutionary Specification
3 out · 2 in
Immutable Data Structures
9 out · 5 in
Impossibility of Distributed Consensus with One Faulty Process
7 out · 5 in
Inconsequentiality
2 out · 1 in
index
162 out · 5 in
Indirect Prompt Injection
3 out · 4 in
Individual Concepts
2 out · 3 in
Individual Rationality
1 out · 1 in
Individuality
2 out · 1 in
Inductive Assertions
2 out · 1 in
Inductive Inference
3 out · 1 in
Information Cascades
1 out · 1 in
Infotaxis
2 out · 1 in
Input Language
2 out · 1 in
Input Validation
3 out · 1 in
Institutional Reality
3 out · 18 in
Intelligent Agents Theory and Practice
22 out · 32 in
Intent Formalization
3 out · 2 in
Intent Formalization - A Grand Challenge for Reliable Coding
27 out · 18 in
Intent Gap
1 out · 1 in
Intention
4 out · 4 in
Intention Is Choice with Commitment
19 out · 12 in
Intentional Stance
3 out · 11 in
Inter-Agent Misalignment
2 out · 1 in
Inter-Agent Trust Models - A Comparative Study
36 out · 22 in
Interaction Protocol Change
3 out · 2 in
Interaction Protocols
3 out · 14 in
Interface
2 out · 1 in
Interoperability
3 out · 10 in
Invariance Theorem
2 out · 1 in
Investment Principle
1 out · 1 in
IPFS Content-Addressed Versioned P2P File System
16 out · 1 in
Is-a Hierarchy
2 out · 1 in
Isonomes
2 out · 2 in
JaCaMo
3 out · 1 in
Jailbreak
2 out · 4 in
Jason
3 out · 2 in
Join Calculus
1 out · 2 in
Joint Intentions
2 out · 7 in
JSON-RPC
2 out · 1 in
K-Lines
1 out · 1 in
Keeping CALM - When Distributed Consistency is Easy
43 out · 19 in
Kernel Sentences
1 out · 1 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 and Common Knowledge in a Distributed Environment
7 out · 3 in
Knowledge Level
4 out · 5 in
Knowledge Representation
3 out · 23 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
9 out · 57 in
KQML - A Language And Protocol For Knowledge And Information Exchange
22 out · 4 in
KQML as an Agent Communication Language
29 out · 21 in
KQML Language And Protocol
25 out · 13 in
KQML Overview
27 out · 22 in
Lambda Calculus
1 out · 1 in
LangSec
5 out · 40 in
Language Agents
3 out · 1 in
Language Extensibility Taxonomy
4 out · 1 in
Language Game
3 out · 2 in
Language Games
2 out · 9 in
Language Games for Autonomous Robots
17 out · 14 in
Language Models are Few-Shot Learners
18 out · 7 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 · 1 in
Layered Systems
3 out · 1 in
Let It Crash
3 out · 7 in
Levels of Description
3 out · 1 in
Levels Of Social Orchestration
15 out · 15 in
Lewis Signalling Games
3 out · 1 in
Lexical Scope
2 out · 1 in
Lexicon Convergence
3 out · 2 in
Lexicon Negotiation
2 out · 1 in
Link and Monitor
3 out · 1 in
Lisp
3 out · 3 in
LLM Agents
14 out · 94 in
LLM-as-judge
1 out · 1 in
Log-linear Learning
1 out · 2 in
Logic and Conversation
19 out · 7 in
Logic Programming
2 out · 3 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
Machine Ethics
2 out · 1 in
Macros as Language Extension
3 out · 18 in
Majority Vote
2 out · 1 in
Making Smart Contracts Smarter
17 out · 20 in
MalTool Malicious Tool Attacks
16 out · 29 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 · 10 in
Matrix Communication Games
3 out · 1 in
MCP Landscape Security Threats And Future Research Directions
18 out · 1 in
Mechanism Design
1 out · 3 in
Mechanism vs Policy
3 out · 3 in
Memory Poisoning
2 out · 4 in
Mental Attitudes
3 out · 1 in
Mental State
3 out · 23 in
Mentalistic Semantics
5 out · 32 in
Mercurio Framework
3 out · 1 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 · 13 in
MetaGPT Meta Programming for Multi-Agent Collaboration
17 out · 3 in
Metaphrase
3 out · 5 in
Metaphysical Adequacy
3 out · 1 in
Metatheoretic Reasoning
2 out · 3 in
Micronemes
1 out · 1 in
Mild Realism
1 out · 1 in
Minds Brains and Science
17 out · 2 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
MITRE ATLAS
2 out · 1 in
Mnesia
1 out · 1 in
Mobile Agent
2 out · 3 in
Model Checking
3 out · 2 in
Model Context Protocol
7 out · 34 in
Modeling Rational Agents within a BDI-Architecture
21 out · 9 in
Modular Proofs
2 out · 3 in
Module Languages
3 out · 1 in
MOISE
3 out · 1 in
Monotonic Logic
8 out · 11 in
Motivational Potential
1 out · 1 in
Multi-Agent Collaboration in AI - Wasif Tunkel
15 out · 16 in
Multi-Agent Collaboration Mechanisms - Survey of LLMs
14 out · 2 in
Multi-Agent Cooperation and the Emergence of Natural Language
17 out · 21 in
Multi-Agent Q-Learning
1 out · 1 in
Multi-Agent Reinforcement Learning
3 out · 2 in
Multi-Agent Systems
13 out · 100 in
Multi-Head Attention
2 out · 1 in
Multi-Turn Social Engineering
2 out · 1 in
Multiagent Systems
2 out · 1 in
Multiagent Systems Sycara
27 out · 19 in
Mycelium Model
1 out · 1 in
Myconet Fungi Inspired Superpeer Overlay
17 out · 23 in
Nash Equilibrium
2 out · 4 in
Nash Equilibrium Pathologies
1 out · 1 in
Natural vs Artificial Automata
2 out · 2 in
Negation as Failure
2 out · 4 in
Negotiated Protocols
3 out · 1 in
Negotiation
4 out · 18 in
Nested Beliefs
2 out · 2 in
Newscast Gossip
3 out · 1 in
Non-monotonic Reasoning
2 out · 15 in
Non-Owner Compliance
3 out · 2 in
Non-verbal Communication
2 out · 1 in
Normalized Compression Distance
2 out · 1 in
Norms and Obligations
2 out · 2 in
OAA ICL
2 out · 2 in
Object Capability Security
5 out · 7 in
Obligation Exchange
3 out · 2 in
Observational Equivalence
3 out · 1 in
OCapN
4 out · 4 in
Occam's Razor
3 out · 2 in
On the Pitfalls of Measuring Emergent Communication
17 out · 10 in
Ontolingua
3 out · 1 in
Ontolingua Portable Ontology Specifications
20 out · 20 in
Ontological Commitment
3 out · 4 in
Ontologies
7 out · 41 in
Ontology
4 out · 11 in
Ontology Alignment
3 out · 3 in
Ontology Change
2 out · 1 in
Ontology Change Classification and Survey
18 out · 13 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 · 1 in
OpenClaw
1 out · 1 in
Operational Semantics
3 out · 7 in
Organizational Metaphors
3 out · 1 in
Orthophrase
3 out · 5 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 · 5 in
Parser Combinators
1 out · 1 in
Parser Differential
3 out · 14 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
Peer Sampling Service
3 out · 12 in
Peer Selection
3 out · 2 in
Performatives
4 out · 30 in
Perlocutionary Specification
3 out · 2 in
Permissive Grammar
1 out · 1 in
Persistent Goal
2 out · 1 in
PGP Authentication
2 out · 1 in
Phrase-structure Grammar
2 out · 1 in
Physical Stance
2 out · 1 in
Pidgin and Creole
2 out · 1 in
Pidgin Emergence
2 out · 1 in
PKI Layer Cake - Kaminsky Patterson Sassaman
16 out · 15 in
PLACA
2 out · 1 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
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
Preconditions and Postconditions
3 out · 1 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 · 3 in
Principle of Rationality
2 out · 3 in
Principled Design Of The Modern Web Architecture
16 out · 16 in
Prioritised Circumscription
2 out · 1 in
Privilege-Escalation Distance
1 out · 1 in
Proactive Aggregation
3 out · 1 in
Problem-Solving Coherence
1 out · 1 in
Program as Logical Sentence
4 out · 1 in
Program Semantics
3 out · 1 in
Program Verification
5 out · 6 in
Programming Erlang Second Edition
19 out · 20 in
Programs with Common Sense
30 out · 14 in
Projection Relations
2 out · 1 in
Prolog
3 out · 2 in
Promise Pipelining
3 out · 4 in
Prompt Injection
3 out · 19 in
Pronomes
2 out · 2 in
Proof Obligations
2 out · 1 in
Proof Trust
3 out · 3 in
Properties
2 out · 1 in
Propositional Attitudes
3 out · 2 in
Protocol Design
3 out · 1 in
Protocol Documents
1 out · 11 in
Protocol Layering Attacks
4 out · 1 in
Protocol Verification
3 out · 1 in
Proxy Payoff Evaluators
2 out · 1 in
Public Semantics
4 out · 9 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
Racket Macros
3 out · 3 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 · 4 in
Rational Balance
2 out · 1 in
Rational Effect
3 out · 1 in
Rational Offer Groups
1 out · 1 in
Rationality Assumption
2 out · 1 in
RDF
3 out · 1 in
Reactive vs Deliberative Agents
4 out · 3 in
README
7 out · 2 in
Recognizer
2 out · 1 in
Recursion Induction
1 out · 1 in
Recursive Function
2 out · 1 in
Recursive Functions of Symbolic Expressions and Their Computation by Machine
40 out · 14 in
Red-Teaming LLM Agents
2 out · 2 in
Redundancy
2 out · 2 in
Reentrancy
3 out · 2 in
Referential Games
2 out · 3 in
Refinement
2 out · 1 in
ReGreT
3 out · 2 in
Regulative Rules
2 out · 1 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
6 out · 8 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
Retrieval-Augmented Generation
3 out · 5 in
Retrieval-based Dialogue
1 out · 1 in
Return-Oriented Programming
2 out · 1 in
Review on Computational Trust and Reputation Models
18 out · 17 in
Rex Language
1 out · 1 in
Ripple Effect Protocol
17 out · 14 in
Role-specialised Agents
3 out · 1 in
Roles
3 out · 10 in
Rubinstein Bargaining
2 out · 3 in
Rule of Conjecture
2 out · 1 in
Runtime Verification
3 out · 2 in
S-expression
4 out · 1 in
S-expressions
3 out · 2 in
Safe Tcl
3 out · 3 in
Safestack
2 out · 1 in
Sandboxing
4 out · 11 in
Scale-Free Cognition
2 out · 1 in
Scaled Dot-Product Attention
2 out · 2 in
Scaling
2 out · 1 in
Scheme 48
1 out · 1 in
SDF
3 out · 1 in
Search and Learning
1 out · 1 in
Secure Agent Control Protocol
2 out · 1 in
Secure Communications Processing for Distributed Languages
17 out · 13 in
Secure Operations Language
1 out · 3 in
Security Applications Of Formal Language Theory
22 out · 5 in
Security Kernel Lambda Calculus
13 out · 16 in
Self-Adaptation
3 out · 1 in
Self-Adaptation Self-Expression Self-Awareness ASCENS
18 out · 13 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 · 2 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 · 1 in
Semantic Description For Agent Design Patterns
16 out · 9 in
Semantic Gap
2 out · 1 in
Semantic Information Processing
2 out · 1 in
Semantic Misalignment
3 out · 1 in
Semantic Web
3 out · 6 in
Semantics and Conversations for an ACL
18 out · 4 in
Semiotic Cycle
2 out · 1 in
Sense and Denotation
2 out · 2 in
Sensitivity Sharing
3 out · 1 in
Server-Side Extensions
2 out · 1 in
Seven Turrets Of Babel
13 out · 11 in
Shannon Entropy
3 out · 1 in
Shannon Information
2 out · 4 in
Shotgun Parsing
3 out · 7 in
Simple Promise
3 out · 1 in
Simple View
1 out · 1 in
Sincerity Condition
3 out · 3 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 · 1 in
Skill Supply Chain Attack
2 out · 3 in
SKTP
2 out · 1 in
SLD Resolution
2 out · 2 in
Smart Contracts
2 out · 11 in
Social Agency
3 out · 3 in
Social Chatbots
3 out · 4 in
Social Coherence Failures
1 out · 1 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
SoK The Attack Surface of Agentic AI
25 out · 14 in
Solidity
3 out · 2 in
Some Philosophical Problems from the Standpoint of Artificial Intelligence
41 out · 20 in
Sorted Logic
1 out · 1 in
Speaker Consistency
3 out · 1 in
Speaker Meaning
2 out · 1 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
8 out · 66 in
Speech Acts
4 out · 10 in
Speech Acts - An Essay in the Philosophy of Language
28 out · 3 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 · 1 in
Stigmergy
2 out · 4 in
Stochastic CALM
3 out · 2 in
Stored-Procedure Coordination
2 out · 1 in
Stratego
2 out · 1 in
Strong Agency
3 out · 13 in
Strong Realism
2 out · 1 in
Strongest Verifiable Consequent
3 out · 1 in
Structural Definitions
1 out · 1 in
Structural Induction
2 out · 1 in
Studies in the Way of Words
13 out · 1 in
Subsumption Architecture
2 out · 3 in
Superpeer Overlay
2 out · 2 in
Supervision Tree
3 out · 6 in
Survey Of Agent Interoperability Protocols
21 out · 34 in
Survey Of AI Agent Protocols
22 out · 19 in
Sybil Resistance
2 out · 2 in
Symbol Grounding Problem
3 out · 8 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
Synchronous Language
1 out · 1 in
Syntactic Abstraction
3 out · 2 in
System Homomorphism
2 out · 2 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 Transfer Pattern
2 out · 1 in
Termination Proof
3 out · 2 in
The Bitter Lesson
19 out · 8 in
The BOID Architecture
16 out · 6 in
The Extensible Language - Graham
16 out · 25 in
The Halting Problems of Network Stack Insecurity
17 out · 16 in
The Heart of Spritely - Distributed Objects and Capability Security
54 out · 13 in
The Knowledge Level
17 out · 17 in
The Rise and Potential of LLM-Based Agents
14 out · 3 in
The Society of Mind
57 out · 27 in
The Spoofax Language Workbench
16 out · 16 in
The State of the Art in Agent Communication Languages
27 out · 15 in
The Synthesis of Digital Machines with Provable Epistemic Properties
16 out · 8 in
TheDAO
3 out · 1 in
Theory of Agency
3 out · 1 in
Theory of Self-Reproducing Automata
19 out · 16 in
Three Models for the Description of Language
17 out · 17 in
Time Clocks and the Ordering of Events in a Distributed System
7 out · 5 in
Time-Travel Debugging
2 out · 2 in
Tombstones
6 out · 6 in
Tool Use
4 out · 23 in
Toolformer
16 out · 5 in
TOTE Loop
2 out · 1 in
Toward Automated Evolution of ACLs
22 out · 17 in
Toward Principles for the Design of Ontologies Used for Knowledge Sharing
25 out · 5 in
Towards a Mathematical Science of Computation
15 out · 20 in
Towards Automating the Evolution of Linguistic Competence
18 out · 17 in
Trace Expressions
2 out · 2 in
Trans-Frames
2 out · 3 in
Transaction-Ordering Dependence
2 out · 1 in
Transformational Grammar
3 out · 2 in
Transformer
3 out · 4 in
Translation Approach
2 out · 1 in
Trends in Agent Communication Language
23 out · 16 in
Trojan Tools
3 out · 1 in
True Believer
2 out · 1 in
True Believers - The Intentional Strategy and Why It Works
19 out · 5 in
Trust
3 out · 3 in
Trust and Reputation
7 out · 25 in
Trust Fusion
3 out · 3 in
Trustless by Default
2 out · 1 in
Tuple Spaces
2 out · 3 in
Turing Test
2 out · 1 in
Turn (Goblins)
2 out · 4 in
Two Faces of Intention
20 out · 12 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 · 1 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 · 4 in
Verifiable Semantics
3 out · 16 in
Verifiable Semantics for ACLs
23 out · 23 in
Verification Condition
3 out · 6 in
Verified Synthesis
3 out · 1 in
Verus
2 out · 2 in
Vibe Coding
2 out · 2 in
Vocabulary Size Penalty
3 out · 1 in
Weak Agency
2 out · 10 in
Weighted Relation
1 out · 1 in
Weird Machine
2 out · 8 in
What is it to Understand a Directive Speech Act
17 out · 1 in
What Is Said
2 out · 1 in
Whitewashing
2 out · 1 in
Why AI Agents Communicate In Human Language
16 out · 12 in
Why Do Multi-Agent LLM Systems Fail
20 out · 23 in
Witness Reputation
3 out · 2 in
X.509 PKI
4 out · 1 in
XiaoIce
3 out · 3 in
Zero-Knowledge Proofs
2 out · 2 in