Fast interpreter for logical reasoning in general game playing

DOI10.1093/LOGCOM/EXU058zbMath1354.68052OpenAlexW2248882425MaRDI QIDQ2957963

Jacek Mańdziuk, MacIej Świechowski

Publication date: 31 January 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu058

zbMATH Keywords

first-order logicProloggame description languagegeneral game playinglogical programming

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic in computer science (03B70) Computational methods for problems pertaining to game theory, economics, and finance (91-08) Logic programming (68N17) Experimental studies (91A90)

This page was built for publication: Fast interpreter for logical reasoning in general game playing