artificial intelligence directory
Directory of Web Resources for the Artificial Intelligence Community

 
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






©2006 Philippe Fournier-Viger
Promote this website