scientific article
From MaRDI portal
Publication:3367333
zbMath1110.68143MaRDI QIDQ3367333
Publication date: 24 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logicframe problemrobotGOLOGFLUXprogression-based inferencereasoning agentregression-based inference
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Logic programming (68N17)
Related Items
Uses Software