A Logic of Implicit and Explicit Belief

No abstract is available for this paper.

• Publication year

  1984

• Venue

  AAAI Conference on Artificial Intelligence

• Publication date

  1984-08-06

• Fields of study

  Philosophy, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A deduction model of belief

  1986cited by this paper
• Situations and Attitudes.

  1986cited by this paper
• A deduction model of belief and its logics

  1984cited by this paper
• Foundations of a Functional Approach to Knowledge Representation

  1984cited by this paper
• Krypton: A Functional Approach to Knowledge Representation

  1983cited by this paper
• Computational Models of Belief and the Semantics of Belief Sentences

  1982cited by this paper
• Elements of a Plan-Based Theory of Speech Acts

  1979cited by this paper
• A Useful Four-Valued Logic

  1977cited by this paper
• Reasoning About Knowledge and Action

  1977cited by this paper
• Impossible possible worlds vindicated

  1975cited by this paper
• KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions

  1963cited by this paper

• Knowledge-Integrated Representation Learning for Crypto Anomaly Detection under Extreme Label Scarcity; Relational Domain-Logic Integration with Retrieval-Grounded Context and Path-Level Explanations

  2026cites this paper
• FC-CONAN: An Exhaustively Paired Dataset for Robust Evaluation of Retrieval Systems

  2026cites this paper
• ALFRED: Ask a Large-language model For Reliable ECG Diagnosis

  2025cites this paper
• From Potential to Actual Knowledge: A New Framework in Probabilistic Epistemic Logic

  2025cites this paper
• THOR: A Generic Energy Estimation Approach for On-Device Training

  2025cites this paper
• The Role of Video Generation in Enhancing Data-Limited Action Understanding

  2025cites this paper
• Graded Distributed Belief

  2025cites this paper
• Epistemic Logics for Relevant Reasoners

  2024cites this paper
• The Risk of Federated Learning to Skew Fine-Tuning Features and Underperform Out-of-Distribution Robustness

  2024cites this paper
• BootTOD: Bootstrap Task-oriented Dialogue Representations by Aligning Diverse Responses

  2024cites this paper
• Lex AI: Solution for Governance of Artificial Intelligence in Indonesia

  2024cites this paper
• RIDA: a robust attack framework on incomplete graphs

  2024cites this paper
• Implicit knowledge in unawareness structures

  2023cites this paper
• Improved Bitcoin Price Prediction based on COVID-19 data

  2023cites this paper
• Lattice-Based A L C Ontology Embeddings With Saturation

  2023cites this paper
• Cognitive synonymy: a dead parrot?

  2023cites this paper
• Relevant Reasoning and Implicit Beliefs

  2023cites this paper
• Hyperintensional Partial Meet Contractions

  2022cites this paper
• Relevant Reasoners in a Classical World

  2022cites this paper
• Reasoning about manipulation in multi-agent systems

  2022cites this paper
• : A Computational Perspective (cid:3)

  2022cites this paper
• Deep Algebraic Fitting for Multiple Circle Primitives Extraction from Raw Point Clouds

  2022cites this paper
• DIMBA: discretely masked black-box attack in single object tracking

  2022cites this paper
• Confidence Dimension for Deep Learning based on Hoeffding Inequality and Relative Evaluation

  2022cites this paper
• Awareness as Potential for Knowledge

  2022cites this paper
• Exploring the Vulnerability of Deep Reinforcement Learning-based Emergency Control for Low Carbon Power Systems

  2022cites this paper
• Yet again, quantum indeterminacy is not worldly indecision

  2021cites this paper
• Belief Base Contraction by Cutting Connections

  2021cites this paper
• Formal Model for Explicit Aware Knowledge

  2021cites this paper
• Belief base change as priority change: A study based on dynamic epistemic logic

  2021cites this paper
• Knowledge as an Epistemological and Logical Concept

  2021cites this paper
• Subtl.ai at the FinSBD-2 task: Document Structure Identification by Paying Attention

  2021cites this paper
• Knowledge, Awareness and Probabilistic Beliefs

  2021cites this paper
• Awareness of and awareness that: their combination and dynamics

  2020cites this paper
• Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers

  2020cites this paper
• Bayesianism for Non-ideal Agents

  2020cites this paper
• A First-Order Logic of Limited Belief Based on Possible Worlds

  2020cites this paper
• The Dynamic Epistemic Logic for Actual Knowledge

  2020cites this paper
• A Deep Reinforcement Learning Framework for Optimal Trade Execution

  2020cites this paper
• Explainable, Transparent Autonomous Agents and Multi-Agent Systems: Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9–13, 2020, Revised Selected Papers

  2020cites this paper
