Expand ↗

Graph view requires JavaScript. Every page is listed below, and is reachable from the vault index.

Page list (1404)

A Calculus of Communicating Systems papers/foundations/a-calculus-of-communicating-systems
A Calculus of Mobile Processes papers/foundations/a-calculus-of-mobile-processes
A Commitment-Based Approach to Agent Communication papers/acl/a-commitment-based-approach-to-agent-communication
A Common Ontology Of ACLs papers/acl/a-common-ontology-of-acls
A Composite Self-organisation Mechanism in an Agent Network papers/trust-rep/a-composite-self-organisation-mechanism-in-an-agent-network
A Comprehensive Study of Convergent and Commutative Replicated Data Types papers/distributed/a-comprehensive-study-of-convergent-and-commutative-replicated-data-types
A Core Model for Choreographic Programming papers/multi-agent/a-core-model-for-choreographic-programming
A Framework for Representing Knowledge papers/foundations/a-framework-for-representing-knowledge
A Language-Based Approach To Prevent DDoS papers/security/a-language-based-approach-to-prevent-ddos
A Logic of Authentication papers/security/a-logic-of-authentication
A Mathematical Theory of Communication papers/foundations/a-mathematical-theory-of-communication
A Modular Approach to Metatheoretic Reasoning for Extensible Languages papers/extensibility/a-modular-approach-to-metatheoretic-reasoning-for-extensible-languages
A Proof Method for Cyclic Programs papers/foundations/a-proof-method-for-cyclic-programs
A Robust Layered Control System papers/foundations/a-robust-layered-control-system
A Scalable Communication Protocol for Networks of LLMs papers/llm-agents/a-scalable-communication-protocol-for-networks-of-llms
A Taxonomy of Illocutionary Acts papers/foundations/a-taxonomy-of-illocutionary-acts
A Universal Modular Actor Formalism for Artificial Intelligence papers/foundations/a-universal-modular-actor-formalism-for-artificial-intelligence
A Value for n-Person Games papers/foundations/a-value-for-n-person-games
A-ILTL concepts/a-iltl
Abductive Planning concepts/abductive-planning
ABLP Logic concepts/ablp-logic
Abnormality Predicate concepts/abnormality-predicate
Abstract Agent Interfaces concepts/abstract-agent-interfaces
Abstract Performative concepts/abstract-performative
Abstract Syntax concepts/abstract-syntax
Access Control Rules concepts/access-control-rules
Accommodation concepts/accommodation
ACL Design Principles concepts/acl-design-principles
ACL Evolution concepts/acl-evolution
ACL Layering concepts/acl-layering
ACL Rethinking Principles papers/acl/acl-rethinking-principles
ACL Verifiability concepts/acl-verifiability
ACRE Agent Conversation Reasoning Engine papers/acl/acre-agent-conversation-reasoning-engine
Action Formalism concepts/action-formalism
Active Inference and Epistemic Value papers/foundations/active-inference-and-epistemic-value
ActivFORMS - Active Formal Models for Self-Adaptation papers/self-adaptive/activforms---active-formal-models-for-self-adaptation
Actor Model concepts/actor-model
Actual Cause concepts/actual-cause
Acyclic Directed Mixed Graph concepts/acyclic-directed-mixed-graph
Adaptation Dimensions concepts/adaptation-dimensions
Adaptive Protocols concepts/adaptive-protocols
Adjectival Modifiers concepts/adjectival-modifiers
Admissible Set concepts/admissible-set
Advice Taker concepts/advice-taker
Agencies concepts/agencies
Agent Architecture concepts/agent-architecture
Agent Cards concepts/agent-cards
Agent Communication And Institutional Reality papers/acl/agent-communication-and-institutional-reality
Agent Communication Framework concepts/agent-communication-framework
Agent Communication Languages concepts/agent-communication-languages
Agent Communication Languages - Rethinking the Principles papers/acl/agent-communication-languages---rethinking-the-principles
Agent Communication Trilemma concepts/agent-communication-trilemma
Agent Coordination Overhead concepts/agent-coordination-overhead
Agent Discovery concepts/agent-discovery
Agent Hub concepts/agent-hub
Agent Infrastructure concepts/agent-infrastructure
Agent Libel concepts/agent-libel
Agent Network Protocol concepts/agent-network-protocol
Agent Payments Protocol concepts/agent-payments-protocol
Agent Security concepts/agent-security
Agent Self-Monitoring concepts/agent-self-monitoring
Agent Tcl Flexible Secure Mobile Agents papers/security/agent-tcl-flexible-secure-mobile-agents
Agent Theory-Architecture-Language Triad concepts/agent-theory-architecture-language-triad
Agent Types concepts/agent-types
Agent Worm concepts/agent-worm
AGENT-0 concepts/agent-0
Agent-Oriented Programming papers/multi-agent/agent-oriented-programming
Agent-to-Agent Protocol concepts/agent-to-agent-protocol
agent_jump concepts/agent_jump
AgentCards concepts/agentcards
AgentDojo papers/llm-agents/agentdojo
Agentic TCB concepts/agentic-tcb
Agentification concepts/agentification
Agents (Minsky) concepts/agents-(minsky)
Agents and Artifacts concepts/agents-and-artifacts
Agents Framework - Zhou et al papers/llm-agents/agents-framework---zhou-et-al
Agents of Chaos papers/llm-agents/agents-of-chaos
Agents Secure Interaction in Data Driven Languages papers/security/agents-secure-interaction-in-data-driven-languages
AgentSpeak concepts/agentspeak
AgentSpeak papers/multi-agent/agentspeak
Aggregate Functions concepts/aggregate-functions
AI Agents Under Threat papers/llm-agents/ai-agents-under-threat
AI Governance concepts/ai-governance
AI Safety concepts/ai-safety
Algebra of Communicating Processes concepts/algebra-of-communicating-processes
Algebraic Effects concepts/algebraic-effects
Algorithm = Logic + Control papers/foundations/algorithm-=-logic-+-control
Algorithmic Collusion concepts/algorithmic-collusion
Algorithmic Information Theory - Grunwald Vitanyi papers/foundations/algorithmic-information-theory---grunwald-vitanyi
ALIGN concepts/align
Ambient Authority concepts/ambient-authority
Ambient Calculus concepts/ambient-calculus
An Application of a Method for Analysis of Cyclic Programs papers/foundations/an-application-of-a-method-for-analysis-of-cyclic-programs
An Architecture-Based Approach to Self-Adaptive Software papers/self-adaptive/an-architecture-based-approach-to-self-adaptive-software
An Axiomatic Basis for Computer Programming concepts/an-axiomatic-basis-for-computer-programming
An Axiomatic Basis for Computer Programming - Hoare papers/foundations/an-axiomatic-basis-for-computer-programming---hoare
An Interaction-oriented Agent Framework for Open Environments papers/multi-agent/an-interaction-oriented-agent-framework-for-open-environments
An Ontology for Commitments in Multiagent Systems - Singh papers/acl/an-ontology-for-commitments-in-multiagent-systems---singh
An Unsolvable Problem of Elementary Number Theory papers/foundations/an-unsolvable-problem-of-elementary-number-theory
Analytic-Synthetic Distinction concepts/analytic-synthetic-distinction
Approximate Theory concepts/approximate-theory
Architectural Pattern concepts/architectural-pattern
Architectural Patterns for Dependable Software Systems - SOL papers/security/architectural-patterns-for-dependable-software-systems---sol
Architectural Styles concepts/architectural-styles
ARCOL concepts/arcol
Are Multiagent Systems Resilient to Communication Failures papers/multi-agent/are-multiagent-systems-resilient-to-communication-failures
Argumentation Framework concepts/argumentation-framework
Arrow Information Paradox concepts/arrow-information-paradox
Articulating Reasons - Brandom papers/foundations/articulating-reasons---brandom
ASCENS concepts/ascens
Ascribing Mental Qualities to Machines papers/foundations/ascribing-mental-qualities-to-machines
Ask-Tell concepts/ask-tell
Assertion - Stalnaker papers/foundations/assertion---stalnaker
Assigning Meanings to Programs papers/foundations/assigning-meanings-to-programs
Attack Papers concepts/attack-papers
Attack Relation concepts/attack-relation
Attack Surface Taxonomy concepts/attack-surface-taxonomy
Attention Is All You Need papers/llm-agents/attention-is-all-you-need
Attention is Turing-Complete papers/foundations/attention-is-turing-complete
Attribute Grammars concepts/attribute-grammars
Audit Trail concepts/audit-trail
Augmented Language Models - A Survey papers/llm-agents/augmented-language-models---a-survey
Authentication in Distributed Systems - Lampson Abadi Burrows Wobber papers/security/authentication-in-distributed-systems---lampson-abadi-burrows-wobber
Authentication Protocol concepts/authentication-protocol
AutoGen - Multi-Agent Conversation Framework papers/llm-agents/autogen---multi-agent-conversation-framework
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees papers/self-adaptive/automated-design-of-self-adaptive-software-with-control-theoretical-formal-guarantees
Autonomic Computing concepts/autonomic-computing
Autonomic Service Component Ensembles concepts/autonomic-service-component-ensembles
Average Treatment Effect concepts/average-treatment-effect
Axiom of Choice concepts/axiom-of-choice
Axiomatic Semantics concepts/axiomatic-semantics
B-brains concepts/b-brains
Backdoor Attacks concepts/backdoor-attacks
Backdoor Criterion concepts/backdoor-criterion
BAN Logic concepts/ban-logic
BDI concepts/bdi
BDI Agents concepts/bdi-agents
BDI Architecture concepts/bdi-architecture
BDI Logic concepts/bdi-logic
Behaviour-Based Robotics concepts/behaviour-based-robotics
Belief concepts/belief
Belief Revision concepts/belief-revision
Belief-Desire-Intention concepts/belief-desire-intention
Benevolent Agent Assumption concepts/benevolent-agent-assumption
Best-Response Dynamics concepts/best-response-dynamics
Beyond Self-Talk - Communication-Centric Survey Of LLM Multi-Agent Systems papers/llm-agents/beyond-self-talk---communication-centric-survey-of-llm-multi-agent-systems
Binding Deal concepts/binding-deal
Biomass concepts/biomass
Bisimulation concepts/bisimulation
Bit Syntax concepts/bit-syntax
Bitter Lesson concepts/bitter-lesson
Blockchain Interoperability concepts/blockchain-interoperability
Bloom Language concepts/bloom-language
Bottom-up Programming concepts/bottom-up-programming
Boundary concepts/boundary
Bounded Rationality concepts/bounded-rationality
Branching Time concepts/branching-time
Brewers Conjecture and the Feasibility of Consistent Available Partition-Tolerant Web Services papers/distributed/brewers-conjecture-and-the-feasibility-of-consistent-available-partition-tolerant-web-services
Brief Trust concepts/brief-trust
Byzantine Agreement concepts/byzantine-agreement
Byzantine Fault Tolerance concepts/byzantine-fault-tolerance
c-Component concepts/c-component
CALM Theorem concepts/calm-theorem
Camber concepts/camber
CaMeL concepts/camel
CAMEL Communicative Agents for Mind Exploration of LLM Society papers/llm-agents/camel-communicative-agents-for-mind-exploration-of-llm-society
Can Programming Be Liberated from the von Neumann Style papers/foundations/can-programming-be-liberated-from-the-von-neumann-style
Can You Keep a Secret - A New Protocol for Sender-Side Enforcement of Causal Message Delivery papers/distributed/can-you-keep-a-secret---a-new-protocol-for-sender-side-enforcement-of-causal-message-delivery
Canonical Serialization concepts/canonical-serialization
Cantor's Theorem concepts/cantor's-theorem
CAP Theorem concepts/cap-theorem
Capabilities concepts/capabilities
Capabilities (Ambient) concepts/capabilities-(ambient)
Capability Bounding concepts/capability-bounding
Capability Certificate concepts/capability-certificate
Capability Myths Demolished papers/ocap/capability-myths-demolished
Capability Revocation concepts/capability-revocation
Capability Security concepts/capability-security
Capability-based Financial Instruments papers/ocap/capability-based-financial-instruments
Capn Proto papers/ocap/capn-proto
Capn Proto RPC concepts/capn-proto-rpc
Capsules concepts/capsules
CapTP concepts/captp
Cardinality concepts/cardinality
CArtAgO concepts/cartago
Catastrophic Failure Recovery concepts/catastrophic-failure-recovery
Causal Broadcast concepts/causal-broadcast
Causal DAG concepts/causal-dag
Causal Diagrams for Empirical Research - Pearl papers/foundations/causal-diagrams-for-empirical-research---pearl
Causal Inference concepts/causal-inference
Causal Influence of Communication concepts/causal-influence-of-communication
Causal Threat Graph concepts/causal-threat-graph
Causality - Pearl papers/foundations/causality---pearl
CBCL - Safe Self-Extending Agent Communication papers/acl/cbcl---safe-self-extending-agent-communication
CCI Model concepts/cci-model
CCS concepts/ccs
Certificate Authorities concepts/certificate-authorities
Chain-of-Thought Prompting papers/llm-agents/chain-of-thought-prompting
Chained Consensus concepts/chained-consensus
Channel Capacity concepts/channel-capacity
Channel-based Coordination concepts/channel-based-coordination
Cheap Talk concepts/cheap-talk
Chinese Room Argument concepts/chinese-room-argument
Chomsky Hierarchy concepts/chomsky-hierarchy
Choral - Object-Oriented Choreographic Programming papers/multi-agent/choral---object-oriented-choreographic-programming
Chord concepts/chord
Chord papers/gossip-p2p/chord
Choreographic Programming concepts/choreographic-programming
Choreography Amendment concepts/choreography-amendment
ChoRus - Library-Level Choreographic Programming in Rust papers/multi-agent/chorus---library-level-choreographic-programming-in-rust
Cicero Human-Level Play in Diplomacy papers/llm-agents/cicero-human-level-play-in-diplomacy
Circumscription concepts/circumscription
Circumscription - A Form of Nonmonotonic Reasoning papers/foundations/circumscription---a-form-of-nonmonotonic-reasoning
Circumscription - Applications to Formalizing Common Sense Knowledge papers/foundations/circumscription---applications-to-formalizing-common-sense-knowledge
Claim Trust concepts/claim-trust
Clarity concepts/clarity
Classes of Recursively Enumerable Sets and Their Decision Problems papers/foundations/classes-of-recursively-enumerable-sets-and-their-decision-problems
ClawWorm Self-Propagating Attacks Across LLM Agent Ecosystems papers/llm-agents/clawworm-self-propagating-attacks-across-llm-agent-ecosystems
Closed World Assumption concepts/closed-world-assumption
Cloud-Edge-Device Hierarchy concepts/cloud-edge-device-hierarchy
Code as Data concepts/code-as-data
Code Contracts concepts/code-contracts
Code is Law concepts/code-is-law
Cognitive Light Cone concepts/cognitive-light-cone
Cognitive Trust concepts/cognitive-trust
Cohen and Levesque concepts/cohen-and-levesque
Cohen's Kappa concepts/cohen's-kappa
Coherence concepts/coherence
Collaborative Plan concepts/collaborative-plan
Colored Petri Nets concepts/colored-petri-nets
Coloured Petri Nets concepts/coloured-petri-nets
Commissives concepts/commissives
Commitment concepts/commitment
Commitment (Brandom) concepts/commitment-(brandom)
Commitment in Dialogue papers/foundations/commitment-in-dialogue
Commitment Machines concepts/commitment-machines
Commitment Machines - Yolum and Singh papers/acl/commitment-machines---yolum-and-singh
Commitment Operations concepts/commitment-operations
Commitment Store concepts/commitment-store
Commitment Strategies concepts/commitment-strategies
Commitment-Based Protocol concepts/commitment-based-protocol
Commitment-based Semantics concepts/commitment-based-semantics
Commitments concepts/commitments
Common Business Communication Language papers/acl/common-business-communication-language
Common Ground concepts/common-ground
Common Knowledge concepts/common-knowledge
Common Knowledge (Convention) concepts/common-knowledge-(convention)
Common Sense Database concepts/common-sense-database
Common Sense Reasoning concepts/common-sense-reasoning
Common Weakness Enumeration concepts/common-weakness-enumeration
Communicating Sequential Processes papers/foundations/communicating-sequential-processes
Communication Failures concepts/communication-failures
Communication Structure concepts/communication-structure
Communications Processing concepts/communications-processing
Communicative Actions for Artificial Agents - Cohen Levesque papers/acl/communicative-actions-for-artificial-agents---cohen-levesque
Communicative Acts concepts/communicative-acts
Competence vs Performance concepts/competence-vs-performance
Compiler Correctness concepts/compiler-correctness
Complication Threshold concepts/complication-threshold
Compositional Dependability concepts/compositional-dependability
Compositionality concepts/compositionality
Compound Principal concepts/compound-principal
Computability concepts/computability
Computational Boundary of a Self papers/trust-rep/computational-boundary-of-a-self
Computational Surface concepts/computational-surface
Computational Trust concepts/computational-trust
Computing Machinery and Intelligence papers/foundations/computing-machinery-and-intelligence
concept-map
Concepts as Individuals concepts/concepts-as-individuals
Conceptualization concepts/conceptualization
Concurrency concepts/concurrency
Concurrency Control in Groupware Systems papers/distributed/concurrency-control-in-groupware-systems
Concurrent Constraint Programming concepts/concurrent-constraint-programming
Concurrent Constraint Programming papers/foundations/concurrent-constraint-programming
Concurrent Logic Programming concepts/concurrent-logic-programming
Concurrent METATEM concepts/concurrent-metatem
Conditional Commitment concepts/conditional-commitment
Conditional Expression concepts/conditional-expression
Conditional Expressions concepts/conditional-expressions
Configuration Integrity concepts/configuration-integrity
Confirmation Holism concepts/confirmation-holism
Confluence concepts/confluence
Confused Deputy concepts/confused-deputy
Connector (Reo) concepts/connector-(reo)
Consistency and Completeness concepts/consistency-and-completeness
Consistent Hashing concepts/consistent-hashing
Constitutive Rules concepts/constitutive-rules
Constraint Automata concepts/constraint-automata
Constraint Logic Programming concepts/constraint-logic-programming
Constraint Store concepts/constraint-store
Constraint Trust concepts/constraint-trust
Constructible Universe concepts/constructible-universe
Content Language concepts/content-language
Content Languages concepts/content-languages
Content-addressed Storage concepts/content-addressed-storage
Context Independence concepts/context-independence
Context Set concepts/context-set
Context-Free Grammars concepts/context-free-grammars
Contextual Integrity concepts/contextual-integrity
Continuum Hypothesis concepts/continuum-hypothesis
Contract Net Protocol concepts/contract-net-protocol
Control Theory concepts/control-theory
Control-Flow Graph concepts/control-flow-graph
Convention (Lewis) concepts/convention-(lewis)
Convention - Lewis papers/foundations/convention---lewis
Convention of Truthfulness concepts/convention-of-truthfulness
Conventional Implicature concepts/conventional-implicature
Convergence Factor concepts/convergence-factor
Convergent Gossip concepts/convergent-gossip
Conversation Composition concepts/conversation-composition
Conversation Policies concepts/conversation-policies
Conversation Policy concepts/conversation-policy
Conversation Protocols concepts/conversation-protocols
Conversation Specialization concepts/conversation-specialization
Conversation-turns Per Session (CPS) concepts/conversation-turns-per-session-(cps)
Conversational AI concepts/conversational-ai
Conversational Commitment concepts/conversational-commitment
Conversational Implicature concepts/conversational-implicature
Conversations concepts/conversations
Conway's Law concepts/conway's-law
Cooperative Principle concepts/cooperative-principle
CoopEval - Benchmarking Cooperation-Sustaining Mechanisms and LLM Agents in Social Dilemmas papers/llm-agents/coopeval---benchmarking-cooperation-sustaining-mechanisms-and-llm-agents-in-social-dilemmas
Coordinating Agents Using ACL Conversations papers/acl/coordinating-agents-using-acl-conversations
Coordination concepts/coordination
Coordination Avoidance concepts/coordination-avoidance
Coordination Game concepts/coordination-game
Coordination Graphs concepts/coordination-graphs
Coordination Kernel concepts/coordination-kernel
Coordination Language concepts/coordination-language
Coordination Recipes concepts/coordination-recipes
Coordination Variables concepts/coordination-variables
Coordination-Security Separation concepts/coordination-security-separation
Core Chat Architecture concepts/core-chat-architecture
Correctness of a Compiler for Arithmetic Expressions papers/foundations/correctness-of-a-compiler-for-arithmetic-expressions
Correlational Knowledge concepts/correlational-knowledge
Counterfactual concepts/counterfactual
Counterspeculation Auctions and Competitive Sealed Tenders papers/foundations/counterspeculation-auctions-and-competitive-sealed-tenders
Counts-As Relation concepts/counts-as-relation
Counts-as Rules concepts/counts-as-rules
CRDTs concepts/crdts
Creating Languages in Racket papers/extensibility/creating-languages-in-racket
Credulous Reasoning concepts/credulous-reasoning
Cross-Agent Corruption concepts/cross-agent-corruption
Cross-chain Smart Contracts concepts/cross-chain-smart-contracts
Crypto Protocol Verification concepts/crypto-protocol-verification
Cryptographic Wrapper concepts/cryptographic-wrapper
Cumulative Hierarchy concepts/cumulative-hierarchy
Curry-Howard Correspondence concepts/curry-howard-correspondence
d-Separation concepts/d-separation
Dafny concepts/dafny
DAgents Security Book Chapter papers/security/dagents-security-book-chapter
Data Exchange concepts/data-exchange
Data Processing concepts/data-processing
Data Spaces concepts/data-spaces
Data-Driven Coordination concepts/data-driven-coordination
DDoS concepts/ddos
Deadlock-freedom-by-design - Multiparty Asynchronous Global Programming papers/multi-agent/deadlock-freedom-by-design---multiparty-asynchronous-global-programming
Deals Among Rational Agents papers/multi-agent/deals-among-rational-agents
Decentralized Identifier concepts/decentralized-identifier
Decentralized Identifiers concepts/decentralized-identifiers
Decentralized Identifiers papers/ocap/decentralized-identifiers
Deciding Choreography Realizability papers/multi-agent/deciding-choreography-realizability
Decision-Theoretic ACL concepts/decision-theoretic-acl
Declarations concepts/declarations
Declarative Knowledge concepts/declarative-knowledge
Declarative Specification concepts/declarative-specification
Declaratives concepts/declaratives
Dedalus concepts/dedalus
Default Logic concepts/default-logic
Default Reasoning concepts/default-reasoning
Defeating Prompt Injections by Design papers/llm-agents/defeating-prompt-injections-by-design
Defence (Argumentation) concepts/defence-(argumentation)
Defence in Depth concepts/defence-in-depth
Delegatecall concepts/delegatecall
Delegated Authority concepts/delegated-authority
Delegation concepts/delegation
Deliberation Dialogue concepts/deliberation-dialogue
Denotational Reasoning for Asynchronous Multiparty Session Types papers/multi-agent/denotational-reasoning-for-asynchronous-multiparty-session-types
Denotational Semantics concepts/denotational-semantics
Deontic Logic concepts/deontic-logic
Deontic Scorekeeping concepts/deontic-scorekeeping
Description Logics concepts/description-logics
Design Autonomy concepts/design-autonomy
Design Organization concepts/design-organization
Design Patterns concepts/design-patterns
Design Stance concepts/design-stance
Determinism concepts/determinism
Deterministic Context-Free Language concepts/deterministic-context-free-language
Developmental Bioelectricity concepts/developmental-bioelectricity
Dezert-Smarandache Theory concepts/dezert-smarandache-theory
Diagonalization concepts/diagonalization
Dialect vs Idiolect concepts/dialect-vs-idiolect
Dialects and Idiolects concepts/dialects-and-idiolects
Dialogue Sessions concepts/dialogue-sessions
Dialogue Typology concepts/dialogue-typology
DID Document concepts/did-document
DID Method concepts/did-method
DIDComm concepts/didcomm
Difference-Engines concepts/difference-engines
Differentiable Protocols concepts/differentiable-protocols
Diffusion Speed concepts/diffusion-speed
Digital-Analog Hybrid concepts/digital-analog-hybrid
Direct Experience concepts/direct-experience
Direction of Fit concepts/direction-of-fit
Directives concepts/directives
Dirichlet Process concepts/dirichlet-process
Disclosure Decisions concepts/disclosure-decisions
Discovering Agents papers/foundations/discovering-agents
Discursive Practice concepts/discursive-practice
Distributed Consensus concepts/distributed-consensus
Distributed Defeasible Speculative Reasoning in Ambient Environment papers/distributed/distributed-defeasible-speculative-reasoning-in-ambient-environment
Distributed Electronic Rights in JavaScript papers/ocap/distributed-electronic-rights-in-javascript
Distributed Hash Table concepts/distributed-hash-table
Distributed Knowledge concepts/distributed-knowledge
Distributed Optimization concepts/distributed-optimization
Distributed Security concepts/distributed-security
Distributed Snapshots Determining Global States of Distributed Systems papers/distributed/distributed-snapshots-determining-global-states-of-distributed-systems
Distributed Tuple Spaces concepts/distributed-tuple-spaces
Distributional Hypothesis concepts/distributional-hypothesis
Distributional Semantics concepts/distributional-semantics
Distributional Structure papers/foundations/distributional-structure
Division of Labour concepts/division-of-labour
DNN Splitting concepts/dnn-splitting
Do LLM Agents Have Regret papers/llm-agents/do-llm-agents-have-regret
do-Calculus concepts/do-calculus
Dolev-Yao Model concepts/dolev-yao-model
Domain-Specific Languages concepts/domain-specific-languages
Dooley Graphs concepts/dooley-graphs
DSL concepts/dsl
DSLs concepts/dsls
Dual-Anchor Persistence concepts/dual-anchor-persistence
Dynamic Scheduling concepts/dynamic-scheduling
Dynamic Semantics concepts/dynamic-semantics
E Language concepts/e-language
Edge Intelligence concepts/edge-intelligence
Edge Intelligence Survey papers/edge-blockchain/edge-intelligence-survey
Edgeworth Cycle concepts/edgeworth-cycle
EDI concepts/edi
Edit Automaton concepts/edit-automaton
Editor Service Descriptor concepts/editor-service-descriptor
Effectful concepts/effectful
Elaboration Tolerance concepts/elaboration-tolerance
Elephant 2000 - A Programming Language Based on Speech Acts papers/foundations/elephant-2000---a-programming-language-based-on-speech-acts
Eliza concepts/eliza
Embedded Agent concepts/embedded-agent
Embedded Languages concepts/embedded-languages
Embodiment concepts/embodiment
Emergence of Grounded Compositional Language in Multi-Agent Populations papers/emergent-lang/emergence-of-grounded-compositional-language-in-multi-agent-populations
Emergent Communication concepts/emergent-communication
Emergent Protocols concepts/emergent-protocols
Emergent Semantics concepts/emergent-semantics
Emergent Semantics Principles and Issues papers/ontology/emergent-semantics-principles-and-issues
Emotional Quotient concepts/emotional-quotient
Empathetic Response Generation concepts/empathetic-response-generation
Empiricism and the Philosophy of Mind - Sellars papers/foundations/empiricism-and-the-philosophy-of-mind---sellars
Empowerment concepts/empowerment
Encoder-Decoder Attention concepts/encoder-decoder-attention
Encoding Bias concepts/encoding-bias
Encrypted Computation concepts/encrypted-computation
End-to-End Arguments in System Design papers/distributed/end-to-end-arguments-in-system-design
Endpoint Projection concepts/endpoint-projection
Enforceable Security Policies - Schneider papers/security/enforceable-security-policies---schneider
Engineering Self-Adaptive Systems through Feedback Loops papers/self-adaptive/engineering-self-adaptive-systems-through-feedback-loops
Ensuring Trustworthy and Ethical Behaviour in Intelligent Logical Agents papers/multi-agent/ensuring-trustworthy-and-ethical-behaviour-in-intelligent-logical-agents
Entitlement (Brandom) concepts/entitlement-(brandom)
Epidemic Dissemination concepts/epidemic-dissemination
Epidemiological Projection R0 concepts/epidemiological-projection-r0
Epistemia concepts/epistemia
Epistemic Logic concepts/epistemic-logic
Epistemic S5 concepts/epistemic-s5
Epistemological Adequacy concepts/epistemological-adequacy
Epistemological Fault Lines Between Human and Artificial Intelligence papers/foundations/epistemological-fault-lines-between-human-and-artificial-intelligence
Epistemological Problems of Artificial Intelligence papers/foundations/epistemological-problems-of-artificial-intelligence
ERC-8004 concepts/erc-8004
Eristic Dialogue concepts/eristic-dialogue
Erlang Process concepts/erlang-process
EROS - A Fast Capability System papers/ocap/eros---a-fast-capability-system
Error Halting concepts/error-halting
Ethereum concepts/ethereum
Ethereum Classic concepts/ethereum-classic
Ethical Governor concepts/ethical-governor
ETS-DETS concepts/ets-dets
eval apply concepts/eval-apply
Event Calculus concepts/event-calculus
Event-B concepts/event-b
Eventual Consistency concepts/eventual-consistency
EVM concepts/evm
Exception Principle concepts/exception-principle
Execution Autonomy concepts/execution-autonomy
Execution Monitor concepts/execution-monitor
Expected Utility Communication concepts/expected-utility-communication
Explainable AI concepts/explainable-ai
Explicit Command Stack concepts/explicit-command-stack
Exploit Programming concepts/exploit-programming
Exploit Programming - From Buffer Overflows To Weird Machines papers/security/exploit-programming---from-buffer-overflows-to-weird-machines
Exponential Modalities concepts/exponential-modalities
Expressive Role of Logic concepts/expressive-role-of-logic
Expressives concepts/expressives
Extendibility concepts/extendibility
Extensibility in Programming Language Design - Standish papers/extensibility/extensibility-in-programming-language-design---standish
Extensible Distributed Coordination papers/security/extensible-distributed-coordination
Extensible Languages Movement concepts/extensible-languages-movement
Extensionality concepts/extensionality
Extensions of Some Theorems of Gödel and Church papers/foundations/extensions-of-some-theorems-of-gödel-and-church
F* concepts/f*
Facilitator concepts/facilitator
Facilitator Agents concepts/facilitator-agents
Facilitators concepts/facilitators
Fallacies - Hamblin papers/foundations/fallacies---hamblin
Fallback Method concepts/fallback-method
Family Resemblance concepts/family-resemblance
Fault Tolerance concepts/fault-tolerance
Feasibility Precondition concepts/feasibility-precondition
Federated Learning concepts/federated-learning
Feedback Control of Computing Systems papers/self-adaptive/feedback-control-of-computing-systems
Feedback Loop concepts/feedback-loop
Finite-state Grammars concepts/finite-state-grammars
Finite-State Transducer concepts/finite-state-transducer
FIPA-ACL concepts/fipa-acl
FIPA-ACL Specifications papers/acl/fipa-acl-specifications
FIRE concepts/fire
First Order Theories of Individual Concepts and Propositions papers/foundations/first-order-theories-of-individual-concepts-and-propositions
First-Order Logic concepts/first-order-logic
Fixpoint Semantics concepts/fixpoint-semantics
Flat Context Trust Model concepts/flat-context-trust-model
Flat Namespace concepts/flat-namespace
Flexible Protocol Specification and Execution papers/acl/flexible-protocol-specification-and-execution
Flooding concepts/flooding
Fluent concepts/fluent
Focal Point concepts/focal-point
Fodor and Lepore Holism concepts/fodor-and-lepore-holism
Forcing concepts/forcing
Form of Life concepts/form-of-life
Formal Verification concepts/formal-verification
Formalise Blockchain Interoperability Patterns papers/edge-blockchain/formalise-blockchain-interoperability-patterns
Formula Circumscription concepts/formula-circumscription
Foundational vs Auxiliary Properties concepts/foundational-vs-auxiliary-properties
Foundations Of Illocutionary Logic papers/foundations/foundations-of-illocutionary-logic
Foundations of Logic Programming - Lloyd papers/foundations/foundations-of-logic-programming---lloyd
Four Security Problems concepts/four-security-problems
Frame Logic concepts/frame-logic
Frame Ontology concepts/frame-ontology
Frame Problem concepts/frame-problem
Frames (AI) concepts/frames-(ai)
Free-Form Protocols concepts/free-form-protocols
From Eliza to XiaoIce - Social Chatbots papers/llm-agents/from-eliza-to-xiaoice---social-chatbots
Front-door Criterion concepts/front-door-criterion
FTRL concepts/ftrl
Full Abstraction concepts/full-abstraction
Future-Directed Intention concepts/future-directed-intention
Futures concepts/futures
Game Theory concepts/game-theory
Game-Theoretic Trust concepts/game-theoretic-trust
Garbage Collection concepts/garbage-collection
Gas Mechanism concepts/gas-mechanism
General Recursive Functions of Natural Numbers papers/foundations/general-recursive-functions-of-natural-numbers
General-Purpose Methods concepts/general-purpose-methods
Generality concepts/generality
Generality in Artificial Intelligence papers/foundations/generality-in-artificial-intelligence
Generative Agents papers/llm-agents/generative-agents
Generative Communication concepts/generative-communication
Generative Communication in Linda papers/distributed/generative-communication-in-linda
Generative Grammar concepts/generative-grammar
Goal-Directedness concepts/goal-directedness
Gossip Framework concepts/gossip-framework
Gossip Protocols concepts/gossip-protocols
Gossip Training concepts/gossip-training
Gossip-based Aggregation in Large Dynamic Networks papers/gossip-p2p/gossip-based-aggregation-in-large-dynamic-networks
Gossip-Based Computation of Aggregate Information papers/gossip-p2p/gossip-based-computation-of-aggregate-information
Gossiping in Distributed Systems papers/gossip-p2p/gossiping-in-distributed-systems
Gradient Compression concepts/gradient-compression
Gricean Maxims concepts/gricean-maxims
Grounded Compositional Language concepts/grounded-compositional-language
Grounded Extension concepts/grounded-extension
Grounded Semantics concepts/grounded-semantics
Grounded Theory concepts/grounded-theory
Grounding concepts/grounding
Grounding in Human Language concepts/grounding-in-human-language
Group Rationality concepts/group-rationality
Guarded Transactions concepts/guarded-transactions
Guessing Game concepts/guessing-game
Gumbel-Softmax concepts/gumbel-softmax
Guns and Butter - Towards Formal Axioms of Input Validation papers/security/guns-and-butter---towards-formal-axioms-of-input-validation
Hallucination concepts/hallucination
Halting Problem concepts/halting-problem
Handbook On Ontologies papers/ontology/handbook-on-ontologies
Happy Performance concepts/happy-performance
HasChor - Functional Choreographic Programming papers/multi-agent/haschor---functional-choreographic-programming
Hedge (Causal Inference) concepts/hedge-(causal-inference)
hence concepts/hence
Herbrand Universe concepts/herbrand-universe
Heterogeneity Resolution concepts/heterogeneity-resolution
Heuristic Adequacy concepts/heuristic-adequacy
Hewitt's Actor Model concepts/hewitt's-actor-model
Higher-Order Pi-Calculus concepts/higher-order-pi-calculus
History-Referring Programs concepts/history-referring-programs
Hoare Logic concepts/hoare-logic
Hoare Triple concepts/hoare-triple
Hohfeldian Analysis concepts/hohfeldian-analysis
Hold-Up Problem concepts/hold-up-problem
Homoiconicity concepts/homoiconicity
Honesty Constraint concepts/honesty-constraint
Horn Clauses concepts/horn-clauses
Hot Standby concepts/hot-standby
HotStuff concepts/hotstuff
HotStuff papers/distributed/hotstuff
House on Rock - LangSec in Ethereum Classic papers/edge-blockchain/house-on-rock---langsec-in-ethereum-classic
How Do Committees Invent papers/foundations/how-do-committees-invent
How to Do Things with Words papers/foundations/how-to-do-things-with-words
Human Connectivity Barrier concepts/human-connectivity-barrier
Human-in-the-loop concepts/human-in-the-loop
Hygienic Macros concepts/hygienic-macros
Hypermedia concepts/hypermedia
Hyphal Peer concepts/hyphal-peer
ID Algorithm concepts/id-algorithm
Identical-Interest Games concepts/identical-interest-games
Identifiability concepts/identifiability
Identification of Joint Interventional Distributions - Shpitser Pearl papers/foundations/identification-of-joint-interventional-distributions---shpitser-pearl
Ignorability concepts/ignorability
Illocutionary Force concepts/illocutionary-force
Illocutionary Point concepts/illocutionary-point
Illocutionary Specification concepts/illocutionary-specification
Immutable Data Structures concepts/immutable-data-structures
Impossibility of Distributed Consensus with One Faulty Process papers/distributed/impossibility-of-distributed-consensus-with-one-faulty-process
In Search of an Understandable Consensus Algorithm papers/distributed/in-search-of-an-understandable-consensus-algorithm
Incentive Compatibility concepts/incentive-compatibility
Incompatibility (Brandom) concepts/incompatibility-(brandom)
Inconsequentiality concepts/inconsequentiality
index
Indirect Prompt Injection concepts/indirect-prompt-injection
Indirect Reciprocity concepts/indirect-reciprocity
Individual Concepts concepts/individual-concepts
Individual Rationality concepts/individual-rationality
Individuality concepts/individuality
Inductive Assertions concepts/inductive-assertions
Inductive Inference concepts/inductive-inference
Inferentialism concepts/inferentialism
Information Asymmetry concepts/information-asymmetry
Information Cascades concepts/information-cascades
Information Flow Control concepts/information-flow-control
Information Markets concepts/information-markets
Information-Seeking Dialogue concepts/information-seeking-dialogue
Infotaxis concepts/infotaxis
Infrastructure for AI Agents papers/llm-agents/infrastructure-for-ai-agents
Inlined Reference Monitor concepts/inlined-reference-monitor
Input Language concepts/input-language
Input Validation concepts/input-validation
Inquiry Dialogue concepts/inquiry-dialogue
Institutional Facts concepts/institutional-facts
Institutional Reality concepts/institutional-reality
Instrumental Variable concepts/instrumental-variable
Intelligence Without Representation papers/foundations/intelligence-without-representation
Intelligent Agents Theory and Practice papers/multi-agent/intelligent-agents-theory-and-practice
Intent Formalization concepts/intent-formalization
Intent Formalization - A Grand Challenge for Reliable Coding papers/llm-agents/intent-formalization---a-grand-challenge-for-reliable-coding
Intent Gap concepts/intent-gap
Intention concepts/intention
Intention Is Choice with Commitment papers/multi-agent/intention-is-choice-with-commitment
Intentional Stance concepts/intentional-stance
Inter-Agent Misalignment concepts/inter-agent-misalignment
Inter-Agent Trust Models - A Comparative Study papers/llm-agents/inter-agent-trust-models---a-comparative-study
Interaction Protocol Change concepts/interaction-protocol-change
Interaction Protocols concepts/interaction-protocols
Interface concepts/interface
Interoperability concepts/interoperability
Interpreted Systems concepts/interpreted-systems
Interpreting Dynamical Systems as Bayesian Reasoners papers/foundations/interpreting-dynamical-systems-as-bayesian-reasoners
Interpreting Systems as Solving POMDPs papers/foundations/interpreting-systems-as-solving-pomdps
Intervention concepts/intervention
Introduction to Choreographies papers/multi-agent/introduction-to-choreographies
Invariance Theorem concepts/invariance-theorem
Investment Principle concepts/investment-principle
IPFS Content-Addressed Versioned P2P File System papers/gossip-p2p/ipfs-content-addressed-versioned-p2p-file-system
Is-a Hierarchy concepts/is-a-hierarchy
Isonomes concepts/isonomes
Iterated Prisoners Dilemma concepts/iterated-prisoners-dilemma
JaCaMo concepts/jacamo
Jailbreak concepts/jailbreak
Jason concepts/jason
Jason (BDI runtime) concepts/jason-(bdi-runtime)
Join Calculus concepts/join-calculus
Joint Intentions concepts/joint-intentions
Jones-Sergot Normative Systems papers/foundations/jones-sergot-normative-systems
JSON-RPC concepts/json-rpc
K Framework concepts/k-framework
k-Buckets concepts/k-buckets
K-Lines concepts/k-lines
Kademlia concepts/kademlia
Kademlia papers/gossip-p2p/kademlia
Keeping CALM - When Distributed Consistency is Easy papers/distributed/keeping-calm---when-distributed-consistency-is-easy
Kerberos concepts/kerberos
Kernel Sentences concepts/kernel-sentences
KEVM concepts/kevm
KIF concepts/kif
KLAIM concepts/klaim
KLAIM papers/distributed/klaim
Knowing How vs Knowing That concepts/knowing-how-vs-knowing-that
Knowing What vs Knowing That concepts/knowing-what-vs-knowing-that
Knowledge and Common Knowledge in a Distributed Environment papers/distributed/knowledge-and-common-knowledge-in-a-distributed-environment
Knowledge Level concepts/knowledge-level
Knowledge of Choice papers/multi-agent/knowledge-of-choice
Knowledge Representation concepts/knowledge-representation
Knowledge Representation Language concepts/knowledge-representation-language
Knowledge Sharing Effort concepts/knowledge-sharing-effort
Knowledge Transfer Learning concepts/knowledge-transfer-learning
Knowledge-Based Programs concepts/knowledge-based-programs
Knowledge-Level Specification concepts/knowledge-level-specification
Kolmogorov Complexity concepts/kolmogorov-complexity
Kolmogorov Structure Function concepts/kolmogorov-structure-function
KQML concepts/kqml
KQML - A Language And Protocol For Knowledge And Information Exchange papers/acl/kqml---a-language-and-protocol-for-knowledge-and-information-exchange
KQML as an Agent Communication Language papers/acl/kqml-as-an-agent-communication-language
KQML Language And Protocol papers/acl/kqml-language-and-protocol
KQML Overview papers/acl/kqml-overview
Kripke Structure concepts/kripke-structure
LACP concepts/lacp
Ladder of Causation concepts/ladder-of-causation
Lambda Calculus concepts/lambda-calculus
LangSec concepts/langsec
Language Agents concepts/language-agents
Language Extensibility Taxonomy concepts/language-extensibility-taxonomy
Language Game concepts/language-game
Language Games concepts/language-games
Language Games for Autonomous Robots papers/emergent-lang/language-games-for-autonomous-robots
Language Models are Few-Shot Learners papers/llm-agents/language-models-are-few-shot-learners
Language Models Can Reduce Asymmetry in Information Markets papers/llm-agents/language-models-can-reduce-asymmetry-in-information-markets
Language Workbench concepts/language-workbench
Language Workbenches concepts/language-workbenches
Language-oriented Programming concepts/language-oriented-programming
Language-theoretic Security concepts/language-theoretic-security
Languages and Language - Lewis papers/foundations/languages-and-language---lewis
Large Population Models concepts/large-population-models
Layered Architecture concepts/layered-architecture
Layered Systems concepts/layered-systems
Leader Election concepts/leader-election
Lean 4 concepts/lean-4
Learning Collusion in Episodic Inventory-Constrained Markets papers/llm-agents/learning-collusion-in-episodic-inventory-constrained-markets
Less is More - Multiparty Session Types Revisited papers/multi-agent/less-is-more---multiparty-session-types-revisited
Let It Crash concepts/let-it-crash
Levels of Description concepts/levels-of-description
Levels Of Social Orchestration papers/multi-agent/levels-of-social-orchestration
Lewis Signalling Games concepts/lewis-signalling-games
Lexical Scope concepts/lexical-scope
Lexicon Convergence concepts/lexicon-convergence
Lexicon Negotiation concepts/lexicon-negotiation
Life as We Know It papers/foundations/life-as-we-know-it
Linda (coordination) concepts/linda-(coordination)
Linear Logic concepts/linear-logic
Linear Logic papers/foundations/linear-logic
Link and Monitor concepts/link-and-monitor
Linked Local Names concepts/linked-local-names
Lisp concepts/lisp
Liveness Property concepts/liveness-property
LLM Agent Communication Protocol Requires Urgent Standardization papers/llm-agents/llm-agent-communication-protocol-requires-urgent-standardization
LLM Agents concepts/llm-agents
LLM-as-judge concepts/llm-as-judge
Locality (KLAIM) concepts/locality-(klaim)
Log Replication concepts/log-replication
Log-linear Learning concepts/log-linear-learning
Logic and Conversation papers/foundations/logic-and-conversation
Logic and Lattices for Distributed Programming papers/distributed/logic-and-lattices-for-distributed-programming
Logic Programming concepts/logic-programming
Logical Contracts concepts/logical-contracts
Logical Framework concepts/logical-framework
Logical Omniscience concepts/logical-omniscience
Logicist AI concepts/logicist-ai
LOGOS concepts/logos
Long-short Term Memory concepts/long-short-term-memory
Loop Invariant concepts/loop-invariant
Lowe Attack concepts/lowe-attack
Macaroons concepts/macaroons
Machine Ethics concepts/machine-ethics
Macros as Language Extension concepts/macros-as-language-extension
Majority Vote concepts/majority-vote
Making It Explicit - Brandom papers/foundations/making-it-explicit---brandom
Making Smart Contracts Smarter papers/edge-blockchain/making-smart-contracts-smarter
MalTool Malicious Tool Attacks papers/llm-agents/maltool-malicious-tool-attacks
MAPE-K concepts/mape-k
Market for Lemons concepts/market-for-lemons
Markov Processes concepts/markov-processes
Marshalling concepts/marshalling
MAS Meta-model concepts/mas-meta-model
Mass Conservation concepts/mass-conservation
MAST Taxonomy concepts/mast-taxonomy
Material Inference concepts/material-inference
Matrix Communication Games concepts/matrix-communication-games
McCulloch-Pitts Neuron concepts/mcculloch-pitts-neuron
MCP Landscape Security Threats And Future Research Directions papers/security/mcp-landscape-security-threats-and-future-research-directions
Meaning As Use concepts/meaning-as-use
Mechanism Design concepts/mechanism-design
Mechanism Design for Large Language Models papers/llm-agents/mechanism-design-for-large-language-models
Mechanism vs Policy concepts/mechanism-vs-policy
Mediation Analysis concepts/mediation-analysis
Memo Programming Language concepts/memo-programming-language
Memory Poisoning concepts/memory-poisoning
Mental Attitudes concepts/mental-attitudes
Mental State concepts/mental-state
Mentalistic Semantics concepts/mentalistic-semantics
Mercurio Framework concepts/mercurio-framework
Merge Operator concepts/merge-operator
Meshing Subplans concepts/meshing-subplans
Message Sequence Charts - A Survey papers/multi-agent/message-sequence-charts---a-survey
Meta-Adaptation concepts/meta-adaptation
Meta-agent concepts/meta-agent
Meta-circular Evaluator concepts/meta-circular-evaluator
Meta-Methods concepts/meta-methods
Meta-Programming concepts/meta-programming
Meta-protocol concepts/meta-protocol
Meta-rules concepts/meta-rules
Metacognitive Loop concepts/metacognitive-loop
MetaGPT Meta Programming for Multi-Agent Collaboration papers/llm-agents/metagpt-meta-programming-for-multi-agent-collaboration
Metaphrase concepts/metaphrase
Metaphysical Adequacy concepts/metaphysical-adequacy
Metatheoretic Reasoning concepts/metatheoretic-reasoning
Micronemes concepts/micronemes
Mild Realism concepts/mild-realism
Miller's 7±2 concepts/miller's-7±2
Minds Brains and Science papers/foundations/minds-brains-and-science
Minimal Model concepts/minimal-model
Minimal Ontological Commitment concepts/minimal-ontological-commitment
Minimum Description Length concepts/minimum-description-length
Mirsky Autonomy Scale concepts/mirsky-autonomy-scale
Mission Economy concepts/mission-economy
MITRE ATLAS concepts/mitre-atlas
Mnesia concepts/mnesia
Mobile Agent concepts/mobile-agent
Mobile Ambients papers/foundations/mobile-ambients
Mobility concepts/mobility
Model Checking concepts/model-checking
Model Context Protocol concepts/model-context-protocol
Modeling Rational Agents within a BDI-Architecture papers/multi-agent/modeling-rational-agents-within-a-bdi-architecture
Modular Proofs concepts/modular-proofs
Module Languages concepts/module-languages
MOISE concepts/moise
Monitorability concepts/monitorability
Monotonic Logic concepts/monotonic-logic
Motivational Potential concepts/motivational-potential
Muddy Children Puzzle concepts/muddy-children-puzzle
Multi-Agent Collaboration in AI - Wasif Tunkel papers/multi-agent/multi-agent-collaboration-in-ai---wasif-tunkel
Multi-Agent Collaboration Mechanisms - Survey of LLMs papers/llm-agents/multi-agent-collaboration-mechanisms---survey-of-llms
Multi-Agent Cooperation and the Emergence of Natural Language papers/emergent-lang/multi-agent-cooperation-and-the-emergence-of-natural-language
Multi-Agent Q-Learning concepts/multi-agent-q-learning
Multi-Agent Reinforcement Learning concepts/multi-agent-reinforcement-learning
Multi-Agent Security concepts/multi-agent-security
Multi-Agent Systems concepts/multi-agent-systems
Multi-Head Attention concepts/multi-head-attention
Multi-Party Computation concepts/multi-party-computation
Multi-Turn Social Engineering concepts/multi-turn-social-engineering
Multiagent Systems concepts/multiagent-systems
Multiagent Systems Sycara papers/multi-agent/multiagent-systems-sycara
Multiparty Asynchronous Session Types papers/multi-agent/multiparty-asynchronous-session-types
Multiparty Compatibility in Communicating Automata papers/multi-agent/multiparty-compatibility-in-communicating-automata
Multiplexing (von Neumann) concepts/multiplexing-(von-neumann)
Multiplicative-Additive concepts/multiplicative-additive
Mutual Belief concepts/mutual-belief
Mutual Expectation concepts/mutual-expectation
Mutual Information concepts/mutual-information
Mutual Responsiveness concepts/mutual-responsiveness
Mycelium Model concepts/mycelium-model
Myconet Fungi Inspired Superpeer Overlay papers/gossip-p2p/myconet-fungi-inspired-superpeer-overlay
Myerson's Lemma concepts/myerson's-lemma
Myth of the Given concepts/myth-of-the-given
Name-Passing concepts/name-passing
Narrow Waist Principle concepts/narrow-waist-principle
Nash Equilibrium concepts/nash-equilibrium
Nash Equilibrium Pathologies concepts/nash-equilibrium-pathologies
Natural vs Artificial Automata concepts/natural-vs-artificial-automata
NDAI Agreements papers/llm-agents/ndai-agreements
Needham-Schroeder Protocol concepts/needham-schroeder-protocol
Negation as Failure concepts/negation-as-failure
Negotiated Protocols concepts/negotiated-protocols
Negotiation concepts/negotiation
Nested Beliefs concepts/nested-beliefs
NetBill Protocol concepts/netbill-protocol
Newscast Gossip concepts/newscast-gossip
No-Regret Learning concepts/no-regret-learning
Non-monotonic Reasoning concepts/non-monotonic-reasoning
Non-Owner Compliance concepts/non-owner-compliance
Non-verbal Communication concepts/non-verbal-communication
Nonce concepts/nonce
Nonmonotonic Reasoning concepts/nonmonotonic-reasoning
Normalized Compression Distance concepts/normalized-compression-distance
Normative Position concepts/normative-position
Norms and Obligations concepts/norms-and-obligations
Nostr concepts/nostr
OAA ICL concepts/oaa-icl
Object Capability concepts/object-capability
Object Capability Security concepts/object-capability-security
Obligation Exchange concepts/obligation-exchange
Observational Equivalence concepts/observational-equivalence
OCapN concepts/ocapn
Occam's Razor concepts/occam's-razor
On Agent-Based Software Engineering papers/multi-agent/on-agent-based-software-engineering
On Computable Numbers with an Application to the Entscheidungsproblem papers/foundations/on-computable-numbers-with-an-application-to-the-entscheidungsproblem
On Definable Sets of Positive Integers papers/foundations/on-definable-sets-of-positive-integers
On Notation for Ordinal Numbers papers/foundations/on-notation-for-ordinal-numbers
On the Acceptability of Arguments papers/foundations/on-the-acceptability-of-arguments
On the Monitorability of Session Types papers/multi-agent/on-the-monitorability-of-session-types
On the Pitfalls of Measuring Emergent Communication papers/emergent-lang/on-the-pitfalls-of-measuring-emergent-communication
Online Learning concepts/online-learning
Ontolingua concepts/ontolingua
Ontolingua Portable Ontology Specifications papers/ontology/ontolingua-portable-ontology-specifications
Ontological Commitment concepts/ontological-commitment
Ontologies concepts/ontologies
Ontology concepts/ontology
Ontology Alignment concepts/ontology-alignment
Ontology Change concepts/ontology-change
Ontology Change Classification and Survey papers/ontology/ontology-change-classification-and-survey
Ontology Design Criteria concepts/ontology-design-criteria
Ontology Engineering concepts/ontology-engineering
Ontology Evolution concepts/ontology-evolution
Ontology Grounding concepts/ontology-grounding
Ontology Mapping concepts/ontology-mapping
Ontology Matching concepts/ontology-matching
Ontology Merging concepts/ontology-merging
Open Challenges in Multi-Agent Security papers/llm-agents/open-challenges-in-multi-agent-security
Open Multi-Agent Systems concepts/open-multi-agent-systems
OpenClaw concepts/openclaw
OpenID4VP concepts/openid4vp
Operational Semantics concepts/operational-semantics
Operational Transformation concepts/operational-transformation
Ordinals concepts/ordinals
Organizational Metaphors concepts/organizational-metaphors
Orthophrase concepts/orthophrase
OTP concepts/otp
Overlay Construction concepts/overlay-construction
OWASP LLM Top-10 concepts/owasp-llm-top-10
OWL concepts/owl
Owner Identity Spoofing concepts/owner-identity-spoofing
Pact - A Choreographic Language for Agentic Ecosystems papers/multi-agent/pact---a-choreographic-language-for-agentic-ecosystems
Papert's Principle concepts/papert's-principle
Paraphrase concepts/paraphrase
Parity Multisig concepts/parity-multisig
Parser Combinators concepts/parser-combinators
Parser Differential concepts/parser-differential
Parser Differential Attack concepts/parser-differential-attack
Parser Differentials concepts/parser-differentials
Parser Equivalence concepts/parser-equivalence
Partial Information concepts/partial-information
PASSI Methodology concepts/passi-methodology
Pattern Composition concepts/pattern-composition
Pattern Matching concepts/pattern-matching
PBFT concepts/pbft
Peer Sampling Service concepts/peer-sampling-service
Peer Selection concepts/peer-selection
Performatives concepts/performatives
Perlocutionary Specification concepts/perlocutionary-specification
Permissive Grammar concepts/permissive-grammar
Persistent Goal concepts/persistent-goal
Persuasion Dialogue concepts/persuasion-dialogue
Perverse Incentives concepts/perverse-incentives
PGP Authentication concepts/pgp-authentication
Philosophical Investigations - Wittgenstein papers/foundations/philosophical-investigations---wittgenstein
Phrase-structure Grammar concepts/phrase-structure-grammar
Physical Stance concepts/physical-stance
Pi-Calculus concepts/pi-calculus
Pidgin and Creole concepts/pidgin-and-creole
Pidgin Emergence concepts/pidgin-emergence
Pipelined BFT concepts/pipelined-bft
Pittsburgh School concepts/pittsburgh-school
PKI Layer Cake - Kaminsky Patterson Sassaman papers/security/pki-layer-cake---kaminsky-patterson-sassaman
PLACA concepts/placa
Plan Library concepts/plan-library
Planning concepts/planning
Planning and Acting in Partially Observable Stochastic Domains papers/foundations/planning-and-acting-in-partially-observable-stochastic-domains
Planning Theory of Intention concepts/planning-theory-of-intention
Polynemes concepts/polynemes
Positional Encoding concepts/positional-encoding
Positive Listening concepts/positive-listening
Positive Signalling concepts/positive-signalling
Positivity concepts/positivity
Possible Worlds Semantics concepts/possible-worlds-semantics
Postel's Law Critique concepts/postel's-law-critique
Postel's Robustness Principle concepts/postel's-robustness-principle
Potential Games concepts/potential-games
Potential Outcomes Framework - Rubin papers/foundations/potential-outcomes-framework---rubin
Power Set concepts/power-set
Practical Byzantine Fault Tolerance papers/distributed/practical-byzantine-fault-tolerance
Practical Reasoning concepts/practical-reasoning
Pragmatic Presupposition concepts/pragmatic-presupposition
Pragmatist Semantics concepts/pragmatist-semantics
Precommitment concepts/precommitment
Preconditions and Postconditions concepts/preconditions-and-postconditions
Preferred Extension concepts/preferred-extension
Prefix Codes concepts/prefix-codes
Prejudice concepts/prejudice
Preparatory Conditions concepts/preparatory-conditions
Price of Anarchy concepts/price-of-anarchy
Principle of Least Authority concepts/principle-of-least-authority
Principle of Rationality concepts/principle-of-rationality
Principled Design Of The Modern Web Architecture papers/security/principled-design-of-the-modern-web-architecture
Prioritised Circumscription concepts/prioritised-circumscription
Privacy Reasoning concepts/privacy-reasoning
Privacy Reasoning in Ambiguous Contexts papers/llm-agents/privacy-reasoning-in-ambiguous-contexts
Private Language Argument concepts/private-language-argument
Privilege-Escalation Distance concepts/privilege-escalation-distance
Proactive Aggregation concepts/proactive-aggregation
Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components papers/foundations/probabilistic-logics-and-the-synthesis-of-reliable-organisms-from-unreliable-components
Problem-Solving Coherence concepts/problem-solving-coherence
Process Calculi concepts/process-calculi
Processing Fluency concepts/processing-fluency
Producer-Consumer Asymmetry concepts/producer-consumer-asymmetry
Program as Logical Sentence concepts/program-as-logical-sentence
Program Semantics concepts/program-semantics
Program Verification concepts/program-verification
Programming Erlang Second Edition papers/extensibility/programming-erlang-second-edition
Programming Semantics for Multiprogrammed Computations papers/ocap/programming-semantics-for-multiprogrammed-computations
Programs with Common Sense papers/foundations/programs-with-common-sense
Projection Relations concepts/projection-relations
Prolog concepts/prolog
Promise Pipelining concepts/promise-pipelining
Prompt Injection concepts/prompt-injection
Pronomes concepts/pronomes
Proof Nets concepts/proof-nets
Proof Obligations concepts/proof-obligations
Proof Trust concepts/proof-trust
Proof-Carrying Code concepts/proof-carrying-code
Proof-Carrying Code - Necula papers/security/proof-carrying-code---necula
Propensity Score concepts/propensity-score
Properties concepts/properties
Property-Based Testing concepts/property-based-testing
Propositional Attitudes concepts/propositional-attitudes
Protocol Design concepts/protocol-design
Protocol Documents concepts/protocol-documents
Protocol Layering Attacks concepts/protocol-layering-attacks
Protocol Verification concepts/protocol-verification
ProVerif concepts/proverif
Proxy Payoff Evaluators concepts/proxy-payoff-evaluators
Psychological Nominalism concepts/psychological-nominalism
Public Semantics concepts/public-semantics
Push-Pull Gossip concepts/push-pull-gossip
Push-Sum concepts/push-sum
Push-Synopses concepts/push-synopses
Pushdown Automata concepts/pushdown-automata
Qualification Problem concepts/qualification-problem
Quine-Duhem Thesis concepts/quine-duhem-thesis
Quorum Certificate concepts/quorum-certificate
Racket Macros concepts/racket-macros
Raft concepts/raft
RAG Poisoning concepts/rag-poisoning
Rainbow - Architecture-Based Self-Adaptation with Reusable Infrastructure papers/self-adaptive/rainbow---architecture-based-self-adaptation-with-reusable-infrastructure
Ramification Problem concepts/ramification-problem
Random Walks on Graphs concepts/random-walks-on-graphs
Rational Action Semantics concepts/rational-action-semantics
Rational Balance concepts/rational-balance
Rational Effect concepts/rational-effect
Rational Offer Groups concepts/rational-offer-groups
Rationality Assumption concepts/rationality-assumption
RDF concepts/rdf
Reachability Analysis concepts/reachability-analysis
ReAct Synergizing Reasoning and Acting in Language Models papers/llm-agents/react-synergizing-reasoning-and-acting-in-language-models
Reactive vs Deliberative Agents concepts/reactive-vs-deliberative-agents
README
Realizability and Verification of MSC Graphs papers/multi-agent/realizability-and-verification-of-msc-graphs
Reasoning About Knowledge papers/foundations/reasoning-about-knowledge
Recipe (SharedPlans) concepts/recipe-(sharedplans)
Reciprocity concepts/reciprocity
Recognizer concepts/recognizer
Recursion Induction concepts/recursion-induction
Recursive Function concepts/recursive-function
Recursive Functions of Symbolic Expressions and Their Computation by Machine papers/foundations/recursive-functions-of-symbolic-expressions-and-their-computation-by-machine
Recursive Predicates and Quantifiers papers/foundations/recursive-predicates-and-quantifiers
Recursively Enumerable Sets of Positive Integers and Their Decision Problems papers/foundations/recursively-enumerable-sets-of-positive-integers-and-their-decision-problems
Red-Teaming LLM Agents concepts/red-teaming-llm-agents
Redundancy concepts/redundancy
Reentrancy concepts/reentrancy
Referential Games concepts/referential-games
Refinement concepts/refinement
Reflexion Language Agents with Verbal Reinforcement Learning papers/llm-agents/reflexion-language-agents-with-verbal-reinforcement-learning
ReGreT concepts/regret
Regret-Loss concepts/regret-loss
Regulative Rules concepts/regulative-rules
Reification concepts/reification
REINFORCE concepts/reinforce
Relation Adaptation concepts/relation-adaptation
Relational Logic concepts/relational-logic
Relational Transducer concepts/relational-transducer
Relational Transducers for Declarative Networking papers/distributed/relational-transducers-for-declarative-networking
Reo concepts/reo
Reo papers/distributed/reo
Repeated Game concepts/repeated-game
Replay Attack concepts/replay-attack
Replicated State Machine concepts/replicated-state-machine
Replication concepts/replication
Representations concepts/representations
Representatives concepts/representatives
Reputation concepts/reputation
Reputation Trust concepts/reputation-trust
Requirements Under Uncertainty concepts/requirements-under-uncertainty
Resource Manager Agent concepts/resource-manager-agent
Resource Managers concepts/resource-managers
Resources concepts/resources
REST concepts/rest
Restoring Organ concepts/restoring-organ
Restraining Bolts concepts/restraining-bolts
Restriction concepts/restriction
Retrieval-Augmented Generation concepts/retrieval-augmented-generation
Retrieval-based Dialogue concepts/retrieval-based-dialogue
Return-Oriented Programming concepts/return-oriented-programming
Revenue Equivalence concepts/revenue-equivalence
Review on Computational Trust and Reputation Models papers/trust-rep/review-on-computational-trust-and-reputation-models
Rex Language concepts/rex-language
Rice's Theorem concepts/rice's-theorem
Ripple Effect Protocol papers/llm-agents/ripple-effect-protocol
Robust Composition - Towards a Unified Approach to Access Control and Concurrency Control papers/ocap/robust-composition---towards-a-unified-approach-to-access-control-and-concurrency-control
Role-specialised Agents concepts/role-specialised-agents
Roles concepts/roles
Rubin Causal Model concepts/rubin-causal-model
Rubinstein Bargaining concepts/rubinstein-bargaining
Rule of Conjecture concepts/rule-of-conjecture
Rule-Following concepts/rule-following
Runtime Assurance concepts/runtime-assurance
Runtime Quantitative Verification concepts/runtime-quantitative-verification
Runtime Verification concepts/runtime-verification
Russell's Paradox concepts/russell's-paradox
S-expression concepts/s-expression
S-expressions concepts/s-expressions
Safe Tcl concepts/safe-tcl
Safestack concepts/safestack
Safety Property concepts/safety-property
Sandbox Economy concepts/sandbox-economy
Sandboxing concepts/sandboxing
Sapience vs Sentience concepts/sapience-vs-sentience
Says Operator concepts/says-operator
Scale-Free Cognition concepts/scale-free-cognition
Scaled Dot-Product Attention concepts/scaled-dot-product-attention
Scaling concepts/scaling
Sceptical Reasoning concepts/sceptical-reasoning
Schelling Point concepts/schelling-point
Scheme 48 concepts/scheme-48
Scope Extrusion concepts/scope-extrusion
SDF concepts/sdf
SDSI concepts/sdsi
Search and Learning concepts/search-and-learning
Second-Price Auction concepts/second-price-auction
Secret Collusion concepts/secret-collusion
Secure Agent Control Protocol concepts/secure-agent-control-protocol
Secure Communications Processing for Distributed Languages papers/security/secure-communications-processing-for-distributed-languages
Secure Operations Language concepts/secure-operations-language
Security Applications Of Formal Language Theory papers/security/security-applications-of-formal-language-theory
Security Automaton concepts/security-automaton
Security Kernel Lambda Calculus papers/security/security-kernel-lambda-calculus
Selection (Choreography) concepts/selection-(choreography)
Self-Adaptation concepts/self-adaptation
Self-Adaptation Self-Expression Self-Awareness ASCENS papers/trust-rep/self-adaptation-self-expression-self-awareness-ascens
Self-Adaptive Software - Landscape and Research Challenges papers/self-adaptive/self-adaptive-software---landscape-and-research-challenges
Self-Adaptive Software Needs Quantitative Verification at Runtime papers/self-adaptive/self-adaptive-software-needs-quantitative-verification-at-runtime
Self-Adaptive Systems concepts/self-adaptive-systems
Self-Attention concepts/self-attention
Self-aware Computing concepts/self-aware-computing
Self-Awareness concepts/self-awareness
Self-Expression concepts/self-expression
Self-Managed Systems - an Architectural Challenge papers/self-adaptive/self-managed-systems---an-architectural-challenge
Self-Organisation concepts/self-organisation
Self-Organising Topology concepts/self-organising-topology
Self-Replicating Agent concepts/self-replicating-agent
Self-Reproducing Automata concepts/self-reproducing-automata
Semantic Description For Agent Design Patterns papers/acl/semantic-description-for-agent-design-patterns
Semantic Gap concepts/semantic-gap
Semantic Holism concepts/semantic-holism
Semantic Information Processing concepts/semantic-information-processing
Semantic Misalignment concepts/semantic-misalignment
Semantic Web concepts/semantic-web
Semantics and Conversations for an ACL papers/acl/semantics-and-conversations-for-an-acl
Semantics-Without-Minds concepts/semantics-without-minds
Semi-Markovian Causal Model concepts/semi-markovian-causal-model
Semiotic Cycle concepts/semiotic-cycle
Sense and Denotation concepts/sense-and-denotation
Sense-Plan-Act concepts/sense-plan-act
Sensitivity Sharing concepts/sensitivity-sharing
Server-Side Extensions concepts/server-side-extensions
Session Types concepts/session-types
Set Theory concepts/set-theory
Seven Turrets Of Babel papers/foundations/seven-turrets-of-babel
Shannon Entropy concepts/shannon-entropy
Shannon Information concepts/shannon-information
Shared Cooperative Activity concepts/shared-cooperative-activity
Shared Cooperative Activity papers/foundations/shared-cooperative-activity
SharedPlans concepts/sharedplans
SharedPlans papers/foundations/sharedplans
Sheffer Stroke concepts/sheffer-stroke
Shotgun Parsing concepts/shotgun-parsing
Simple Promise concepts/simple-promise
Simple View concepts/simple-view
Sincerity Condition concepts/sincerity-condition
Sincerity Conditions concepts/sincerity-conditions
Single Phenomenon View concepts/single-phenomenon-view
SINS Middleware concepts/sins-middleware
Situated Action concepts/situated-action
Situated Automata concepts/situated-automata
Situation Calculus concepts/situation-calculus
Six-Level EI Rating concepts/six-level-ei-rating
Sjoin Calculus concepts/sjoin-calculus
Skill Supply Chain Attack concepts/skill-supply-chain-attack
SKTP concepts/sktp
SLD Resolution concepts/sld-resolution
Smart Contracts concepts/smart-contracts
Social Agency concepts/social-agency
Social Chatbots concepts/social-chatbots
Social Coherence Failures concepts/social-coherence-failures
Social Commitment concepts/social-commitment
Social Dilemma concepts/social-dilemma
Social Norms concepts/social-norms
Social State concepts/social-state
Society of Mind concepts/society-of-mind
Society-of-More concepts/society-of-more
Sociological Reputation concepts/sociological-reputation
Software Architecture concepts/software-architecture
Software Engineering for Self-Adaptive Systems - A Research Roadmap papers/self-adaptive/software-engineering-for-self-adaptive-systems---a-research-roadmap
Software Engineering for Self-Adaptive Systems - A Second Research Roadmap papers/self-adaptive/software-engineering-for-self-adaptive-systems---a-second-research-roadmap
SoK The Attack Surface of Agentic AI papers/llm-agents/sok-the-attack-surface-of-agentic-ai
Solidity concepts/solidity
Some Philosophical Problems from the Standpoint of Artificial Intelligence papers/foundations/some-philosophical-problems-from-the-standpoint-of-artificial-intelligence
Sorted Logic concepts/sorted-logic
Sorts concepts/sorts
Space of Reasons concepts/space-of-reasons
Spatial Logic concepts/spatial-logic
Speaker Consistency concepts/speaker-consistency
Speaker Meaning concepts/speaker-meaning
Speaks-For Calculus concepts/speaks-for-calculus
Specification Completeness concepts/specification-completeness
Specification Issues concepts/specification-issues
Specification Soundness concepts/specification-soundness
Specification Validation concepts/specification-validation
Speech Act Theory concepts/speech-act-theory
Speech Acts concepts/speech-acts
Speech Acts - An Essay in the Philosophy of Language papers/foundations/speech-acts---an-essay-in-the-philosophy-of-language
Spi Calculus concepts/spi-calculus
Spi Calculus papers/security/spi-calculus
SPKI concepts/spki
SPKI-SDSI papers/ocap/spki-sdsi
Stable Extension concepts/stable-extension
Stable Model Semantics concepts/stable-model-semantics
Stake Trust concepts/stake-trust
Standard Operating Procedures (SOPs) concepts/standard-operating-procedures-(sops)
State Capture concepts/state-capture
State Vector concepts/state-vector
Statelessness concepts/statelessness
Static Analysis concepts/static-analysis
Stigmergy concepts/stigmergy
Stochastic CALM concepts/stochastic-calm
Stored-Procedure Coordination concepts/stored-procedure-coordination
Stratego concepts/stratego
Strategy-Proof concepts/strategy-proof
Strong Agency concepts/strong-agency
Strong Eventual Consistency concepts/strong-eventual-consistency
Strong Realism concepts/strong-realism
Strongest Verifiable Consequent concepts/strongest-verifiable-consequent
Structural Causal Model concepts/structural-causal-model
Structural Definitions concepts/structural-definitions
Structural Induction concepts/structural-induction
Structured Communication-Centred Programming for Web Services papers/multi-agent/structured-communication-centred-programming-for-web-services
Structured Operational Semantics concepts/structured-operational-semantics
Structured Overlay concepts/structured-overlay
Studies in the Way of Words papers/foundations/studies-in-the-way-of-words
Substructural Logic concepts/substructural-logic
Subsumption Architecture concepts/subsumption-architecture
Superpeer Overlay concepts/superpeer-overlay
Supervision Tree concepts/supervision-tree
Survey Of Agent Interoperability Protocols papers/llm-agents/survey-of-agent-interoperability-protocols
Survey Of AI Agent Protocols papers/llm-agents/survey-of-ai-agent-protocols
SUTVA concepts/sutva
Sybil Resistance concepts/sybil-resistance
Symbol Grounding Problem concepts/symbol-grounding-problem
Symbol Level concepts/symbol-level
Symbol-Category Purity concepts/symbol-category-purity
Symbolic Descriptions concepts/symbolic-descriptions
Symbolic Execution concepts/symbolic-execution
Symbolic Plans concepts/symbolic-plans
Synchronisation Tree concepts/synchronisation-tree
Synchronous Language concepts/synchronous-language
Syntactic Abstraction concepts/syntactic-abstraction
System Homomorphism concepts/system-homomorphism
Tacit Collusion concepts/tacit-collusion
Tacit Coordination concepts/tacit-coordination
Talk Judge Cooperate - Gossip-Driven Indirect Reciprocity in Self-Interested LLM Agents papers/llm-agents/talk-judge-cooperate---gossip-driven-indirect-reciprocity-in-self-interested-llm-agents
Talking Heads Experiment concepts/talking-heads-experiment
Task Allocation Network concepts/task-allocation-network
Task Verification concepts/task-verification
TEE Attestations concepts/tee-attestations
Temporal Proposition concepts/temporal-proposition
Temporal Transfer Pattern concepts/temporal-transfer-pattern
Termination Proof concepts/termination-proof
The Bitter Lesson papers/llm-agents/the-bitter-lesson
The BOID Architecture papers/multi-agent/the-boid-architecture
The Cognitive Domain of a Glider in the Game of Life papers/foundations/the-cognitive-domain-of-a-glider-in-the-game-of-life
The Confused Deputy - Hardy papers/ocap/the-confused-deputy---hardy
The Development of Communication Models papers/foundations/the-development-of-communication-models
The Evolution of Cooperation papers/foundations/the-evolution-of-cooperation
The Extended Mind papers/foundations/the-extended-mind
The Extensible Language - Graham papers/extensibility/the-extensible-language---graham
The Halting Problems of Network Stack Insecurity papers/security/the-halting-problems-of-network-stack-insecurity
The Heart of Spritely - Distributed Objects and Capability Security papers/ocap/the-heart-of-spritely---distributed-objects-and-capability-security
The Independence of the Continuum Hypothesis papers/foundations/the-independence-of-the-continuum-hypothesis
The Knowledge Level papers/foundations/the-knowledge-level
The Part-Time Parliament papers/distributed/the-part-time-parliament
The Process of Communication papers/foundations/the-process-of-communication
The Protection of Information in Computer Systems papers/security/the-protection-of-information-in-computer-systems
The Rise and Potential of LLM-Based Agents papers/llm-agents/the-rise-and-potential-of-llm-based-agents
The Semantic Web papers/ontology/the-semantic-web
The Society of Mind papers/foundations/the-society-of-mind
The Spoofax Language Workbench papers/extensibility/the-spoofax-language-workbench
The State of the Art in Agent Communication Languages papers/acl/the-state-of-the-art-in-agent-communication-languages
The Strategy of Conflict papers/foundations/the-strategy-of-conflict
The Synthesis of Digital Machines with Provable Epistemic Properties papers/multi-agent/the-synthesis-of-digital-machines-with-provable-epistemic-properties
The Vision of Autonomic Computing papers/self-adaptive/the-vision-of-autonomic-computing
TheDAO concepts/thedao
Theory of Agency concepts/theory-of-agency
Theory of Mind concepts/theory-of-mind
Theory of Self-Reproducing Automata papers/foundations/theory-of-self-reproducing-automata
Three Models for the Description of Language papers/foundations/three-models-for-the-description-of-language
Three-Layer Reference Model concepts/three-layer-reference-model
Three-Party Handoff concepts/three-party-handoff
Threshold Signature concepts/threshold-signature
Time Clocks and the Ordering of Events in a Distributed System papers/distributed/time-clocks-and-the-ordering-of-events-in-a-distributed-system
Time-Travel Debugging concepts/time-travel-debugging
Tit-for-Tat concepts/tit-for-tat
Tombstones concepts/tombstones
Tool Use concepts/tool-use
Toolformer papers/llm-agents/toolformer
TOTE Loop concepts/tote-loop
Toward Automated Evolution of ACLs papers/acl/toward-automated-evolution-of-acls
Toward Principles for the Design of Ontologies Used for Knowledge Sharing papers/ontology/toward-principles-for-the-design-of-ontologies-used-for-knowledge-sharing
Towards a Mathematical Science of Computation papers/foundations/towards-a-mathematical-science-of-computation
Towards Automating the Evolution of Linguistic Competence papers/acl/towards-automating-the-evolution-of-linguistic-competence
Trace Expressions concepts/trace-expressions
Trace Property concepts/trace-property
Trans-Frames concepts/trans-frames
Transaction-Ordering Dependence concepts/transaction-ordering-dependence
Transfinite Numbers concepts/transfinite-numbers
Transformation Function concepts/transformation-function
Transformational Grammar concepts/transformational-grammar
Transformer concepts/transformer
Translation Approach concepts/translation-approach
Transportability concepts/transportability
Trends in Agent Communication Language papers/acl/trends-in-agent-communication-language
Triple Modular Redundancy concepts/triple-modular-redundancy
Trojan Tools concepts/trojan-tools
True Believer concepts/true-believer
True Believers - The Intentional Strategy and Why It Works papers/foundations/true-believers---the-intentional-strategy-and-why-it-works
Trust concepts/trust
Trust and Reputation concepts/trust-and-reputation
Trust Fusion concepts/trust-fusion
Trusted Capable Model Environment concepts/trusted-capable-model-environment
Trusted Execution Environment concepts/trusted-execution-environment
Trusted Machine Learning Models Unlock Private Inference papers/llm-agents/trusted-machine-learning-models-unlock-private-inference
Trusted Third Party concepts/trusted-third-party
Trustless by Default concepts/trustless-by-default
Trustworthy Proxies - Virtualizing Objects with Invariants papers/ocap/trustworthy-proxies---virtualizing-objects-with-invariants
Truthful Mechanism concepts/truthful-mechanism
Truthfulness and Trust concepts/truthfulness-and-trust
Tuple Matching concepts/tuple-matching
Tuple Spaces concepts/tuple-spaces
Turing Test concepts/turing-test
Turn (Goblins) concepts/turn-(goblins)
Two Dogmas of Empiricism - Quine papers/foundations/two-dogmas-of-empiricism---quine
Two Faces of Intention papers/multi-agent/two-faces-of-intention
Type 1 and Type 2 Obligations concepts/type-1-and-type-2-obligations
Type Preservation concepts/type-preservation
Unification concepts/unification
Uniform Gossip concepts/uniform-gossip
Uniform Interface concepts/uniform-interface
Uniframes concepts/uniframes
Unique Names Hypothesis concepts/unique-names-hypothesis
Universal Turing Machine concepts/universal-turing-machine
Unsafe Action Rate concepts/unsafe-action-rate
Unsupervised Grammar Induction concepts/unsupervised-grammar-induction
Untersuchungen über die Grundlagen der Mengenlehre I papers/foundations/untersuchungen-über-die-grundlagen-der-mengenlehre-i
Update Semantics concepts/update-semantics
Using Encryption for Authentication papers/security/using-encryption-for-authentication
Utility Function concepts/utility-function
Value of Communication concepts/value-of-communication
Variance Reduction concepts/variance-reduction
Vat Model concepts/vat-model
VCG Mechanism concepts/vcg-mechanism
Verifiable Credential concepts/verifiable-credential
Verifiable Presentation concepts/verifiable-presentation
Verifiable Semantics concepts/verifiable-semantics
Verifiable Semantics for ACLs papers/acl/verifiable-semantics-for-acls
Verification Condition concepts/verification-condition
Verified Synthesis concepts/verified-synthesis
Version Vector concepts/version-vector
Verus concepts/verus
Vibe Coding concepts/vibe-coding
Vickrey Auction concepts/vickrey-auction
View Change concepts/view-change
Virtual Agent Economies papers/llm-agents/virtual-agent-economies
Visibly Pushdown Languages concepts/visibly-pushdown-languages
Vocabulary Size Penalty concepts/vocabulary-size-penalty
W3C Digital Credentials API concepts/w3c-digital-credentials-api
We-Intention concepts/we-intention
We-intentions papers/foundations/we-intentions
Weak Agency concepts/weak-agency
Web of Belief concepts/web-of-belief
Weighted Relation concepts/weighted-relation
Weird Machine concepts/weird-machine
Well-Ordering Theorem concepts/well-ordering-theorem
What is it to Understand a Directive Speech Act papers/foundations/what-is-it-to-understand-a-directive-speech-act
What Is Said concepts/what-is-said
Whitewashing concepts/whitewashing
Why AI Agents Communicate In Human Language papers/llm-agents/why-ai-agents-communicate-in-human-language
Why Do Multi-Agent LLM Systems Fail papers/llm-agents/why-do-multi-agent-llm-systems-fail
Witness Reputation concepts/witness-reputation
Word Embeddings concepts/word-embeddings
x401 - HTTP Proof Requirement Protocol papers/ocap/x401---http-proof-requirement-protocol
XiaoIce concepts/xiaoice
XOR Metric concepts/xor-metric
Zero-Knowledge Proofs concepts/zero-knowledge-proofs
ZFC concepts/zfc
Zur Einführung der transfiniten Zahlen papers/foundations/zur-einführung-der-transfiniten-zahlen
Über eine elementare Frage der Mannigfaltigkeitslehre papers/foundations/über-eine-elementare-frage-der-mannigfaltigkeitslehre
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I papers/foundations/über-formal-unentscheidbare-sätze-der-principia-mathematica-und-verwandter-systeme-i

trust-rep

4 pages in this folder

A Composite Self-organisation Mechanism in an Agent Network

16 out · 16 in

Computational Boundary of a Self

20 out · 19 in

Review on Computational Trust and Reputation Models

18 out · 25 in

Self-Adaptation Self-Expression Self-Awareness ASCENS

18 out · 16 in