On the public citation graph
A decision procedure for a temporal belief logic
0 signed · 39 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.1007/3-540-51803-7_36openalex-snapshot
The declarative past and imperative future
inferredcites →https://doi.org/10.1007/3-540-57287-2_35openalex-snapshot
Specifying and verifying distributed Intelligent systems
inferredcites →https://doi.org/10.1007/978-1-4471-0335-6openalex-snapshot
Mathematical Logic for Computer Science
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/978-94-009-6259-0_3openalex-snapshot
Combinations of Tense and Modality
inferredcites →https://doi.org/10.1007/978-94-017-0462-5_3openalex-snapshot
Combinations of Tense and Modality
inferredcites →https://doi.org/10.1016/0004-3702(92)90049-4openalex-snapshot
A guide to completeness and complexity for modal logics of knowledge and belief
inferredcites →https://doi.org/10.1016/0022-0000(89)90039-1openalex-snapshot
The complexity of reasoning about knowledge and time. I. Lower bounds
inferredcites →https://doi.org/10.1016/0304-3975(88)90024-2openalex-snapshot
Knowledge, belief and time
inferredcites →https://doi.org/10.1016/0954-1810(91)90005-9openalex-snapshot
Readings in distributed artificial intelligence
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot
Temporal and Modal Logic
inferredcites →https://doi.org/10.1016/b978-0-934613-04-0.50026-0openalex-snapshot
A RESOLUTION METHOD FOR QUANTIFIED MODAL LOGICS OF KNOWLEDGE AND BELIEF
inferredcites →https://doi.org/10.1016/b978-0-934613-67-5.50015-0openalex-snapshot
Temporal Reasoning in Artificial Intelligence
inferredcites →https://doi.org/10.1016/c2013-0-07700-6openalex-snapshot
Readings in Distributed Artificial Intelligence
inferredcites →https://doi.org/10.1017/s0269888900004884openalex-snapshot
Logics for reasoning about knowledge and belief
inferredcites →https://doi.org/10.1145/12130.12161openalex-snapshot
The complexity of reasoning about knowledge and time
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
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-61313-7_72openalex-snapshot
A resolution-based proof method for temporal logics of knowledge and belief
inferred← citeshttps://doi.org/10.1007/3-540-62591-7_21openalex-snapshot
Issues in agent-based software engineering
inferred← citeshttps://doi.org/10.1007/3540608052_57openalex-snapshot
Decision procedures for prepositional linear-time belief-desire-intention logics
inferred← citeshttps://doi.org/10.1007/3540608052_81openalex-snapshot
Agent theories, architectures, and languages: A bibliography
inferred← citeshttps://doi.org/10.1007/978-1-4613-1427-1_14openalex-snapshot
The Credible Modelling of Economic Agents with Limited Rationality
inferred← citeshttps://doi.org/10.1007/978-3-642-14435-6_1openalex-snapshot
An Introduction to Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/bfb0013597openalex-snapshot
A knowledge-theoretic semantics for concurrent MetateM
inferred← citeshttps://doi.org/10.1007/bfb0031845openalex-snapshot
AgentSpeak(L): BDI agents speak out in a logical computable language
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.042openalex-snapshot
Formal Specification and Verification of Multi-Agent Systems
inferred← citeshttps://doi.org/10.1016/s0004-3702(02)00196-0openalex-snapshot
Clausal resolution in a logic of rational agency
inferred← citeshttps://doi.org/10.1017/s0269888900008122openalex-snapshot
Intelligent agents: theory and practice
inferred← citeshttps://doi.org/10.1049/ip-sen:19971026openalex-snapshot
Agent-based software engineering
inferred← citeshttps://doi.org/10.1080/11663081.1998.10510944openalex-snapshot
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
inferred← citeshttps://doi.org/10.1093/logcom/8.3.293openalex-snapshot
Decision procedures for BDI logics
inferred← citeshttps://doi.org/10.1093/logcom/8.3.345openalex-snapshot
Resolution for temporal logics of knowledge
inferred← citeshttps://doi.org/10.1145/2910574openalex-snapshot
A Collaborative Energy-Aware Sensor Management System Using Team Theory
inferred← citeshttps://doi.org/10.14236/ewic/fa1996.8openalex-snapshot
Towards Formal Methods for Agent-Based Systems
inferred← citeshttps://doi.org/10.31812/0564/591openalex-snapshot
Комп’ютерне моделювання та інформаційні технології в природничих науках
inferred← citeshttps://doi.org/10.3390/app112110397openalex-snapshot
Methods for Weighting Decisions to Assist Modelers and Decision Analysts: A Review of Ratio Assignment and Approximate Techniques
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.