• Grounding Awareness on Belief Bases

  2020influential citation
• Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit

  2020cites this paper
• A Four-Valued Dynamic Epistemic Logic

  2020cites this paper
• Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives

  2020cites this paper
• Bilattice logic of epistemic actions and knowledge

  2020cites this paper
• From Discursive Practice to Logic? Remarks on Logical Expressivism

  2020cites this paper
• Towards the Role of Theory of Mind in Explanation

  2020cites this paper
• Denn as a highlighting-sensitive particle

  2020cites this paper
• Denn as a highlighting-sensitive particle

  2020cites this paper
• Bayesianism for Non-ideal Agents

  2020cites this paper
• Hyperintensionality of Deontic Modals: An Argument from Analogy

  2019cites this paper
• Explorer Implicitly Learning to Reason in First-Order Logic

  2019cites this paper
• A three-valued doxastic logic based on Kleene’s and Bochvar’s ideas

  2019cites this paper
• Implicitly Learning to Reason in First-Order Logic

  2019cites this paper
• Boulesic-Doxastic Logic

  2019cites this paper
• A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief

  2019cites this paper
• Decision Procedures for Epistemic Logic Exploiting Belief Bases

  2019cites this paper
• Reason-maintenance Belief Logic with Uncertain Information

  2019cites this paper
• A Two-Layer Partition Awareness Structure

  2019cites this paper
• Impossible Worlds

  2019cites this paper
• Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic

  2019cites this paper
• The Fundamental Problem of Logical Omniscience

  2019cites this paper
• Bringing Belief Base Change into Dynamic Epistemic Logic

  2019cites this paper
• Hyperintensional logics for everyone

  2019cites this paper
• An Invitation to New Essays on Belnap-Dunn Logic

  2019cites this paper
• First Degree Entailment with Group Attitudes and Information Updates

  2019cites this paper
• Evolving robot empathy towards humans with motor disabilities through artificial pain generation

  2018cites this paper
• Trajectory Mining Using Uncertain Sensor Data

  2018cites this paper
• Implicit and Explicit Stances in Logic

  2018cites this paper
• Implicit, explicit and speculative knowledge

  2018cites this paper
• A Dynamic Solution to the Problem of Logical Omniscience

  2018cites this paper
• Spatial Pyramid Pooling Mechanism in 3D Convolutional Network for Sentence-Level Classification

  2018cites this paper
• Simple Hyperintensional Belief Revision

  2018cites this paper
• The Complexity of Limited Belief Reasoning - The Quantifier-Free Case

  2018cites this paper
• Rethinking Epistemic Logic with Belief Bases

  2018cites this paper
• Logical Dynamics and Dynamical Systems

  2018cites this paper
• The Dynamics of Epistemic Attitudes in Resource-Bounded Agents

  2018cites this paper
• In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds

  2018cites this paper
• Knowability Relative to Information

  2018cites this paper
• Computer implementation of a chosen version of strong belief logic

  2018cites this paper
• 1 IMPLICIT AND EXPLICIT STANCES IN LOGIC

  2018cites this paper
• Doxastic logic: a new approach

  2018cites this paper
• Partial meet pseudo-contractions

  2018cites this paper
• Habilitation à Diriger des Recherches ( HDR ) Logical Dynamics

  2017cites this paper
• Evidence-Based Belief Revision for Non-Omniscient Agents

  2017cites this paper
• On Incorporating Reasoning Time into Epistemic Logic

  2017cites this paper
• Omniscience and Semantic Information

  2017cites this paper
• Common Sense, the Turing Test, and the Quest for Real AI

  2017cites this paper
• Temporal planning with fuzzy constraints and preferences

  2017cites this paper
• From Discursive Practice to Logic? Remarks on Brandom’s LogicalExpressivism

  2017cites this paper
• Multi-valued Extension of Putnam-Davis Procedure

  2017cites this paper
• A Reasoning System for a First-Order Logic of Limited Belief

  2017cites this paper
• SAT-BASED BOUNDED MODEL CHECKING FOR TIMED INTERPRETED SYSTEMS AND THE RTECTLK PROPERTIES

  2016cites this paper
• Decidable Reasoning in a First-Order Logic of Limited Conditional Belief

  2016cites this paper
• Making explicit domain knowledge in formal system development

  2016cites this paper
• Online Bayesian Learning in Probabilistic Graphical Models using Moment Matching with Applications

  2016cites this paper
• Decidable Reasoning in a Logic of Limited Belief with Function Symbols

  2016cites this paper
• Tractable approximate deduction for OWL

  2016cites this paper
• Common Knowledge : A Survey

  2016cites this paper
• Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking

  2016cites this paper