artificial intelligence directory
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
There are no recent messages
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.

©2006-2017 Philippe Fournier-Viger
Promote this website