Publication:3052509
From MaRDI portal
zbMath1212.68311MaRDI QIDQ3052509
Publication date: 5 November 2010
68T27: Logic in artificial intelligence
68T30: Knowledge representation
68T37: Reasoning under uncertainty in the context of artificial intelligence
Related Items
Introduction to clarithmetic. I, The taming of recurrences in computability logic through cirquent calculus. I