Searching for "Representation and Human Reasoning." – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Proof Theories for Some Prioritized Consequence Relations
- …, into dynamic proof theories that are a more faithful representation of human reasoning processes. 1…
- Cited by 4 (2 self) – Add To MetaCart
-
Proof Theories for Some Prioritized Consequence
- …, into dynamic proof theories that are a more faithful representation of human reasoning processes. 1…
- Add To MetaCart
-
Notes On Formalizing Context
- … that human fact representation and human reasoning possess. Fully implementing transcendence seems to require…
- Cited by 289 (8 self) – Add To MetaCart
-
Notes On Formalizing Context
- … that human fact representation and human reasoning possess. Fully implementing transcendence seems to require…
- Add To MetaCart
-
Fuzzy Inference Systems toolbox for MATLAB: FISMAT
- … is often used in the representation of human reasoning may be described as follows. 1 In control…
- Cited by 3 (0 self) – Add To MetaCart
-
Capturing the Quake Player: Using a BDI Agent to Model Human Behaviour
- … representation of human reasoning. In some situations human behaviour is highly influenced by certain aspects…
- Add To MetaCart
-
Belief, awareness, and limited reasoning
- … applications, one would like a logic that provides a more realistic representation of human reasoning. Various…
- Cited by 75 (9 self) – Add To MetaCart
-
Formalizing Context (Expanded Notes)
- … with certain capabilities that human fact representation and human reasoning possess. Fully implementing…
- Cited by 77 (5 self) – Add To MetaCart
-
When Some Premises Are More Premise Than Others, The Consequences Are The Real Premises
- … to human reasoning processes than static proofs, they are very useful for undecidable problems, such ∗ I am…
- Add To MetaCart
-
All Premises Are Equal, But Some Are More Equal
- … in [7]. 1 has grown. Apart from the fact that dynamic proofs are much closer to human reasoning…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
