/
/papers/acl/a-common-ontology-of-acls/
/papers/trust-rep/a-composite-self-organisation-mechanism-in-an-agent-network/
/papers/foundations/a-framework-for-representing-knowledge/
/papers/security/a-language-based-approach-to-prevent-ddos/
/papers/extensibility/a-modular-approach-to-metatheoretic-reasoning-for-extensible-languages/
/papers/foundations/a-proof-method-for-cyclic-programs/
/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/
/concepts/a-iltl/
/concepts/abnormality-predicate/
/concepts/abstract-agent-interfaces/
/concepts/abstract-performative/
/concepts/abstract-syntax/
/concepts/access-control-rules/
/concepts/acl-design-principles/
/concepts/acl-evolution/
/concepts/acl-layering/
/papers/acl/acl-rethinking-principles/
/concepts/acl-verifiability/
/papers/acl/acre-agent-conversation-reasoning-engine/
/concepts/action-formalism/
/concepts/actor-model/
/concepts/adaptation-dimensions/
/concepts/adaptive-protocols/
/concepts/adjectival-modifiers/
/concepts/advice-taker/
/concepts/agencies/
/concepts/agent-architecture/
/concepts/agent-cards/
/papers/acl/agent-communication-and-institutional-reality/
/concepts/agent-communication-framework/
/concepts/agent-communication-languages/
/papers/acl/agent-communication-languages---rethinking-the-principles/
/concepts/agent-communication-trilemma/
/concepts/agent-coordination-overhead/
/concepts/agent-discovery/
/concepts/agent-hub/
/concepts/agent-libel/
/concepts/agent-network-protocol/
/concepts/agent-payments-protocol/
/concepts/agent-security/
/concepts/agent-self-monitoring/
/papers/security/agent-tcl-flexible-secure-mobile-agents/
/concepts/agent-theory-architecture-language-triad/
/concepts/agent-types/
/concepts/agent-worm/
/concepts/agent-0/
/papers/multi-agent/agent-oriented-programming/
/concepts/agent-to-agent-protocol/
/concepts/agent_jump/
/concepts/agentcards/
/concepts/agentic-tcb/
/concepts/agentification/
/concepts/agents-(minsky)/
/concepts/agents-and-artifacts/
/papers/llm-agents/agents-framework---zhou-et-al/
/papers/llm-agents/agents-of-chaos/
/papers/security/agents-secure-interaction-in-data-driven-languages/
/concepts/aggregate-functions/
/papers/llm-agents/ai-agents-under-threat/
/papers/foundations/algorithm-=-logic-+-control/
/papers/foundations/algorithmic-information-theory---grunwald-vitanyi/
/concepts/ambient-authority/
/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/
/concepts/approximate-theory/
/concepts/architectural-pattern/
/papers/security/architectural-patterns-for-dependable-software-systems---sol/
/concepts/architectural-styles/
/concepts/arcol/
/papers/multi-agent/are-multiagent-systems-resilient-to-communication-failures/
/concepts/ascens/
/papers/foundations/ascribing-mental-qualities-to-machines/
/concepts/asn.1-ber-ambiguity/
/papers/foundations/assigning-meanings-to-programs/
/concepts/attack-papers/
/concepts/attack-surface-taxonomy/
/papers/llm-agents/attention-is-all-you-need/
/concepts/attribute-grammars/
/concepts/audit-trail/
/papers/llm-agents/augmented-language-models---a-survey/
/papers/llm-agents/autogen---multi-agent-conversation-framework/
/concepts/autonomic-service-component-ensembles/
/concepts/axiomatic-semantics/
/concepts/b-brains/
/concepts/backdoor-attacks/
/concepts/bdi/
/concepts/bdi-agents/
/concepts/bdi-architecture/
/concepts/bdi-logic/
/concepts/belief-revision/
/concepts/belief-desire-intention/
/concepts/benevolent-agent-assumption/
/concepts/best-response-dynamics/
/papers/llm-agents/beyond-self-talk---communication-centric-survey-of-llm-multi-agent-systems/
/concepts/binding-deal/
/concepts/biomass/
/concepts/bit-syntax/
/concepts/bitter-lesson/
/concepts/blockchain-interoperability/
/concepts/bloom-language/
/concepts/bottom-up-programming/
/concepts/branching-time/
/papers/distributed/brewers-conjecture-and-the-feasibility-of-consistent-available-partition-tolerant-web-services/
/concepts/brief-trust/
/concepts/byzantine-fault-tolerance/
/concepts/calm-theorem/
/papers/llm-agents/camel-communicative-agents-for-mind-exploration-of-llm-society/
/papers/foundations/can-programming-be-liberated-from-the-von-neumann-style/
/concepts/cap-theorem/
/concepts/capability-bounding/
/papers/ocap/capability-myths-demolished/
/concepts/capability-revocation/
/concepts/capability-security/
/papers/ocap/capability-based-financial-instruments/
/concepts/capsules/
/concepts/captp/
/concepts/cartago/
/concepts/catastrophic-failure-recovery/
/concepts/causal-influence-of-communication/
/concepts/causal-threat-graph/
/concepts/certificate-authorities/
/papers/llm-agents/chain-of-thought-prompting/
/concepts/cheap-talk/
/concepts/chinese-room-argument/
/concepts/chomsky-hierarchy/
/papers/llm-agents/cicero-human-level-play-in-diplomacy/
/concepts/circumscription/
/papers/foundations/circumscription---a-form-of-nonmonotonic-reasoning/
/papers/foundations/circumscription---applications-to-formalizing-common-sense-knowledge/
/concepts/claim-trust/
/concepts/clarity/
/papers/foundations/classes-of-recursively-enumerable-sets-and-their-decision-problems/
/papers/llm-agents/clawworm-self-propagating-attacks-across-llm-agent-ecosystems/
/concepts/closed-world-assumption/
/concepts/cloud-edge-device-hierarchy/
/concepts/code-as-data/
/concepts/code-contracts/
/concepts/code-is-law/
/concepts/cognitive-light-cone/
/concepts/cognitive-trust/
/concepts/cohen's-kappa/
/concepts/coherence/
/concepts/colored-petri-nets/
/concepts/coloured-petri-nets/
/concepts/commissives/
/concepts/commitment/
/concepts/commitment-strategies/
/concepts/commitment-based-protocol/
/concepts/commitment-based-semantics/
/concepts/commitments/
/papers/acl/common-business-communication-language/
/concepts/common-sense-database/
/concepts/common-sense-reasoning/
/concepts/common-weakness-enumeration/
/papers/foundations/communicating-sequential-processes/
/concepts/communication-failures/
/concepts/communication-structure/
/concepts/communications-processing/
/concepts/communicative-acts/
/concepts/competence-vs-performance/
/concepts/compiler-correctness/
/concepts/complication-threshold/
/concepts/compositional-dependability/
/concepts/compositionality/
/concepts/computability/
/papers/trust-rep/computational-boundary-of-a-self/
/concepts/computational-surface/
/concept-map/
/concepts/concepts-as-individuals/
/concepts/conceptualization/
/concepts/concurrent-metatem/
/concepts/conditional-expression/
/concepts/conditional-expressions/
/concepts/configuration-integrity/
/concepts/confluence/
/concepts/confused-deputy/
/concepts/consistency-and-completeness/
/concepts/constitutive-rules/
/concepts/constraint-trust/
/concepts/content-language/
/concepts/content-languages/
/concepts/content-addressed-storage/
/concepts/context-independence/
/concepts/context-free-grammars/
/concepts/contract-net-protocol/
/concepts/control-flow-graph/
/concepts/conventional-implicature/
/concepts/convergence-factor/
/concepts/convergent-gossip/
/concepts/conversation-composition/
/concepts/conversation-policies/
/concepts/conversation-policy/
/concepts/conversation-protocols/
/concepts/conversation-specialization/
/concepts/conversation-turns-per-session-(cps)/
/concepts/conversational-ai/
/concepts/conversational-implicature/
/concepts/conversations/
/concepts/conway's-law/
/concepts/cooperative-principle/
/papers/acl/coordinating-agents-using-acl-conversations/
/concepts/coordination/
/concepts/coordination-avoidance/
/concepts/coordination-graphs/
/concepts/coordination-kernel/
/concepts/coordination-recipes/
/concepts/coordination-variables/
/concepts/coordination-security-separation/
/concepts/core-chat-architecture/
/papers/foundations/correctness-of-a-compiler-for-arithmetic-expressions/
/concepts/correlational-knowledge/
/concepts/counterfactual/
/concepts/counts-as-rules/
/concepts/crdts/
/papers/extensibility/creating-languages-in-racket/
/concepts/cross-agent-corruption/
/concepts/cross-chain-smart-contracts/
/concepts/cryptographic-wrapper/
/concepts/dafny/
/papers/security/dagents-security-book-chapter/
/concepts/data-exchange/
/concepts/data-processing/
/concepts/data-spaces/
/concepts/data-driven-coordination/
/concepts/ddos/
/papers/multi-agent/deals-among-rational-agents/
/concepts/decentralized-identifiers/
/concepts/decision-theoretic-acl/
/concepts/declarations/
/concepts/declarative-knowledge/
/concepts/declarative-specification/
/concepts/declaratives/
/concepts/dedalus/
/concepts/default-logic/
/concepts/default-reasoning/
/concepts/defence-in-depth/
/concepts/delegatecall/
/concepts/delegated-authority/
/concepts/denotational-semantics/
/concepts/deontic-logic/
/concepts/description-logics/
/concepts/design-autonomy/
/concepts/design-organization/
/concepts/design-patterns/
/concepts/design-stance/
/concepts/determinism/
/concepts/developmental-bioelectricity/
/concepts/dezert-smarandache-theory/
/concepts/dialect-vs-idiolect/
/concepts/dialects-and-idiolects/
/concepts/dialogue-sessions/
/concepts/difference-engines/
/concepts/differentiable-protocols/
/concepts/diffusion-speed/
/concepts/digital-analog-hybrid/
/concepts/direct-experience/
/concepts/direction-of-fit/
/concepts/directives/
/concepts/dirichlet-process/
/papers/ocap/distributed-electronic-rights-in-javascript/
/concepts/distributed-optimization/
/concepts/distributed-security/
/papers/distributed/distributed-snapshots-determining-global-states-of-distributed-systems/
/concepts/division-of-labour/
/concepts/dnn-splitting/
/concepts/domain-specific-languages/
/concepts/dooley-graphs/
/concepts/dsl/
/concepts/dsls/
/concepts/dual-anchor-persistence/
/concepts/dynamic-scheduling/
/concepts/e-language/
/concepts/edge-intelligence/
/papers/edge-blockchain/edge-intelligence-survey/
/concepts/edi/
/concepts/editor-service-descriptor/
/concepts/elaboration-tolerance/
/papers/foundations/elephant-2000---a-programming-language-based-on-speech-acts/
/concepts/eliza/
/concepts/embedded-agent/
/concepts/embedded-languages/
/papers/emergent-lang/emergence-of-grounded-compositional-language-in-multi-agent-populations/
/concepts/emergent-communication/
/concepts/emergent-protocols/
/concepts/emotional-quotient/
/concepts/empathetic-response-generation/
/concepts/encoder-decoder-attention/
/concepts/encoding-bias/
/concepts/encrypted-computation/
/papers/distributed/end-to-end-arguments-in-system-design/
/papers/multi-agent/ensuring-trustworthy-and-ethical-behaviour-in-intelligent-logical-agents/
/concepts/epidemic-dissemination/
/concepts/epidemiological-projection-r0/
/concepts/epistemia/
/concepts/epistemic-logic/
/concepts/epistemic-s5/
/concepts/epistemological-adequacy/
/papers/foundations/epistemological-fault-lines-between-human-and-artificial-intelligence/
/papers/foundations/epistemological-problems-of-artificial-intelligence/
/concepts/erc-8004/
/concepts/erlang-process/
/papers/ocap/eros---a-fast-capability-system/
/concepts/error-halting/
/concepts/ethereum/
/concepts/ethereum-classic/
/concepts/ethical-governor/
/concepts/ets-dets/
/concepts/eval-apply/
/concepts/event-b/
/concepts/evm/
/concepts/exception-principle/
/concepts/execution-autonomy/
/concepts/expected-utility-communication/
/concepts/explainable-ai/
/concepts/explicit-command-stack/
/concepts/exploit-programming/
/papers/security/exploit-programming---from-buffer-overflows-to-weird-machines/
/concepts/expressives/
/concepts/extendibility/
/papers/extensibility/extensibility-in-programming-language-design---standish/
/papers/security/extensible-distributed-coordination/
/concepts/extensible-languages-movement/
/concepts/extensionality/
/papers/foundations/extensions-of-some-theorems-of-gödel-and-church/
/concepts/f*/
/concepts/facilitator/
/concepts/facilitator-agents/
/concepts/facilitators/
/concepts/fallback-method/
/concepts/fault-tolerance/
/concepts/federated-learning/
/concepts/finite-state-grammars/
/concepts/finite-state-transducer/
/concepts/fipa-acl/
/concepts/fire/
/papers/foundations/first-order-theories-of-individual-concepts-and-propositions/
/concepts/first-order-logic/
/concepts/fixpoint-semantics/
/concepts/flat-context-trust-model/
/concepts/flat-namespace/
/concepts/flooding/
/concepts/fluent/
/concepts/formal-verification/
/papers/edge-blockchain/formalise-blockchain-interoperability-patterns/
/concepts/formula-circumscription/
/concepts/foundational-vs-auxiliary-properties/
/papers/foundations/foundations-of-illocutionary-logic/
/papers/foundations/foundations-of-logic-programming---lloyd/
/concepts/four-security-problems/
/concepts/frame-logic/
/concepts/frame-ontology/
/concepts/frame-problem/
/concepts/frames-(ai)/
/papers/llm-agents/from-eliza-to-xiaoice---social-chatbots/
/concepts/full-abstraction/
/concepts/future-directed-intention/
/concepts/futures/
/concepts/game-theoretic-trust/
/concepts/garbage-collection/
/concepts/gas-mechanism/
/papers/foundations/general-recursive-functions-of-natural-numbers/
/concepts/general-purpose-methods/
/concepts/generality/
/papers/foundations/generality-in-artificial-intelligence/
/papers/llm-agents/generative-agents/
/concepts/generative-grammar/
/concepts/goal-directedness/
/concepts/gossip-framework/
/concepts/gossip-protocols/
/concepts/gossip-training/
/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/
/concepts/gradient-compression/
/concepts/gricean-maxims/
/concepts/grounded-compositional-language/
/concepts/grounded-semantics/
/concepts/grounded-theory/
/concepts/grounding/
/concepts/grounding-in-human-language/
/concepts/group-rationality/
/concepts/guarded-transactions/
/concepts/guessing-game/
/concepts/gumbel-softmax/
/concepts/hallucination/
/concepts/halting-problem/
/papers/ontology/handbook-on-ontologies/
/concepts/happy-performance/
/concepts/herbrand-universe/
/concepts/heterogeneity-resolution/
/concepts/heuristic-adequacy/
/concepts/history-referring-programs/
/concepts/hoare-logic/
/concepts/homoiconicity/
/concepts/honesty-constraint/
/concepts/horn-clauses/
/concepts/hot-standby/
/papers/edge-blockchain/house-on-rock---langsec-in-ethereum-classic/
/papers/foundations/how-do-committees-invent/
/papers/foundations/how-to-do-things-with-words/
/concepts/human-connectivity-barrier/
/concepts/human-in-the-loop/
/concepts/hygienic-macros/
/concepts/hypermedia/
/concepts/hyphal-peer/
/concepts/identical-interest-games/
/concepts/illocutionary-force/
/concepts/illocutionary-point/
/concepts/illocutionary-specification/
/concepts/immutable-data-structures/
/papers/distributed/impossibility-of-distributed-consensus-with-one-faulty-process/
/concepts/inconsequentiality/
/index/
/concepts/indirect-prompt-injection/
/concepts/individual-concepts/
/concepts/individual-rationality/
/concepts/individuality/
/concepts/inductive-assertions/
/concepts/inductive-inference/
/concepts/information-cascades/
/concepts/infotaxis/
/concepts/input-language/
/concepts/input-validation/
/concepts/institutional-reality/
/papers/foundations/intelligence-without-representation/
/papers/multi-agent/intelligent-agents-theory-and-practice/
/concepts/intent-formalization/
/papers/llm-agents/intent-formalization---a-grand-challenge-for-reliable-coding/
/concepts/intent-gap/
/concepts/intention/
/papers/multi-agent/intention-is-choice-with-commitment/
/concepts/intentional-stance/
/concepts/inter-agent-misalignment/
/papers/llm-agents/inter-agent-trust-models---a-comparative-study/
/concepts/interaction-protocol-change/
/concepts/interaction-protocols/
/concepts/interface/
/concepts/interoperability/
/concepts/invariance-theorem/
/concepts/investment-principle/
/papers/gossip-p2p/ipfs-content-addressed-versioned-p2p-file-system/
/concepts/is-a-hierarchy/
/concepts/isonomes/
/concepts/jacamo/
/concepts/jailbreak/
/concepts/jason/
/concepts/join-calculus/
/concepts/joint-intentions/
/concepts/json-rpc/
/concepts/k-framework/
/concepts/k-lines/
/papers/distributed/keeping-calm---when-distributed-consistency-is-easy/
/concepts/kernel-sentences/
/concepts/kevm/
/concepts/kif/
/concepts/knowing-how-vs-knowing-that/
/concepts/knowing-what-vs-knowing-that/
/papers/distributed/knowledge-and-common-knowledge-in-a-distributed-environment/
/concepts/knowledge-level/
/concepts/knowledge-representation/
/concepts/knowledge-representation-language/
/concepts/knowledge-sharing-effort/
/concepts/knowledge-transfer-learning/
/concepts/knowledge-level-specification/
/concepts/kolmogorov-complexity/
/concepts/kolmogorov-structure-function/
/concepts/kqml/
/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/
/concepts/lambda-calculus/
/concepts/langsec/
/concepts/language-agents/
/concepts/language-extensibility-taxonomy/
/concepts/language-game/
/concepts/language-games/
/papers/emergent-lang/language-games-for-autonomous-robots/
/papers/llm-agents/language-models-are-few-shot-learners/
/concepts/language-workbench/
/concepts/language-workbenches/
/concepts/language-oriented-programming/
/concepts/language-theoretic-security/
/concepts/large-population-models/
/concepts/layered-architecture/
/concepts/layered-systems/
/concepts/let-it-crash/
/concepts/levels-of-description/
/papers/multi-agent/levels-of-social-orchestration/
/concepts/lewis-signalling-games/
/concepts/lexical-scope/
/concepts/lexicon-convergence/
/concepts/lexicon-negotiation/
/concepts/link-and-monitor/
/concepts/lisp/
/concepts/liveness-property/
/concepts/llm-agents/
/concepts/llm-as-judge/
/concepts/log-linear-learning/
/papers/foundations/logic-and-conversation/
/concepts/logic-programming/
/concepts/logical-contracts/
/concepts/logicist-ai/
/concepts/logos/
/concepts/long-short-term-memory/
/concepts/machine-ethics/
/concepts/macros-as-language-extension/
/concepts/majority-vote/
/papers/edge-blockchain/making-smart-contracts-smarter/
/papers/llm-agents/maltool-malicious-tool-attacks/
/concepts/markov-processes/
/concepts/marshalling/
/concepts/mas-meta-model/
/concepts/mass-conservation/
/concepts/mast-taxonomy/
/concepts/matrix-communication-games/
/papers/security/mcp-landscape-security-threats-and-future-research-directions/
/concepts/mechanism-design/
/concepts/mechanism-vs-policy/
/concepts/memory-poisoning/
/concepts/mental-attitudes/
/concepts/mental-state/
/concepts/mentalistic-semantics/
/concepts/mercurio-framework/
/concepts/meta-adaptation/
/concepts/meta-agent/
/concepts/meta-circular-evaluator/
/concepts/meta-methods/
/concepts/meta-programming/
/concepts/meta-protocol/
/concepts/meta-rules/
/concepts/metacognitive-loop/
/papers/llm-agents/metagpt-meta-programming-for-multi-agent-collaboration/
/concepts/metaphrase/
/concepts/metaphysical-adequacy/
/concepts/metatheoretic-reasoning/
/concepts/micronemes/
/concepts/mild-realism/
/concepts/miller's-7±2/
/papers/foundations/minds-brains-and-science/
/concepts/minimal-model/
/concepts/minimal-ontological-commitment/
/concepts/minimum-description-length/
/concepts/mirsky-autonomy-scale/
/concepts/mitre-atlas/
/concepts/mnesia/
/concepts/mobile-agent/
/concepts/model-checking/
/concepts/model-context-protocol/
/papers/multi-agent/modeling-rational-agents-within-a-bdi-architecture/
/concepts/modular-proofs/
/concepts/module-languages/
/concepts/moise/
/concepts/monotonic-logic/
/concepts/motivational-potential/
/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/
/concepts/multi-agent-q-learning/
/concepts/multi-agent-reinforcement-learning/
/concepts/multi-agent-systems/
/concepts/multi-head-attention/
/concepts/multi-turn-social-engineering/
/concepts/multiagent-systems/
/papers/multi-agent/multiagent-systems-sycara/
/concepts/mycelium-model/
/papers/gossip-p2p/myconet-fungi-inspired-superpeer-overlay/
/concepts/nash-equilibrium/
/concepts/nash-equilibrium-pathologies/
/concepts/natural-vs-artificial-automata/
/concepts/negation-as-failure/
/concepts/negotiated-protocols/
/concepts/negotiation/
/concepts/nested-beliefs/
/concepts/newscast-gossip/
/concepts/non-monotonic-reasoning/
/concepts/non-owner-compliance/
/concepts/non-verbal-communication/
/concepts/normalized-compression-distance/
/concepts/norms-and-obligations/
/concepts/oaa-icl/
/concepts/object-capability-security/
/concepts/obligation-exchange/
/concepts/observational-equivalence/
/concepts/ocapn/
/concepts/occam's-razor/
/papers/multi-agent/on-agent-based-software-engineering/
/papers/foundations/on-definable-sets-of-positive-integers/
/papers/foundations/on-notation-for-ordinal-numbers/
/papers/emergent-lang/on-the-pitfalls-of-measuring-emergent-communication/
/concepts/ontolingua/
/papers/ontology/ontolingua-portable-ontology-specifications/
/concepts/ontological-commitment/
/concepts/ontologies/
/concepts/ontology/
/concepts/ontology-alignment/
/concepts/ontology-change/
/papers/ontology/ontology-change-classification-and-survey/
/concepts/ontology-design-criteria/
/concepts/ontology-engineering/
/concepts/ontology-evolution/
/concepts/ontology-grounding/
/concepts/ontology-mapping/
/concepts/ontology-matching/
/concepts/ontology-merging/
/concepts/open-multi-agent-systems/
/concepts/openclaw/
/concepts/operational-semantics/
/concepts/organizational-metaphors/
/concepts/orthophrase/
/concepts/otp/
/concepts/overlay-construction/
/concepts/owasp-llm-top-10/
/concepts/owl/
/concepts/owner-identity-spoofing/
/concepts/papert's-principle/
/concepts/paraphrase/
/concepts/parity-multisig/
/concepts/parser-combinators/
/concepts/parser-differential/
/concepts/parser-differentials/
/concepts/parser-equivalence/
/concepts/partial-information/
/concepts/passi-methodology/
/concepts/pattern-composition/
/concepts/pattern-matching/
/concepts/peer-sampling-service/
/concepts/peer-selection/
/concepts/performatives/
/concepts/perlocutionary-specification/
/concepts/permissive-grammar/
/concepts/persistent-goal/
/concepts/perverse-incentives/
/concepts/pgp-authentication/
/concepts/phrase-structure-grammar/
/concepts/physical-stance/
/concepts/pidgin-and-creole/
/concepts/pidgin-emergence/
/papers/security/pki-layer-cake---kaminsky-patterson-sassaman/
/concepts/placa/
/concepts/planning/
/concepts/planning-theory-of-intention/
/concepts/polynemes/
/concepts/positional-encoding/
/concepts/positive-listening/
/concepts/positive-signalling/
/concepts/postel's-law-critique/
/concepts/postel's-robustness-principle/
/concepts/potential-games/
/concepts/practical-reasoning/
/concepts/preconditions-and-postconditions/
/concepts/prefix-codes/
/concepts/prejudice/
/concepts/preparatory-conditions/
/concepts/price-of-anarchy/
/concepts/principle-of-least-authority/
/concepts/principle-of-rationality/
/papers/security/principled-design-of-the-modern-web-architecture/
/concepts/prioritised-circumscription/
/concepts/privilege-escalation-distance/
/concepts/proactive-aggregation/
/concepts/problem-solving-coherence/
/concepts/processing-fluency/
/concepts/program-as-logical-sentence/
/concepts/program-semantics/
/concepts/program-verification/
/papers/extensibility/programming-erlang-second-edition/
/papers/ocap/programming-semantics-for-multiprogrammed-computations/
/papers/foundations/programs-with-common-sense/
/concepts/projection-relations/
/concepts/prolog/
/concepts/promise-pipelining/
/concepts/prompt-injection/
/concepts/pronomes/
/concepts/proof-obligations/
/concepts/proof-trust/
/concepts/properties/
/concepts/propositional-attitudes/
/concepts/protocol-design/
/concepts/protocol-documents/
/concepts/protocol-layering-attacks/
/concepts/protocol-verification/
/concepts/proxy-payoff-evaluators/
/concepts/public-semantics/
/concepts/push-pull-gossip/
/concepts/push-sum/
/concepts/push-synopses/
/concepts/qualification-problem/
/concepts/racket-macros/
/concepts/rag-poisoning/
/concepts/ramification-problem/
/concepts/random-walks-on-graphs/
/concepts/rational-action-semantics/
/concepts/rational-balance/
/concepts/rational-effect/
/concepts/rational-offer-groups/
/concepts/rationality-assumption/
/concepts/rdf/
/concepts/reachability-analysis/
/papers/llm-agents/react-synergizing-reasoning-and-acting-in-language-models/
/concepts/reactive-vs-deliberative-agents/
/readme/
/concepts/recognizer/
/concepts/recursion-induction/
/concepts/recursive-function/
/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/
/concepts/red-teaming-llm-agents/
/concepts/redundancy/
/concepts/reentrancy/
/concepts/referential-games/
/concepts/refinement/
/papers/llm-agents/reflexion-language-agents-with-verbal-reinforcement-learning/
/concepts/regret/
/concepts/regulative-rules/
/concepts/reification/
/concepts/reinforce/
/concepts/relation-adaptation/
/concepts/relational-logic/
/concepts/relational-transducer/
/concepts/representations/
/concepts/representatives/
/concepts/reputation/
/concepts/reputation-trust/
/concepts/resource-manager-agent/
/concepts/resource-managers/
/concepts/resources/
/concepts/rest/
/concepts/restraining-bolts/
/concepts/retrieval-augmented-generation/
/concepts/retrieval-based-dialogue/
/concepts/return-oriented-programming/
/papers/trust-rep/review-on-computational-trust-and-reputation-models/
/concepts/rex-language/
/concepts/rice's-theorem/
/papers/llm-agents/ripple-effect-protocol/
/papers/ocap/robust-composition---towards-a-unified-approach-to-access-control-and-concurrency-control/
/concepts/role-specialised-agents/
/concepts/roles/
/concepts/rubinstein-bargaining/
/concepts/rule-of-conjecture/
/concepts/runtime-verification/
/concepts/s-expression/
/concepts/s-expressions/
/concepts/safe-tcl/
/concepts/safestack/
/concepts/safety-property/
/concepts/sandboxing/
/concepts/scale-free-cognition/
/concepts/scaled-dot-product-attention/
/concepts/scaling/
/concepts/scheme-48/
/concepts/sdf/
/concepts/search-and-learning/
/concepts/secure-agent-control-protocol/
/papers/security/secure-communications-processing-for-distributed-languages/
/concepts/secure-operations-language/
/papers/security/security-applications-of-formal-language-theory/
/papers/security/security-kernel-lambda-calculus/
/concepts/self-adaptation/
/papers/trust-rep/self-adaptation-self-expression-self-awareness-ascens/
/concepts/self-adaptive-systems/
/concepts/self-attention/
/concepts/self-aware-computing/
/concepts/self-awareness/
/concepts/self-expression/
/concepts/self-organisation/
/concepts/self-organising-topology/
/concepts/self-replicating-agent/
/concepts/self-reproducing-automata/
/papers/acl/semantic-description-for-agent-design-patterns/
/concepts/semantic-gap/
/concepts/semantic-information-processing/
/concepts/semantic-misalignment/
/concepts/semantic-web/
/papers/acl/semantics-and-conversations-for-an-acl/
/concepts/semiotic-cycle/
/concepts/sense-and-denotation/
/concepts/sensitivity-sharing/
/concepts/server-side-extensions/
/papers/foundations/seven-turrets-of-babel/
/concepts/shannon-entropy/
/concepts/shannon-information/
/concepts/shotgun-parsing/
/concepts/simple-promise/
/concepts/simple-view/
/concepts/sincerity-condition/
/concepts/sincerity-conditions/
/concepts/single-phenomenon-view/
/concepts/sins-middleware/
/concepts/situated-action/
/concepts/situated-automata/
/concepts/situation-calculus/
/concepts/six-level-ei-rating/
/concepts/sjoin-calculus/
/concepts/skill-supply-chain-attack/
/concepts/sktp/
/concepts/sld-resolution/
/concepts/smart-contracts/
/concepts/social-agency/
/concepts/social-chatbots/
/concepts/social-coherence-failures/
/concepts/social-state/
/concepts/society-of-mind/
/concepts/society-of-more/
/concepts/sociological-reputation/
/papers/llm-agents/sok-the-attack-surface-of-agentic-ai/
/concepts/solidity/
/papers/foundations/some-philosophical-problems-from-the-standpoint-of-artificial-intelligence/
/concepts/sorted-logic/
/concepts/speaker-consistency/
/concepts/speaker-meaning/
/concepts/specification-completeness/
/concepts/specification-issues/
/concepts/specification-soundness/
/concepts/specification-validation/
/concepts/speech-act-theory/
/concepts/speech-acts/
/papers/foundations/speech-acts---an-essay-in-the-philosophy-of-language/
/concepts/stake-trust/
/concepts/standard-operating-procedures-(sops)/
/concepts/state-capture/
/concepts/state-vector/
/concepts/statelessness/
/concepts/static-analysis/
/concepts/stigmergy/
/concepts/stochastic-calm/
/concepts/stored-procedure-coordination/
/concepts/stratego/
/concepts/strong-agency/
/concepts/strong-realism/
/concepts/strongest-verifiable-consequent/
/concepts/structural-definitions/
/concepts/structural-induction/
/papers/foundations/studies-in-the-way-of-words/
/concepts/subsumption-architecture/
/concepts/superpeer-overlay/
/concepts/supervision-tree/
/papers/llm-agents/survey-of-agent-interoperability-protocols/
/papers/llm-agents/survey-of-ai-agent-protocols/
/concepts/sybil-resistance/
/concepts/symbol-grounding-problem/
/concepts/symbol-level/
/concepts/symbol-category-purity/
/concepts/symbolic-descriptions/
/concepts/symbolic-execution/
/concepts/symbolic-plans/
/concepts/synchronous-language/
/concepts/syntactic-abstraction/
/concepts/system-homomorphism/
/concepts/talking-heads-experiment/
/concepts/task-allocation-network/
/concepts/task-verification/
/concepts/tee-attestations/
/concepts/temporal-transfer-pattern/
/concepts/termination-proof/
/papers/llm-agents/the-bitter-lesson/
/papers/multi-agent/the-boid-architecture/
/papers/ocap/the-confused-deputy---hardy/
/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/multi-agent/the-synthesis-of-digital-machines-with-provable-epistemic-properties/
/concepts/thedao/
/concepts/theory-of-agency/
/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/
/concepts/time-travel-debugging/
/concepts/tombstones/
/concepts/tool-use/
/papers/llm-agents/toolformer/
/concepts/tote-loop/
/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/
/concepts/trace-expressions/
/concepts/trans-frames/
/concepts/transaction-ordering-dependence/
/concepts/transformational-grammar/
/concepts/transformer/
/concepts/translation-approach/
/papers/acl/trends-in-agent-communication-language/
/concepts/trojan-tools/
/concepts/true-believer/
/papers/foundations/true-believers---the-intentional-strategy-and-why-it-works/
/concepts/trust/
/concepts/trust-and-reputation/
/concepts/trust-fusion/
/concepts/trustless-by-default/
/papers/ocap/trustworthy-proxies---virtualizing-objects-with-invariants/
/concepts/tuple-spaces/
/concepts/turing-test/
/concepts/turn-(goblins)/
/papers/multi-agent/two-faces-of-intention/
/concepts/type-1-and-type-2-obligations/
/concepts/type-preservation/
/concepts/unification/
/concepts/uniform-gossip/
/concepts/uniform-interface/
/concepts/uniframes/
/concepts/unique-names-hypothesis/
/concepts/universal-turing-machine/
/concepts/unsafe-action-rate/
/concepts/unsupervised-grammar-induction/
/concepts/value-of-communication/
/concepts/variance-reduction/
/concepts/vat-model/
/concepts/verifiable-semantics/
/papers/acl/verifiable-semantics-for-acls/
/concepts/verification-condition/
/concepts/verified-synthesis/
/concepts/verus/
/concepts/vibe-coding/
/concepts/vocabulary-size-penalty/
/concepts/weak-agency/
/concepts/weighted-relation/
/concepts/weird-machine/
/papers/foundations/what-is-it-to-understand-a-directive-speech-act/
/concepts/what-is-said/
/concepts/whitewashing/
/papers/llm-agents/why-ai-agents-communicate-in-human-language/
/papers/llm-agents/why-do-multi-agent-llm-systems-fail/
/concepts/witness-reputation/
/concepts/x.509-pki/
/concepts/xiaoice/
/concepts/zero-knowledge-proofs/
/papers/foundations/über-formal-unentscheidbare-sätze-der-principia-mathematica-und-verwandter-systeme-i/