Pages that link to "Item:Q799390"

The following pages link to Foundations of a functional approach to knowledge representation (Q799390):

Displaying 36 items.

• Abduction in economics: a conceptual framework and its model (Q484912) (← links)
• Semantical considerations on multiagent only knowing (Q892188) (← links)
• Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
• An epistemic operator for description logics (Q1128772) (← 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)
• Defeasible inheritance: A lattice based approach (Q1202666) (← links)
• On first-order conditional logics (Q1274556) (← links)
• Belief as defeasible knowledge (Q1313959) (← links)
• Minimal belief and negation as failure (Q1342215) (← links)
• Limited reasoning in first-order knowledge bases (Q1343837) (← links)
• A deontic approach to database integrity (Q1353862) (← links)
• The relationship between knowledge, belief, and certainty (Q1354089) (← links)
• The complexity of concept languages (Q1363785) (← links)
• The complexity of query evaluation in indefinite temporal constraint databases (Q1369238) (← links)
• Modeling agents as qualitative decision makers (Q1391353) (← links)
• Is intractability of nonmonotonic reasoning a real drawback? (Q1391905) (← links)
• Querying temporal and spatial constraint networks in PTIME (Q1589478) (← links)
• EXPtime tableaux for ALC (Q1589576) (← links)
• The complexity of theory revision (Q1606294) (← links)
• Belief revision and projection in the epistemic situation calculus (Q1680698) (← links)
• Naming and identity in epistemic logic. II: A first-order logic for naming (Q1855214) (← links)
• Levesque's axiomatization of only knowing is incomplete (Q1855217) (← links)
• On the decidability and complexity of reasoning about only knowing (Q1978243) (← links)
• Propositional belief base update and minimal change (Q1978472) (← links)
• Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
• Abduction: a categorical characterization (Q2018608) (← links)
• Limited reasoning in first-order knowledge bases with full introspection (Q2171268) (← links)
• All I know: A study in autoepistemic logic (Q2276949) (← links)
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming (Q2351607) (← links)
• Reflections on the knowledge level (Q2675268) (← links)
• Indexical knowledge and robot action -- a logical account (Q2675278) (← links)
• Combining Multiple Knowledge Representation Technologies into Agent Programming Languages (Q3601786) (← links)
• Relating only knowing to minimal belief and negation as failure (Q4317909) (← links)
• The Universe of Approximations (Q4924531) (← links)
• On intuitionistic query answering in description bases (Q5210783) (← links)