scientific article
From MaRDI portal
Publication:3992823
zbMath0683.68080MaRDI QIDQ3992823
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
MOLOG: A system that extends PROLOG with modal logic, Resolution theorem proving in reified modal logics, Unnamed Item, Theorem proving for intensional logic, Temporalizing Modal Epistemic Logic, Handling database updates in two-dimensional temporal logic, Active logic semantics for a single agent in a static world, Avoiding omnidoxasticity in logics of belief: A reply to MacPherson, Uniform and non uniform strategies for tableaux calculi for modal logics, Logical omniscience as infeasibility, Indexical knowledge and robot action -- a logical account, The fundamental problem of logical omniscience, Postulates for revising BDI structures, Probabilistic belief logic and its probabilistic Aumann semantics, Dynamic Epistemic Logic and Logical Omniscience, Resolution for some first-order modal systems, Ideal and real belief about belief, On the factivity of implicit intersubjective knowledge, Reasoning about reasoning in a meta-level architecture, Maintaining mental models of agents who have existential misconceptions, On computable beliefs of rational machines, A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics, A logic of intentions and beliefs, John McCarthy's legacy, Dealing with logical omniscience: expressiveness and pragmatics, Belief ascription under bounded resources, The Arthur Prior memorial conference, Christchurch, 1989, Epistemic logic for rule-based agents, A logic of situated resource-bounded agents, Rethinking epistemic logic with belief bases, Knowledge, Time, and Logical Omniscience, Reaching agreements through argumentation: a logical model and implementation, A Logical Splitting Strategy for the Belief Structure of Agents, Verifying time, memory and communication bounds in systems of reasoning agents, A probabilistic semantics for belief logic, A computational model of belief, Belief as defeasible knowledge, Adding a temporal dimension to a logic system, Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
