Click here to Skip to main content
15,938,848 members
Articles / Artificial Intelligence

Logical Calculation with Tableaux

Rate me:
Please Sign up or sign in to vote.
4.98/5 (19 votes)
29 Jan 2017CPOL10 min read 21.3K   554   16  
Demonstrate or refute a conclusion automatically from a series of premises

Views

Daily Counts

Downloads

Weekly Counts

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)


Written By
Software Developer (Senior) Free lance
Spain Spain
I'm working with computers since the 80's of the past century, when I received as a present a 48K Spectrum which changed all my life plans, from a scientific career to a technical one. I started working in assembler language, in low lewel systems, mainly in the electromedical field. Today I work as a freelance, mainly in .NET Framework / database solutions, using the C# language.

I'm interested in scientific computer applications, and I,m learning AI and data analytics technics. I also own a technical blog, http://software-tecnico-libre.es/en/stl-index, where I publish some of the practice works of this learning process.

Comments and Discussions