/ /papers/foundations/a-calculus-of-communicating-systems/ /papers/foundations/a-calculus-of-mobile-processes/ /papers/acl/a-commitment-based-approach-to-agent-communication/ /papers/acl/a-common-ontology-of-acls/ /papers/trust-rep/a-composite-self-organisation-mechanism-in-an-agent-network/ /papers/distributed/a-comprehensive-study-of-convergent-and-commutative-replicated-data-types/ /papers/foundations/a-framework-for-representing-knowledge/ /papers/security/a-language-based-approach-to-prevent-ddos/ /papers/security/a-logic-of-authentication/ /papers/foundations/a-mathematical-theory-of-communication/ /papers/extensibility/a-modular-approach-to-metatheoretic-reasoning-for-extensible-languages/ /papers/foundations/a-proof-method-for-cyclic-programs/ /papers/foundations/a-robust-layered-control-system/ /papers/llm-agents/a-scalable-communication-protocol-for-networks-of-llms/ /papers/foundations/a-taxonomy-of-illocutionary-acts/ /papers/foundations/a-universal-modular-actor-formalism-for-artificial-intelligence/ /papers/acl/acl-rethinking-principles/ /papers/acl/acre-agent-conversation-reasoning-engine/ /papers/acl/agent-communication-and-institutional-reality/ /papers/acl/agent-communication-languages---rethinking-the-principles/ /papers/security/agent-tcl-flexible-secure-mobile-agents/ /papers/multi-agent/agent-oriented-programming/ /papers/llm-agents/agentdojo/ /papers/llm-agents/agents-framework---zhou-et-al/ /papers/llm-agents/agents-of-chaos/ /papers/security/agents-secure-interaction-in-data-driven-languages/ /papers/multi-agent/agentspeak/ /papers/llm-agents/ai-agents-under-threat/ /papers/foundations/algorithm-=-logic-+-control/ /papers/foundations/algorithmic-information-theory---grunwald-vitanyi/ /papers/foundations/an-application-of-a-method-for-analysis-of-cyclic-programs/ /papers/multi-agent/an-interaction-oriented-agent-framework-for-open-environments/ /papers/foundations/an-unsolvable-problem-of-elementary-number-theory/ /papers/security/architectural-patterns-for-dependable-software-systems---sol/ /papers/multi-agent/are-multiagent-systems-resilient-to-communication-failures/ /papers/foundations/ascribing-mental-qualities-to-machines/ /papers/foundations/assigning-meanings-to-programs/ /papers/llm-agents/attention-is-all-you-need/ /papers/llm-agents/augmented-language-models---a-survey/ /papers/llm-agents/autogen---multi-agent-conversation-framework/ /papers/llm-agents/beyond-self-talk---communication-centric-survey-of-llm-multi-agent-systems/ /papers/distributed/brewers-conjecture-and-the-feasibility-of-consistent-available-partition-tolerant-web-services/ /papers/llm-agents/camel-communicative-agents-for-mind-exploration-of-llm-society/ /papers/foundations/can-programming-be-liberated-from-the-von-neumann-style/ /papers/ocap/capability-myths-demolished/ /papers/ocap/capability-based-financial-instruments/ /papers/ocap/capn-proto/ /papers/acl/cbcl---safe-self-extending-agent-communication/ /papers/llm-agents/chain-of-thought-prompting/ /papers/gossip-p2p/chord/ /papers/llm-agents/cicero-human-level-play-in-diplomacy/ /papers/foundations/circumscription---a-form-of-nonmonotonic-reasoning/ /papers/foundations/circumscription---applications-to-formalizing-common-sense-knowledge/ /papers/foundations/classes-of-recursively-enumerable-sets-and-their-decision-problems/ /papers/llm-agents/clawworm-self-propagating-attacks-across-llm-agent-ecosystems/ /papers/foundations/commitment-in-dialogue/ /papers/acl/commitment-machines---yolum-and-singh/ /papers/acl/common-business-communication-language/ /papers/foundations/communicating-sequential-processes/ /papers/trust-rep/computational-boundary-of-a-self/ /concept-map/ /papers/distributed/concurrency-control-in-groupware-systems/ /papers/foundations/concurrent-constraint-programming/ /papers/foundations/convention---lewis/ /papers/acl/coordinating-agents-using-acl-conversations/ /papers/foundations/correctness-of-a-compiler-for-arithmetic-expressions/ /papers/foundations/counterspeculation-auctions-and-competitive-sealed-tenders/ /papers/extensibility/creating-languages-in-racket/ /papers/security/dagents-security-book-chapter/ /papers/multi-agent/deals-among-rational-agents/ /papers/ocap/decentralized-identifiers/ /papers/llm-agents/defeating-prompt-injections-by-design/ /papers/ocap/distributed-electronic-rights-in-javascript/ /papers/distributed/distributed-snapshots-determining-global-states-of-distributed-systems/ /papers/llm-agents/do-llm-agents-have-regret/ /papers/edge-blockchain/edge-intelligence-survey/ /papers/foundations/elephant-2000---a-programming-language-based-on-speech-acts/ /papers/emergent-lang/emergence-of-grounded-compositional-language-in-multi-agent-populations/ /papers/distributed/end-to-end-arguments-in-system-design/ /papers/multi-agent/ensuring-trustworthy-and-ethical-behaviour-in-intelligent-logical-agents/ /papers/foundations/epistemological-fault-lines-between-human-and-artificial-intelligence/ /papers/foundations/epistemological-problems-of-artificial-intelligence/ /papers/ocap/eros---a-fast-capability-system/ /papers/security/exploit-programming---from-buffer-overflows-to-weird-machines/ /papers/extensibility/extensibility-in-programming-language-design---standish/ /papers/security/extensible-distributed-coordination/ /papers/foundations/extensions-of-some-theorems-of-gödel-and-church/ /papers/foundations/fallacies---hamblin/ /papers/foundations/first-order-theories-of-individual-concepts-and-propositions/ /papers/acl/flexible-protocol-specification-and-execution/ /papers/edge-blockchain/formalise-blockchain-interoperability-patterns/ /papers/foundations/foundations-of-illocutionary-logic/ /papers/foundations/foundations-of-logic-programming---lloyd/ /papers/llm-agents/from-eliza-to-xiaoice---social-chatbots/ /papers/foundations/general-recursive-functions-of-natural-numbers/ /papers/foundations/generality-in-artificial-intelligence/ /papers/llm-agents/generative-agents/ /papers/distributed/generative-communication-in-linda/ /papers/gossip-p2p/gossip-based-aggregation-in-large-dynamic-networks/ /papers/gossip-p2p/gossip-based-computation-of-aggregate-information/ /papers/gossip-p2p/gossiping-in-distributed-systems/ /papers/ontology/handbook-on-ontologies/ /papers/distributed/hotstuff/ /papers/edge-blockchain/house-on-rock---langsec-in-ethereum-classic/ /papers/foundations/how-do-committees-invent/ /papers/foundations/how-to-do-things-with-words/ /papers/distributed/impossibility-of-distributed-consensus-with-one-faulty-process/ /papers/distributed/in-search-of-an-understandable-consensus-algorithm/ /index/ /papers/llm-agents/infrastructure-for-ai-agents/ /papers/foundations/intelligence-without-representation/ /papers/multi-agent/intelligent-agents-theory-and-practice/ /papers/llm-agents/intent-formalization---a-grand-challenge-for-reliable-coding/ /papers/multi-agent/intention-is-choice-with-commitment/ /papers/llm-agents/inter-agent-trust-models---a-comparative-study/ /papers/multi-agent/introduction-to-choreographies/ /papers/gossip-p2p/ipfs-content-addressed-versioned-p2p-file-system/ /papers/gossip-p2p/kademlia/ /papers/distributed/keeping-calm---when-distributed-consistency-is-easy/ /papers/distributed/klaim/ /papers/distributed/knowledge-and-common-knowledge-in-a-distributed-environment/ /papers/acl/kqml---a-language-and-protocol-for-knowledge-and-information-exchange/ /papers/acl/kqml-as-an-agent-communication-language/ /papers/acl/kqml-language-and-protocol/ /papers/acl/kqml-overview/ /papers/emergent-lang/language-games-for-autonomous-robots/ /papers/llm-agents/language-models-are-few-shot-learners/ /papers/llm-agents/language-models-can-reduce-asymmetry-in-information-markets/ /papers/llm-agents/learning-collusion-in-episodic-inventory-constrained-markets/ /papers/multi-agent/levels-of-social-orchestration/ /papers/foundations/linear-logic/ /papers/llm-agents/llm-agent-communication-protocol-requires-urgent-standardization/ /papers/foundations/logic-and-conversation/ /papers/distributed/logic-and-lattices-for-distributed-programming/ /papers/edge-blockchain/making-smart-contracts-smarter/ /papers/llm-agents/maltool-malicious-tool-attacks/ /papers/security/mcp-landscape-security-threats-and-future-research-directions/ /papers/llm-agents/mechanism-design-for-large-language-models/ /papers/llm-agents/metagpt-meta-programming-for-multi-agent-collaboration/ /papers/foundations/minds-brains-and-science/ /papers/foundations/mobile-ambients/ /papers/multi-agent/modeling-rational-agents-within-a-bdi-architecture/ /papers/multi-agent/multi-agent-collaboration-in-ai---wasif-tunkel/ /papers/llm-agents/multi-agent-collaboration-mechanisms---survey-of-llms/ /papers/emergent-lang/multi-agent-cooperation-and-the-emergence-of-natural-language/ /papers/multi-agent/multiagent-systems-sycara/ /papers/multi-agent/multiparty-asynchronous-session-types/ /papers/gossip-p2p/myconet-fungi-inspired-superpeer-overlay/ /papers/llm-agents/ndai-agreements/ /papers/multi-agent/on-agent-based-software-engineering/ /papers/foundations/on-definable-sets-of-positive-integers/ /papers/foundations/on-notation-for-ordinal-numbers/ /papers/foundations/on-the-acceptability-of-arguments/ /papers/multi-agent/on-the-monitorability-of-session-types/ /papers/emergent-lang/on-the-pitfalls-of-measuring-emergent-communication/ /papers/ontology/ontolingua-portable-ontology-specifications/ /papers/ontology/ontology-change-classification-and-survey/ /papers/llm-agents/open-challenges-in-multi-agent-security/ /papers/multi-agent/pact---a-choreographic-language-for-agentic-ecosystems/ /papers/security/pki-layer-cake---kaminsky-patterson-sassaman/ /papers/distributed/practical-byzantine-fault-tolerance/ /papers/security/principled-design-of-the-modern-web-architecture/ /papers/llm-agents/privacy-reasoning-in-ambiguous-contexts/ /papers/extensibility/programming-erlang-second-edition/ /papers/ocap/programming-semantics-for-multiprogrammed-computations/ /papers/foundations/programs-with-common-sense/ /papers/llm-agents/react-synergizing-reasoning-and-acting-in-language-models/ /readme/ /papers/foundations/recursive-functions-of-symbolic-expressions-and-their-computation-by-machine/ /papers/foundations/recursive-predicates-and-quantifiers/ /papers/foundations/recursively-enumerable-sets-of-positive-integers-and-their-decision-problems/ /papers/llm-agents/reflexion-language-agents-with-verbal-reinforcement-learning/ /papers/distributed/relational-transducers-for-declarative-networking/ /papers/distributed/reo/ /papers/trust-rep/review-on-computational-trust-and-reputation-models/ /papers/llm-agents/ripple-effect-protocol/ /papers/ocap/robust-composition---towards-a-unified-approach-to-access-control-and-concurrency-control/ /papers/security/secure-communications-processing-for-distributed-languages/ /papers/security/security-applications-of-formal-language-theory/ /papers/security/security-kernel-lambda-calculus/ /papers/trust-rep/self-adaptation-self-expression-self-awareness-ascens/ /papers/acl/semantic-description-for-agent-design-patterns/ /papers/acl/semantics-and-conversations-for-an-acl/ /papers/foundations/seven-turrets-of-babel/ /papers/foundations/shared-cooperative-activity/ /papers/foundations/sharedplans/ /papers/llm-agents/sok-the-attack-surface-of-agentic-ai/ /papers/foundations/some-philosophical-problems-from-the-standpoint-of-artificial-intelligence/ /papers/foundations/speech-acts---an-essay-in-the-philosophy-of-language/ /papers/security/spi-calculus/ /papers/ocap/spki-sdsi/ /papers/multi-agent/structured-communication-centred-programming-for-web-services/ /papers/foundations/studies-in-the-way-of-words/ /papers/llm-agents/survey-of-agent-interoperability-protocols/ /papers/llm-agents/survey-of-ai-agent-protocols/ /papers/llm-agents/the-bitter-lesson/ /papers/multi-agent/the-boid-architecture/ /papers/ocap/the-confused-deputy---hardy/ /papers/foundations/the-evolution-of-cooperation/ /papers/foundations/the-extended-mind/ /papers/extensibility/the-extensible-language---graham/ /papers/security/the-halting-problems-of-network-stack-insecurity/ /papers/ocap/the-heart-of-spritely---distributed-objects-and-capability-security/ /papers/foundations/the-knowledge-level/ /papers/distributed/the-part-time-parliament/ /papers/security/the-protection-of-information-in-computer-systems/ /papers/llm-agents/the-rise-and-potential-of-llm-based-agents/ /papers/ontology/the-semantic-web/ /papers/foundations/the-society-of-mind/ /papers/extensibility/the-spoofax-language-workbench/ /papers/acl/the-state-of-the-art-in-agent-communication-languages/ /papers/foundations/the-strategy-of-conflict/ /papers/multi-agent/the-synthesis-of-digital-machines-with-provable-epistemic-properties/ /papers/foundations/theory-of-self-reproducing-automata/ /papers/foundations/three-models-for-the-description-of-language/ /papers/distributed/time-clocks-and-the-ordering-of-events-in-a-distributed-system/ /papers/llm-agents/toolformer/ /papers/acl/toward-automated-evolution-of-acls/ /papers/ontology/toward-principles-for-the-design-of-ontologies-used-for-knowledge-sharing/ /papers/foundations/towards-a-mathematical-science-of-computation/ /papers/acl/towards-automating-the-evolution-of-linguistic-competence/ /papers/acl/trends-in-agent-communication-language/ /papers/foundations/true-believers---the-intentional-strategy-and-why-it-works/ /papers/llm-agents/trusted-machine-learning-models-unlock-private-inference/ /papers/ocap/trustworthy-proxies---virtualizing-objects-with-invariants/ /papers/multi-agent/two-faces-of-intention/ /papers/security/using-encryption-for-authentication/ /papers/acl/verifiable-semantics-for-acls/ /papers/llm-agents/virtual-agent-economies/ /papers/foundations/we-intentions/ /papers/foundations/what-is-it-to-understand-a-directive-speech-act/ /papers/llm-agents/why-ai-agents-communicate-in-human-language/ /papers/llm-agents/why-do-multi-agent-llm-systems-fail/ /papers/foundations/über-formal-unentscheidbare-sätze-der-principia-mathematica-und-verwandter-systeme-i/