On the public citation graph
Formal theories of knowledge in AI and robotics
0 signed · 152 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19630090502openalex-snapshot
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
inferredcites →https://doi.org/10.1093/oso/9780195136975.003.0015openalex-snapshot
Situations and Attitudes
inferredcites →https://doi.org/10.1109/sfcs.1976.27openalex-snapshot
Semantical consideration on floyo-hoare logic
inferredcites →https://doi.org/10.1111/j.1468-0149.1969.tb00005.xopenalex-snapshot
AN INTRODUCTION TO MODAL LOGIC
inferredcites →https://doi.org/10.1145/800222.806735openalex-snapshot
Knowledge and common knowledge in a distributed environment
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/0470072644openalex-snapshot
Design and Analysis of Distributed Algorithms
inferred← citeshttps://doi.org/10.1006/inco.1997.2679openalex-snapshot
Common Knowledge and Update in Finite Environments
inferred← citeshttps://doi.org/10.1007/11552451_99openalex-snapshot
Non-alethic Reasoning in Distributed Systems
inferred← citeshttps://doi.org/10.1007/3-540-44533-1_32openalex-snapshot
Perceiving Environments for Intelligent Agents
inferred← citeshttps://doi.org/10.1007/3-540-44933-7openalex-snapshot
Objective Coordination in Multi-Agent System Engineering
inferred← citeshttps://doi.org/10.1007/3-540-58855-8_1openalex-snapshot
Agent theories, architectures, and languages: A survey
inferred← citeshttps://doi.org/10.1007/3-540-58855-8_11openalex-snapshot
A knowledge level characterisation of multi-agent systems
inferred← citeshttps://doi.org/10.1007/3540539816_58openalex-snapshot
Knowledge and probability in distributed systems: Abstract
inferred← citeshttps://doi.org/10.1007/978-1-4471-1852-7_9openalex-snapshot
Specifying Complex Behavior for Computer Agents
inferred← citeshttps://doi.org/10.1007/978-1-4613-1139-3_6openalex-snapshot
Knowledge and Belief Representation in a Partial Model
inferred← citeshttps://doi.org/10.1007/978-1-4899-4537-2_26openalex-snapshot
Combining the probability judgements of experts: statistical and artificial intelligence approaches
inferred← citeshttps://doi.org/10.1007/978-3-031-23161-2_300700openalex-snapshot
Knowledge Representation and Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-319-22756-6_25openalex-snapshot
A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-25928-2_17openalex-snapshot
Dynamic Imputation of Agent Cognition
inferred← citeshttps://doi.org/10.1007/978-3-540-25940-4_53openalex-snapshot
Intelligent Control of Autonomous Mobile Soccer Robot Adapting to Dynamical Environment
inferred← citeshttps://doi.org/10.1007/978-3-540-72830-6_17openalex-snapshot
Manipulating Paraconsistent Knowledge in Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-88049-3_5openalex-snapshot
Multi-agent Systems and Paraconsistent Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-00431-5_7openalex-snapshot
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_10openalex-snapshot
Symbolic Model Checking for Temporal-Epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-94-007-1001-6_5openalex-snapshot
Common Knowledge Revisited
inferred← citeshttps://doi.org/10.1007/978-94-007-1839-5_91openalex-snapshot
Multi-Agent Based Architecture Supporting Collaborative Product Lightweight Design
inferred← citeshttps://doi.org/10.1007/978-94-009-2448-2_3openalex-snapshot
Concepts of Information: Comparative Axiomatics
inferred← citeshttps://doi.org/10.1007/bf00130489openalex-snapshot
Controlling eye movements with hidden Markov models
inferred← citeshttps://doi.org/10.1007/bf00872474openalex-snapshot
Reinforcement learning of iterative behaviour with multiple sensors
inferred← citeshttps://doi.org/10.1007/bfb0018460openalex-snapshot
Towards a formal theory of intentions
inferred← citeshttps://doi.org/10.1007/bfb0027055openalex-snapshot
Emergent planning: A computational architecture for situated behaviour
inferred← citeshttps://doi.org/10.1007/bfb0052946openalex-snapshot
Integrating classical and reactive planning within an architecture for autonomous agents
inferred← citeshttps://doi.org/10.1007/s10489-013-0513-xopenalex-snapshot
On the interaction between knowledge and social commitments in multi-agent systems
inferred← citeshttps://doi.org/10.1016/0004-3702(86)90068-8openalex-snapshot
Making believers out of computers
inferred← citeshttps://doi.org/10.1016/0004-3702(87)90003-8openalex-snapshot
Belief, awareness, and limited reasoning
inferred← citeshttps://doi.org/10.1016/0004-3702(87)90092-0openalex-snapshot
Planning for conjunctive goals
inferred← citeshttps://doi.org/10.1016/0004-3702(91)90056-popenalex-snapshot
The owl and the electric encyclopedia
inferred← citeshttps://doi.org/10.1016/0004-3702(91)90102-popenalex-snapshot
The invention of memory: A new view of the brain
inferred← citeshttps://doi.org/10.1016/0004-3702(92)90049-4openalex-snapshot
A guide to completeness and complexity for modal logics of knowledge and belief
inferred← citeshttps://doi.org/10.1016/0004-3702(93)90034-9openalex-snapshot
Agent-oriented programming
inferred← citeshttps://doi.org/10.1016/0004-3702(94)00005-lopenalex-snapshot
A dynamical systems perspective on agent-environment interaction
inferred← citeshttps://doi.org/10.1016/0004-3702(94)00018-vopenalex-snapshot
The use of dynamics in an intelligent controller for a space faring rescue robot
inferred← citeshttps://doi.org/10.1016/0004-3702(94)00056-7openalex-snapshot
A situated view of representation and control
inferred← citeshttps://doi.org/10.1016/0004-3702(94)00057-8openalex-snapshot
Analysis of adaptation and environment
inferred← citeshttps://doi.org/10.1016/0022-0000(89)90039-1openalex-snapshot
The complexity of reasoning about knowledge and time. I. Lower bounds
inferred← citeshttps://doi.org/10.1016/0066-4138(91)90010-9openalex-snapshot
Planning for embedded systems: A real-time prospective
inferred← citeshttps://doi.org/10.1016/0957-4174(90)90009-jopenalex-snapshot
Correctness principles for rule-based expert systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-041698-4.50014-7openalex-snapshot
Planning for embedded systems: A real-time prospective
inferred← citeshttps://doi.org/10.1016/b978-0-08-049944-4.50006-9openalex-snapshot
Declarative Goals in Reactive Plans**The work reported here was supported by DARPA through ONR under contract N00014-91-J-1577.
inferred← citeshttps://doi.org/10.1016/b978-0-08-049944-4.50029-xopenalex-snapshot
Building Plans to Monitor and Exploit Open-Loop and Closed-Loop Dynamics
inferred← citeshttps://doi.org/10.1016/b978-0-12-450010-5.50015-3openalex-snapshot
Model Checking vs. Theorem Proving: A Manifesto
inferred← citeshttps://doi.org/10.1016/b978-0-12-741252-8.50008-xopenalex-snapshot
Learning Visual Behaviors
inferred← citeshttps://doi.org/10.1016/b978-0-323-91841-1.00010-5openalex-snapshot
Promises and realities of artificial creativity
inferred← citeshttps://doi.org/10.1016/b978-0-444-70396-5.50037-6openalex-snapshot
Information and Multi-Sensor Coordination
inferred← citeshttps://doi.org/10.1016/b978-0-934613-04-0.50004-1openalex-snapshot
REASONING ABOUT KNOWLEDGE: AN OVERVIEW
inferred← citeshttps://doi.org/10.1016/b978-0-934613-04-0.50005-3openalex-snapshot
VARIETIES OF SELF-REFERENCE
inferred← citeshttps://doi.org/10.1016/b978-0-934613-04-0.50009-0openalex-snapshot
THE SYNTHESIS OF DIGITAL MACHINES WITH PROVABLE EPISTEMIC PROPERTIES
inferred← citeshttps://doi.org/10.1016/b978-0-934613-53-8.50007-8openalex-snapshot
KNOWLEDGE REPRESENTATION AND REASONING11This review draws heavily from work done with Ron Brachman. I also thank Jim des Rivières, Bart Selman, and John Tsotsos. for helping with an earlier version of the document. Financial support was received from the Natural Sciences and Engineering Research…
inferred← citeshttps://doi.org/10.1016/b978-0-934613-63-7.50007-3openalex-snapshot
A Subject-Indexed Bibliography of Distributed Artificial Intelligence
inferred← citeshttps://doi.org/10.1016/b978-008044394-2/50012-9openalex-snapshot
The World Gone Wrong? Images, Illusions, Mistakes and Misrepresentations
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50105-6openalex-snapshot
Belief Ascription and Mental-level Modelling
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50019-2openalex-snapshot
Knowledge as a Tool in Motion Planning under Uncertainty
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50020-9openalex-snapshot
Common Knowledge and Update in Finite Environments. I (Extended Abstract)
inferred← citeshttps://doi.org/10.1016/b978-1-55860-092-8.50005-8openalex-snapshot
Cooperating Agents: A Unified Theory of Communication and Social Structure
inferred← citeshttps://doi.org/10.1016/c2013-0-07700-6openalex-snapshot
Readings in Distributed Artificial Intelligence
inferred← citeshttps://doi.org/10.1016/j.robot.2010.03.003openalex-snapshot
Challenge: Concept of system life and its application to robotics
inferred← citeshttps://doi.org/10.1016/s0004-3702(97)00024-6openalex-snapshot
Modeling agents as qualitative decision makers
inferred← citeshttps://doi.org/10.1016/s0004-3702(97)00061-1openalex-snapshot
On the knowledge requirements of tasks
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00005-3openalex-snapshot
Heterogeneous active agents, I: Semantics
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00068-5openalex-snapshot
Smart office robot collaboration based on multi-agent programming
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00104-6openalex-snapshot
Heterogeneous active agents, III: Polynomially implementable agents
inferred← citeshttps://doi.org/10.1016/s0168-0072(98)00033-5openalex-snapshot
Common knowledge revisited
inferred← citeshttps://doi.org/10.1016/s0921-8890(05)80027-2openalex-snapshot
Action and planning in embedded agents
inferred← citeshttps://doi.org/10.1016/s0933-3657(03)00010-1openalex-snapshot
Automated monitoring of medical protocols: a secure and distributed architecture
inferred← citeshttps://doi.org/10.1016/s0957-4174(97)83786-4openalex-snapshot
Becoming reactive by concretization
inferred← citeshttps://doi.org/10.1017/s0269888900004367openalex-snapshot
On distributed artificial intelligence
inferred← citeshttps://doi.org/10.1017/s0269888900008122openalex-snapshot
Intelligent agents: theory and practice
inferred← citeshttps://doi.org/10.1023/a:1008322730047openalex-snapshot
AI as Complex Information Processing
inferred← citeshttps://doi.org/10.1023/a:1008839628783openalex-snapshot
GripSee: A Gesture-Controlled Robot for Object Perception and Manipulation
inferred← citeshttps://doi.org/10.1023/a:1018904206062openalex-snapshot
Foundations of distributed interaction systems
inferred← citeshttps://doi.org/10.1023/b:amai.0000031199.58726.9aopenalex-snapshot
Improving Performance of Heterogeneous Agents
inferred← citeshttps://doi.org/10.1080/0951508021000006085openalex-snapshot
The tripartite model of representation
inferred← citeshttps://doi.org/10.1080/095281397147220openalex-snapshot
On planning while Executing in stationary environments
inferred← citeshttps://doi.org/10.1093/logcom/exi078openalex-snapshot
Deductive Algorithmic Knowledge
inferred← citeshttps://doi.org/10.1108/dprg-03-2020-0032openalex-snapshot
Critical success factors for integrating artificial intelligence and robotics
inferred← citeshttps://doi.org/10.1109/69.243505openalex-snapshot
Declarative representations of multiagent systems
inferred← citeshttps://doi.org/10.1109/aihas.1992.636878openalex-snapshot
Evolution Versus Design: Controlling Autonomous Robots
inferred← citeshttps://doi.org/10.1109/aihas.1992.636884openalex-snapshot
Representing the Plan Monitoring Needs and Resources of Robotic Systems
inferred← citeshttps://doi.org/10.1109/aihas.1992.636895openalex-snapshot
Characterization of Environment Conditions with Metric Temporal Feature Logic
inferred← citeshttps://doi.org/10.1109/cdc.1988.194300openalex-snapshot
Dynamical logic observers for finite automata
inferred← citeshttps://doi.org/10.1109/cimsa.2006.250740openalex-snapshot
Modeling Technology for One Class of Multi-Agent Systems with Automata Based Programming
inferred← citeshttps://doi.org/10.1109/coase.2019.8843174openalex-snapshot
Bridging the Gap Between Semantics and Control for Industry 4.0 and Autonomous Production
inferred← citeshttps://doi.org/10.1109/icaci.2016.7449861openalex-snapshot
A reasoning system about knowledge acquisition in bi-agent interaction
inferred← citeshttps://doi.org/10.1109/icdcs.1992.235112openalex-snapshot
An epistemic logic based synthesis of communication services and protocols
inferred← citeshttps://doi.org/10.1109/icmas.1998.699049openalex-snapshot
Dynamic subsumption architecture for programming intelligent agents
inferred← citeshttps://doi.org/10.1109/indin.2006.275808openalex-snapshot
Ontology for Cognitics, Closed-Loop Agility Constraint, and Case Study ¿ a Mobile Robot with Industrial-Grade Components
inferred← citeshttps://doi.org/10.1109/iros45743.2020.9340764openalex-snapshot
Latent Space Roadmap for Visual Action Planning of Deformable and Rigid Object Manipulation
inferred← citeshttps://doi.org/10.1109/isic.1992.225087openalex-snapshot
Complex behavior specification for autonomous systems
inferred← citeshttps://doi.org/10.1109/ismvl.1998.679316openalex-snapshot
Many-valued and annotated modal logics
inferred← citeshttps://doi.org/10.1109/roman.2002.1045628openalex-snapshot
Conversational agent who achieves tasks while interacting with humans based on scenarios
inferred← citeshttps://doi.org/10.1111/j.1467-8640.1986.tb00067.xopenalex-snapshot
Toward a computational interpretation of situation semantics1
inferred← citeshttps://doi.org/10.1142/s0219622013500235openalex-snapshot
BEHAVIORAL DECISION MAKING WITH COMBINED STATES UNDER IMPERFECT INFORMATION
inferred← citeshttps://doi.org/10.1145/103516.128680openalex-snapshot
A model-theoretic analysis of knowledge
inferred← citeshttps://doi.org/10.1145/12130.12161openalex-snapshot
The complexity of reasoning about knowledge and time
inferred← citeshttps://doi.org/10.1145/122344.122361openalex-snapshot
A situated-automata approach to the design of embedded agents
inferred← citeshttps://doi.org/10.1145/1324215.1324231openalex-snapshot
Symbolic model checking for temporal-epistemic logics
inferred← citeshttps://doi.org/10.1145/265910.265912openalex-snapshot
Applications of a logic of knowledge to motion planning under uncertainty
inferred← citeshttps://doi.org/10.1145/28395.28419openalex-snapshot
Zero knowledge proofs of identity
inferred← citeshttps://doi.org/10.1145/336595.337580openalex-snapshot
A Multi-agent system architecture for monitoring medical protocols
inferred← citeshttps://doi.org/10.1145/337244.337251openalex-snapshot
An axiomatic treatment of three qualitative decision criteria
inferred← citeshttps://doi.org/10.1145/62212.62218openalex-snapshot
Reasoning about knowledge and time in asynchronous systems
inferred← citeshttps://doi.org/10.1145/79147.79161openalex-snapshot
Knowledge and common knowledge in a distributed environment
inferred← citeshttps://doi.org/10.1145/860575.860610openalex-snapshot
First order heterogeneous agent computations
inferred← citeshttps://doi.org/10.1146/annurev.cs.04.060190.001223openalex-snapshot
Coordinated Problem Solvers
inferred← citeshttps://doi.org/10.1207/s15516709cog1701_7openalex-snapshot
Situated Action: A Neuropsychological Interpretation Response to Vera and Simon
inferred← citeshttps://doi.org/10.1305/ndjfl/1093636678openalex-snapshot
Information and circumstance.
inferred← citeshttps://doi.org/10.13140/rg.2.2.20566.70721openalex-snapshot
Decentralised Data Fusion Using Agents
inferred← citeshttps://doi.org/10.1590/s0103-40142000000200012openalex-snapshot
Paraconsistência em informática e inteligência artificial
inferred← citeshttps://doi.org/10.1609/aimag.v10i4.966openalex-snapshot
In defense of reaction plans as caches
inferred← citeshttps://doi.org/10.1609/aimag.v9i2.680openalex-snapshot
DARPA Santa Cruz Workshop on Planning
inferred← citeshttps://doi.org/10.17560/atp.v61i5.2422openalex-snapshot
Der digitale Zwilling in der autonomen Robotik
inferred← citeshttps://doi.org/10.20868/upm.thesis.108openalex-snapshot
Arquitectura multiagente para E/S de alto rendimiento en clusters
inferred← citeshttps://doi.org/10.21954/ou.ro.0000dfe4openalex-snapshot
Design, decisions and dialogue
inferred← citeshttps://doi.org/10.22481/intermaths.v4i2.14133openalex-snapshot
A basic epistemic logic and its algebraic model
inferred← citeshttps://doi.org/10.2307/2108053openalex-snapshot
Heidegger and Artificial Intelligence
inferred← citeshttps://doi.org/10.2514/6.1987-2822openalex-snapshot
Rex - A symbolic language for the design and parallel implementationof embedded systems
inferred← citeshttps://doi.org/10.25439/rmt.27332751openalex-snapshot
Hermes: goal-oriented interactions for intelligent agents
inferred← citeshttps://doi.org/10.25439/rmt.27354492openalex-snapshot
Debugging multi-agent systems with design documents
inferred← citeshttps://doi.org/10.3233/fi-2010-276openalex-snapshot
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
inferred← citeshttps://doi.org/10.46254/an14.20240608openalex-snapshot
Artificial Intelligence Adoption in Education A Study on Attitudes, Readiness, and Intention
inferred← citeshttps://doi.org/10.48550/arxiv.1302.1570openalex-snapshot
On Stable Multi-Agent Behavior in Face of Uncertainty
inferred← citeshttps://doi.org/10.48550/arxiv.1304.3088openalex-snapshot
Information and Multi-Sensor Coordination
inferred← citeshttps://doi.org/10.5555/1838206.1838293openalex-snapshot
Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems
inferred← citeshttps://doi.org/10.7210/jrsj.17.16openalex-snapshot
Cognitive Robotics. An architecture of cognitive robots.
inferred← citeshttps://doi.org/10.7551/mitpress/3116.003.0076openalex-snapshot
Why Should We Build Artificial Worms and How?
inferred← citeshttps://doi.org/10.7551/mitpress/3487.001.0001openalex-snapshot
Heterogeneous Agent Systems
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.