Logical Theories of Intention and the Database Perspective

No abstract is available for this paper.

• Publication year

  2009

• Venue

  Journal of Philosophical Logic

• Publication date

  2009-10-08

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1007/s10992-009-9116-8
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences

  2009cited by this paper
• Intentions and interactive transformations of decision problems

  2009cited by this paper
• Spheres of reason: new essays In the philosophy of Normativity

  2009cited by this paper
• Thinking before acting : intentions, logic, rational choice

  2008cited by this paper
• Handbook of Knowledge Representation

  2008cited by this paper
• Dynamic Epistemic Logic and Knowledge Puzzles

  2007cited by this paper
• The American Model Penal Code: A Brief Overview

  2007cited by this paper
• Towards a theory of intention revision

  2007cited by this paper
• Action in context

  2007cited by this paper
• Normativity and the Will

  2004cited by this paper
• C&L Intention Revisited

  2004cited by this paper
• Trying, Intending, and Attempted Crimes

  2004cited by this paper
• Towards a Logic of Rational Agency

  2003cited by this paper
• Chapter 13 – Labelled Deductive Systems

  2003cited by this paper
• Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

  2002cited by this paper
• Dynamic logic

  2001cited by this paper
• Change, choice and inference - a study of belief revision and nonmonotonic reasoning

  2001cited by this paper
• Evaluating new options in the context of existing plans

  2001cited by this paper
• Reasoning, Meaning, and Mind

  1999cited by this paper
• Modeling Belief in Dynamic Systems, Part II: Revisions and Update

  1999cited by this paper
• Dynamic epistemic logic

  1998cited by this paper
• Modeling Rational Agents within a BDI-Architecture

  1997cited by this paper
• Recent Advances in AI Planning

  1997cited by this paper
• Practical Reasoning

  1996cited by this paper
• Exploring logical dynamics

  1996cited by this paper
• Reasoning about knowledge

  1995cited by this paper
• Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1: Logical Foundations

  1995cited by this paper
• Representing Preferences as Ceteris Paribus Comparatives

  1994cited by this paper
• Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version)

  1994cited by this paper
• Belief Revision

  1994cited by this paper
• Agent-Oriented Programming

  1992cited by this paper
• Nonmonotonic Temporal Reasoning

  1992cited by this paper
• Intention, Plans, and Practical Reason

  1991cited by this paper
• Generalized Kripke models or epistemic logic

  1991cited by this paper
• Change in View

  1987cited by this paper
• Temporal Data Base Management

  1987influential reference
• Intention = Choice + Commitment

  1987influential reference
• An Assumption-Based TMS

  1987cited by this paper
• SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE

  1987cited by this paper
• On the logic of theory change: Partial meet contraction and revision functions

  1985cited by this paper
• Contexts and Data Dependencies: A Synthesis

  1983cited by this paper
• A Temporal Logic for Reasoning About Processes and Plans

  1982cited by this paper
• Naming and Necessity

  1980cited by this paper
• Towards a Theory of Intentionality

  1970cited by this paper
• What Good Is It?

  1957cited by this paper
• Handbook of Knowledge Representation Edited Belief Revision Pavlos Peppas 8.1 Introduction

  year unknowncited by this paper

• Graded Distributed Belief

  2025cites this paper
• Intents in Actions

  2025cites this paper
• A framework for building explainable collaborative multimodal dialogue systems using a theory of mind

  2025cites this paper
• A Computable Game-Theoretic Framework for Multi-Agent Theory of Mind

  2025cites this paper
• Revising Beliefs and Intentions in Stochastic Environments

  2024cites this paper
• Modeling and shadowing paraconsistent BDI agents

  2023cites this paper
• Probabilistic Temporal Logic for Reasoning about Bounded Policies

  2023influential citation
• A logical modeling of the Yōkai board game

  2023cites this paper
• A Probabilistic Finite Temporal Logic for Policies and Intentions

  2022cites this paper
• Logical Theories of Collective Attitudes and the Belief Base Perspective

  2022cites this paper
• A Qualitative Theory of Cognitive Attitudes and their Change

  2021cites this paper
• A DIY sensor kit, Gaussian Processes and a multi-agent system fused into a smart beekeeping assistant

  2020cites this paper
• Intention as Commitment toward Time

  2020influential citation
• Beliefs, Time and Space: A Language for the Yōkai Board Game

  2020cites this paper
• Algebraic Foundations for Non-Monotonic Practical Reasoning

  2020cites this paper
• Cognitive interaction with virtual assistants: From philosophical foundations to illustrative examples in aeronautics

  2019cites this paper
• Exploiting Belief Bases for Building Rich Epistemic Structures

  2019influential citation
• Decision Procedures for Epistemic Logic Exploiting Belief Bases

  2019influential citation
• Reasoning About Cognitive Attitudes in a Qualitative Setting

  2019cites this paper
• Rethinking Epistemic Logic with Belief Bases

  2018cites this paper
• Rational Enterprise Architecture

  2017cites this paper
• Cognitive interaction: Towards "cognitivity" requirements for the design of virtual assistants

  2017cites this paper
• AI*IA 2017 Advances in Artificial Intelligence

  2017influential citation
• Deciding Refinement Relation in Belief-Intention Databases

  2017cites this paper
• Non-Monotonic Logic for Distributed Access Control 4 2

  2016cites this paper
• Choices that make you chnage your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming languages

  2016cites this paper
• Leadership Strategies for Retaining Healthcare Professionals

  2016cites this paper
• BDI Logics for BDI Architectures: Old Problems, New Perspectives

  2016cites this paper
• AGM-Style Revision of Beliefs and Intentions

  2016influential citation
• Refinement of Intentions

  2016cites this paper
• Logic and Ethics: An Integrated Model for Norms, Intentions and Actions

  2015cites this paper
• AGM Revision of Beliefs about Action and Time

  2015cites this paper
• ARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions

  2015influential citation
• Revision of Beliefs about Action and Time

  2015cites this paper
• Consistency Conditions for Beliefs and Intentions

  2015cites this paper
• Why knowledge representation matters

  2015cites this paper
• Rational Architecture = Architecture from a Recommender Perspective

  2015cites this paper
• Introspection, Normality and Agglomeration

  2015cites this paper
• Collective Intention Revision from a Database Perspective

  2014cites this paper
• Logical Dynamics of Information and Interaction: Contents

  2014cites this paper
• Compliance by design: Synthesis of business processes by declarative specifications

  2014cites this paper
• Changing Commitments Based on Reasons and Assumptions

  2013cites this paper
• Towards a Principle-Based Framework for Enterprise Architecture Rationalization

  2013cites this paper
• BDI Logics

  2012cites this paper
• Changing Agreements: Intention Reconsideration based on Assumptions and Reasons

  2012cites this paper
• Turning personal calendars into scheduling assistants

  2012cites this paper
• INTERPERSONAL COORDINATION AND EPISTEMIC SUPPORT FOR INTENTIONS WITH WE-CONTENT

  2010cites this paper
• Intention Change via Local Assignments

  2010cites this paper
• Joint revision of belief and intention

  2010cites this paper
• Intentions in Equilibrium

  2010cites this paper
• Postulates for revising BDI structures

  2010cites this paper