Using Venn diagrams to perform logic reasoning: An algorithm for automating the syllogistic reasoning of categorical statements

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)84-103
Number of pages20
JournalInternational Journal of Intelligent Systems
Volume29
Issue number1
DOIs
StatePublished - Jan 2014

ASJC Scopus Subject Areas

  • Software
  • Theoretical Computer Science
  • Human-Computer Interaction
  • Artificial Intelligence

Cite this