Entity usage

Showing below up to 39 results in range #1 to #39.

1. Mechanizing multi-agent reasoning with belief contexts: Label: en
2. Towards the assessment of logics for concurrent actions: Label: en
3. Practical reasoning with procedural knowledge: Label: en
4. System J — Revision entailment: Label: en
5. On the semantics of the unknown: Label: en
6. Type theoretic semantics for SemNet: Label: en
7. Skeptical query-answering in Constrained Default Logic: Label: en
8. Formalization of reasoning about default action (preliminary report): Label: en
9. Modal logic for modelling actions and agents: Label: en
10. A system for defeasible argumentation, with defeasible priorities: Label: en
11. Defining normative systems for qualitative argumentation: Label: en
12. Graded inheritance nets for knowledge representation: Label: en
13. Possible world semantics for analogous reasoning: Label: en
14. A tableau calculus for first-order branching time logic: Label: en
15. Formal reasoning about modules, reuse and their correctness: Label: en
16. Two kinds of non-monotonic analogical inference: Label: en
17. The need for a dialectical tier in arguments: Label: en
18. Nonmonotonic reasoning with multiple belief sets: Label: en
19. Aristotle, Whately, and the taxonomy of fallacies: Label: en
20. Labelling ideality and subideality: Label: en
21. Analogical reasoning of organic reactions based on the structurized compound-reaction diagram: Label: en
22. Ideal and real belief about belief: Label: en
23. Commands in dialogue logic: Label: en
24. An abductive proof procedure for conditional logic programming: Label: en
25. Goals in argumentation: Label: en
26. A formal framework for causal modeling and argumentation: Label: en
27. A methodology for iterated theory change: Label: en
28. A resolution-based proof method for temporal logics of knowledge and belief: Label: en
29. Reasoning about reasoning: Label: en
30. Talkin'bout consistency, or: When logically possible becomes possible: Label: en
31. Intelligent agents in the Situation Calculus: An application to user modelling: Label: en
32. Specification of nonmonotonic reasoning: Label: en
33. General domain circumscription and its first-order reduction: Label: en
34. A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications: Label: en
35. A unified framework for hypothetical and practical reasoning (1): Theoretical foundations: Label: en
36. Geometrical structures and modal logic: Label: en
37. Modal logics with relative accessibility relations: Label: en
38. A comparative survey of default logic variants: Label: en
39. Integrating statistical audit evidence with belief function theory: Label: en