scientific article

zbMath0683.68080MaRDI QIDQ3992823

Kurt Konolige

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

nonclassical logicautomated theorem-provinglogic of belief

Mathematics Subject Classification ID

Related Items (39)

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

This page was built for publication: