Information about a given entity: from semantics towards automated deduction

DOI10.1093/LOGCOM/EXP083zbMATH Open1222.68360OpenAlexW2282618330MaRDI QIDQ3069728FDOQ3069728

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

Recommendations

• How to produce information about a given entity using automated deduction methods
• scientific article
• scientific article; zbMATH DE number 3874667
• scientific article; zbMATH DE number 2089446
• Content-based retrieval in database semantics

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)

Cited In (1)

• Abductive Reasoning on Molecular Interaction Maps

This page was built for publication: Information about a given entity: from semantics towards automated deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069728)