scientific article; zbMATH DE number 1536548
From MaRDI portal
Publication:4518415
zbMath0949.68573MaRDI QIDQ4518415
Anthony J. Bonner, Michael Kifer
Publication date: 28 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items (5)
Planning with regression analysis in transaction logic ⋮ An overview of transaction logic ⋮ A first step towards implementing dynamic algebraic dependences ⋮ Regular database update logics ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach
This page was built for publication: