Information About a Given Entity: From Semantics Towards Automated Deduction

DOI10.1093/LOGCOM/EXP083zbMath1222.68360OpenAlexW2282618330MaRDI QIDQ3069728

Luis Fariñas del Cerro, Robert Demolombe

Publication date: 19 January 2011

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

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

zbMATH Keywords

automated deductioninformation ``about an entity

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Internet topics (68M11)

Related Items (1)

Abductive Reasoning on Molecular Interaction Maps

This page was built for publication: Information About a Given Entity: From Semantics Towards Automated Deduction