scientific article
From MaRDI portal
Publication:4028821
zbMath0765.68194MaRDI QIDQ4028821
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (74)
Semantics of plan revision in intelligent agents ⋮ Archimedean overlap functions: the ordinal sum and the cancellation, idempotency and limiting properties ⋮ Bounded situation calculus action theories ⋮ Specification and Verification of Multi-Agent Systems ⋮ How to decide what to do? ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ A Theory of Intentions for Intelligent Agents ⋮ Logic and social cognition. The facts matter, and so do computational models ⋮ Logical theories of intention and the database perspective ⋮ Dynamics and control in component-based agent models ⋮ Agent-oriented modeling of the dynamics of biological organisms ⋮ Reasoning about Agent Programs Using ATL-Like Logics ⋮ Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies ⋮ Beliefs, obligations, intentions, and desires as components in an agent architecture ⋮ Verifying autonomous systems ⋮ My beliefs about your beliefs: a case study in theory of mind and epistemic logic ⋮ Towards a theory of intention revision ⋮ ALX, an action logic for agents with bounded rationality ⋮ Collaborative plans for complex group action ⋮ The rationale behind the concept of goal ⋮ Postulates for revising BDI structures ⋮ Maintaining awareness using policies; Enabling agents to identify relevance of information ⋮ Probabilistic belief logic and its probabilistic Aumann semantics ⋮ Formalising the informal? Dynamic social order, bottom-up social control, and spontaneous normative relations. ⋮ Agent deliberation in an executable temporal framework ⋮ Levels of modality for BDI logic ⋮ On the dynamic logic of agency and action ⋮ Probability, logic and the cognitive foundations of rational belief. ⋮ Unnamed Item ⋮ Abductive logic programming agents with destructive databases ⋮ The law of \(O\)-conditionality for fuzzy implications constructed from overlap and grouping functions ⋮ Where logic and agents meet ⋮ A methodology to develop awareness in computer supported collaborative work using policies ⋮ Intelligent agents in the Situation Calculus: An application to user modelling ⋮ Practical reasoning with procedural knowledge ⋮ A logic of intention and attempt ⋮ A logic-based model of intention formation and action for multi-agent subcontracting ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ Computer Graphics and Games, Agent-Based Modeling in ⋮ On \((G, N)\)-implications derived from grouping functions ⋮ Intention as commitment toward time ⋮ On residual implications derived from overlap functions ⋮ Unnamed Item ⋮ Local properties in modal logic ⋮ An internal version of epistemic logic ⋮ Temporal agent programs ⋮ Interactions between knowledge, action and commitment within agent dynamic logic ⋮ Logical-epistemic foundations of general game descriptions ⋮ Information sharing between heterogeneous uncertain reasoning models in a multi-agent environment: A case study ⋮ Unnamed Item ⋮ The Coherence of Theories—Dependencies and Weights ⋮ Combining Multiple Knowledge Representation Technologies into Agent Programming Languages ⋮ Actions with Failures in Interval Temporal Logic ⋮ Formal Modelling of Emotions in BDI Agents ⋮ ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations ⋮ On additive generators of overlap functions ⋮ BDI-modelling of complex intracellular dynamics ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization ⋮ On combinations of propositional dynamic logic and doxastic modal logics ⋮ A logic of situated resource-bounded agents ⋮ A strategy learning model for autonomous agents based on classification ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ A Modal Framework for Relating Belief and Signed Information ⋮ On Additive Generators of Grouping Functions ⋮ Reaching agreements through argumentation: a logical model and implementation ⋮ Modelling social action for AI agents ⋮ Reactive Policies with Planning for Action Languages ⋮ A logical formalization of the OCC theory of emotions ⋮ Common-sense reasoning as proto-scientific agent activity ⋮ Joint action and group action made precise ⋮ Local reductions for the modal cube ⋮ Clausal resolution in a logic of rational agency ⋮ Process-algebraic approaches for multi-agent systems: an overview ⋮ Algebraic specification of agent computation
This page was built for publication:
