logic-games
Contains the code from the book "Modelling logic games and puzzles in First Order Logic" https://link.springer.com/book/10.1007/978-3-030-62547-4
Science Score: 36.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
✓DOI references
Found 1 DOI reference(s) in README -
✓Academic publication links
Links to: springer.com -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (1.3%) to scientific vocabulary
Keywords
Repository
Contains the code from the book "Modelling logic games and puzzles in First Order Logic" https://link.springer.com/book/10.1007/978-3-030-62547-4
Statistics
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
- Releases: 0
Topics
Metadata Files
README.md
logic-games
Modelling logic games and puzzles in First Order Logic
Contains the code from the book "Modelling logic games and puzzles in First Order Logic" https://link.springer.com/book/10.1007/978-3-030-62547-4
Alternative resources https://users.utcluj.ro/~agroza/puzzles/maloga/
Install Prover9/Mace4 from https://github.com/ai4reason/Prover9
Owner
- Name: Adrian Groza
- Login: APGroza
- Kind: user
- Location: Cluj-Napoca
- Company: Technical University of Cluj-Napoca
- Website: https://users.utcluj.ro/~agroza/
- Repositories: 1
- Profile: https://github.com/APGroza