Getting Started with Prover9 and Mace4 | SpringerLink
Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view - Maestro‐Prieto - 2015 - Computer Applications in Engineering Education - Wiley Online Library
Mathematical Logics
Proceedings of the Fourth International Conference on Tools for Teaching Logic 9–12 June 2015
Introduction to Artificial Intelligence
Tackling Fibonacci words puzzles by finite countermodels
Natural language understanding for logical games
Natural language understanding for logical games
Computer Science and Metaphysics: A Cross-Fertilization
Assignment 7: a miniproject Project 1: Automated Theorem Proving in Lat- tice Theory
PDF) A Puzzle-Based Dataset for Natural Language Inference
2 Puzzle B (25 points) - Solve using Prover9 1. | Chegg.com
![PDF] Learning to Automatically Solve Logic Grid Puzzles | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/2ad3b9d7f03a6382fa3577a285d62946a5703820/5-Table1-1.png "PDF] Learning to Automatically Solve Logic Grid Puzzles | Semantic Scholar")
PDF] Learning to Automatically Solve Logic Grid Puzzles | Semantic Scholar
How to solve the brain-teasers set by a top puzzle master - BBC News
ARTIFICIAL INTELLIGENCE AND GOD'S EXISTENCE: CONNECTING PHILOSOPHY OF RELIGION AND COMPUTATION - Vestrucci - Zygon® - Wiley Online Library
Solved 3 Puzzle C (20 points) - Solve using Prover9 - 1. | Chegg.com
Getting Started with Prover9 and Mace4 | SpringerLink
PDF) A Corpus for Precise Natural Language Inference
![PDF] A Puzzle-Based Dataset for Natural Language Inference | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/4d62505fb04d207b7b71124f1c49225b35e800f0/6-Table1-1.png "PDF] A Puzzle-Based Dataset for Natural Language Inference | Semantic Scholar")
PDF] A Puzzle-Based Dataset for Natural Language Inference | Semantic Scholar
Mathematical Logics
![PDF] Learning to Automatically Solve Logic Grid Puzzles | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/2ad3b9d7f03a6382fa3577a285d62946a5703820/7-Figure1-1.png "PDF] Learning to Automatically Solve Logic Grid Puzzles | Semantic Scholar")
PDF] Learning to Automatically Solve Logic Grid Puzzles | Semantic Scholar
![PDF] Learning to Automatically Solve Logic Grid Puzzles | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/2ad3b9d7f03a6382fa3577a285d62946a5703820/7-Table2-1.png "PDF] Learning to Automatically Solve Logic Grid Puzzles | Semantic Scholar")
PDF] Learning to Automatically Solve Logic Grid Puzzles | Semantic Scholar
Getting Started with Prover9 and Mace4 | SpringerLink
Prover9 Manual
Introduction to Artificial Intelligence
GitHub - bgd16pn/logical-puzzles: A few logical puzzles provers written in Mace4 and Prover9 to solve various mind twisters.
Natural language understanding for logical games
Getting Started with Prover9 and Mace4 | SpringerLink
Practical Puzzles | SpringerLink
