The Artificial Intelligence Directory: Logics

Directory of Web Resources for the Artificial Intelligence Community

Ask questions to experts in the
Artificial Intelligence Forum or the Data Mining Forum

Recent Messages
* Re: SPMF data mining sof...
* KDD CUP 2012 data mining...
* Re: SPMF data mining sof...
* Re: 2012 data mining con...
* Re: SPMF data mining sof...

Home > Knowledge Representation > Logics

Description Logics (5)	First-Order Logic (0)	Fuzzy Logic (1)
Horn Logic (0)	Modal Logics (0)

An Introduction to Logic
Introduction to Logic by Stefan Waner and Steven R. Costenoble is a tutorial that covers topic such as statements and logical operators, logical equivalence, tautologies and contradictions, rules of inference, arguments and proofs, and predicate calculus.
http://people.hofstra.edu/Stefan_Waner/RealWorld/logic/logicintro.html

Submit a website to this category