Information about a given entity: from semantics towards automated deduction

DOI10.1093/LOGCOM/EXP083MaRDI QIDQ3069728zbMATH OpenOpenAlexFDO

Authors Robert Demolombe, Luis Fariñas del Cerro

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)

Recommendations

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

Cited in

(3)

• Abductive reasoning on molecular interaction maps
• How to produce information about a given entity using automated deduction methods
• About relationships between two individuals

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)