Non-Standard Logics for Automated Reasoning
Philippe Smets (ed.)
Academic Press (1988)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | Logic, Symbolic and mathematical |
| Categories | (categorize this paper) |
| Buy the book | Amazon page |
| Call number | QA9.4.N65 1988 |
| ISBN(s) | 0126495203 |
| DOI | 10.2307/2275202 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
Chapters BETA
References found in this work BETA
No references found.
Citations of this work BETA
Multiple Agent Possibilistic Logic.Asma Belhadi, Didier Dubois, Faiza Khellaf-Haned & Henri Prade - 2013 - Journal of Applied Non-Classical Logics 23 (4):299-320.
Similar books and articles
Review: John Arnold Kalman, Automated Reasoning with Otter. [REVIEW]Dale Myers - 2002 - Bulletin of Symbolic Logic 8 (3):428-429.
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical.Dov M. Gabbay (ed.) - 2002 - Elsevier.
Mathematical Reasoning: Analogies, Metaphors, and Images.Lyn D. English (ed.) - 1997 - L. Erlbaum Associates.
19th Century Logic Between Philosophy and Mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Analytics
Added to PP index
2009-01-28
Total downloads
19 ( #312,773 of 2,275,215 )
Recent downloads (6 months)
4 ( #112,369 of 2,275,215 )
2009-01-28
Total downloads
19 ( #312,773 of 2,275,215 )
Recent downloads (6 months)
4 ( #112,369 of 2,275,215 )
How can I increase my downloads?
Monthly downloads
