Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 6, p. 597, doi. 10.1093/jigpal/11.6.597
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2003 AND VI 11 AND IP 6
Results: 4
1
2
Theory-Contraction is NP-Complete.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 6, p. 675, doi. 10.1093/jigpal/11.6.675
- By:
- Publication type:
- Article
3
Automatic Learning of Proof Methods in Proof Planning.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 6, p. 647, doi. 10.1093/jigpal/11.6.647
- By:
- Publication type:
- Article
4
Kripke Completeness of First-Order Constructive Logics with Strong Negation.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 6, p. 615, doi. 10.1093/jigpal/11.6.615
- By:
- Publication type:
- Article