The following pages link to Practical Reasoning (Q4632284):
Displaying 39 items.
- Integrating statistical audit evidence with belief function theory (Q4632285) (← links)
- A comparative survey of default logic variants (Q4632286) (← links)
- Modal logics with relative accessibility relations (Q4632287) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- A unified framework for hypothetical and practical reasoning (1): Theoretical foundations (Q4632289) (← links)
- A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications (Q4632290) (← links)
- General domain circumscription and its first-order reduction (Q4632291) (← links)
- Specification of nonmonotonic reasoning (Q4632292) (← links)
- Intelligent agents in the Situation Calculus: An application to user modelling (Q4632293) (← links)
- Talkin'bout consistency, or: When logically possible becomes possible (Q4632294) (← links)
- Reasoning about reasoning (Q4632295) (← links)
- A resolution-based proof method for temporal logics of knowledge and belief (Q4632296) (← links)
- A methodology for iterated theory change (Q4632297) (← links)
- A formal framework for causal modeling and argumentation (Q4632298) (← links)
- Goals in argumentation (Q4632299) (← links)
- An abductive proof procedure for conditional logic programming (Q4632300) (← links)
- Commands in dialogue logic (Q4632301) (← links)
- Ideal and real belief about belief (Q4632302) (← links)
- Analogical reasoning of organic reactions based on the structurized compound-reaction diagram (Q4632305) (← links)
- Labelling ideality and subideality (Q4632306) (← links)
- Aristotle, Whately, and the taxonomy of fallacies (Q4632308) (← links)
- Nonmonotonic reasoning with multiple belief sets (Q4632309) (← links)
- The need for a dialectical tier in arguments (Q4632311) (← links)
- Two kinds of non-monotonic analogical inference (Q4632312) (← links)
- Formal reasoning about modules, reuse and their correctness (Q4632313) (← links)
- A tableau calculus for first-order branching time logic (Q4632314) (← links)
- Possible world semantics for analogous reasoning (Q4632316) (← links)
- Graded inheritance nets for knowledge representation (Q4632318) (← links)
- Defining normative systems for qualitative argumentation (Q4632319) (← links)
- A system for defeasible argumentation, with defeasible priorities (Q4632320) (← links)
- Modal logic for modelling actions and agents (Q4632321) (← links)
- Formalization of reasoning about default action (preliminary report) (Q4632322) (← links)
- Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
- Type theoretic semantics for SemNet (Q4632324) (← links)
- On the semantics of the unknown (Q4632325) (← links)
- System J — Revision entailment (Q4632326) (← links)
- Practical reasoning with procedural knowledge (Q4632327) (← links)
- Towards the assessment of logics for concurrent actions (Q4632329) (← links)
- Mechanizing multi-agent reasoning with belief contexts (Q4632330) (← links)
