Pages that link to "Item:Q2276949"

The following pages link to All I know: A study in autoepistemic logic (Q2276949):

Displaying 50 items.

• Belief change in branching time: AGM-consistency and iterated revision (Q421352) (← links)
• Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM (Q535330) (← links)
• John McCarthy's legacy (Q543573) (← links)
• A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
• Iterated regret minimization: a new solution concept (Q665088) (← links)
• Reasoning with infinite stable models (Q814596) (← links)
• A positive information logic for inferential information (Q833030) (← links)
• Reasoning about coalitional games (Q834401) (← links)
• Semantical considerations on multiagent only knowing (Q892188) (← links)
• Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
• A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
• The many faces of counts-as: A formal analysis of constitutive rules (Q931777) (← links)
• Diversity of agents and their interaction (Q1006512) (← links)
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic (Q1028901) (← links)
• The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning (Q1182167) (← links)
• A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
• A logic of knowledge and justified assumption (Q1199920) (← links)
• How to reason defeasibly (Q1199924) (← links)
• Modal logics for qualitative possibility theory (Q1318249) (← links)
• Minimal knowledge problem: A new approach (Q1329374) (← links)
• Unifying default reasoning and belief revision in a modal framework (Q1330669) (← links)
• Conditional logics of normality: A modal approach (Q1330670) (← links)
• Downward refinement and the efficiency of hierarchical problem solving (Q1341665) (← links)
• Minimal belief and negation as failure (Q1342215) (← links)
• Limited reasoning in first-order knowledge bases (Q1343837) (← links)
• Possible world semantics and autoepistemic reasoning (Q1343838) (← links)
• Querying disjunctive databases through nonmonotonic logics (Q1350535) (← links)
• Counterfactual reasoning by (means of) defaults (Q1353877) (← links)
• Multi-valued autoepistemic logic (Q1380408) (← links)
• Sound and efficient closed-world reasoning for planning (Q1399125) (← links)
• Definability and commonsense reasoning (Q1402721) (← links)
• Safe inductions and their applications in knowledge representation (Q1647517) (← links)
• On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief (Q1677044) (← links)
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty (Q1677438) (← links)
• Modelling incomplete information in Boolean games using possibilistic logic (Q1726370) (← links)
• Uniform semantic treatment of default and autoepistemic logics (Q1853682) (← links)
• Levesque's axiomatization of only knowing is incomplete (Q1855217) (← links)
• Abduction as belief revision (Q1855234) (← links)
• Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning (Q1924777) (← links)
• Logic programming and reasoning with incomplete information (Q1924820) (← links)
• On the decidability and complexity of reasoning about only knowing (Q1978243) (← links)
• \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions (Q2029709) (← links)
• Limited reasoning in first-order knowledge bases with full introspection (Q2171268) (← links)
• Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
• A simple logic for reasoning about incomplete knowledge (Q2353977) (← links)
• Only knowing with degrees of confidence (Q2372201) (← links)
• Integrity constraints in OWL ontologies based on grounded circumscription (Q2418659) (← links)
• Capturing equilibrium models in modal logic (Q2447178) (← links)
• Knowledge and communication: A first-order theory (Q2457657) (← links)
• Knowledge updates: Semantics and complexity issues (Q2457677) (← links)