Temporal abductive reasoning about biochemical reactions

DOI10.1080/11663081.2018.1427986zbMath1398.03154OpenAlexW2790084480MaRDI QIDQ4586234

Serenella Cerrito, Robert Demolombe, Marta Cialdea Mayer

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11590/332194

zbMATH Keywords

abductionlinear temporal logicconsequence findinghypothesis generationreasoning about biological systems

Mathematics Subject Classification ID

Classical flows, reactions, etc. in chemistry (92E20) Biochemistry, molecular biology (92C40) Temporal logic (03B44) Other applications of logic (03B80)

Cites Work

• A logic-based calculus of events
• Temporal logic programming
• The power of temporal proofs
• Linear resolution for consequence finding
• Temporal causal abduction
• Mechanising first-order temporal resolution
• First order abduction via tableau and sequent calculi
• Temporal Logic Modeling of Biological Systems
• Clausal temporal resolution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item