Publication:4548196
From MaRDI portal
zbMath1009.68111MaRDI QIDQ4548196
Publication date: 21 August 2002
68T01: General topics in artificial intelligence
Related Items
Efficient on-line algorithms for Euler diagram region computation, Venn diagram with names of individuals and their absence: a non-classical diagram logic, Presence and absence of individuals in diagrammatic logics: an empirical comparison, Syllogisms in rudimentary linear logic, diagrammatically, Automated theorem proving in Euler diagram systems