Modeling simultaneous events with default reasoning and tight derivations

DOI10.1016/0743-1066(90)90050-FMaRDI QIDQ3485856zbMATH OpenFDO

Authors Allen Van Gelder

Publication date 1990

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(90)90050-F

zbMATH Keywords

default reasoningTight derivations

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 516983
• scientific article; zbMATH DE number 25191
• scientific article; zbMATH DE number 4164124
• Hard problems for simple default logics
• scientific article; zbMATH DE number 4166939

Cited in

(1)

• Representation and reasoning with multi-point events

This page was built for publication: Modeling simultaneous events with default reasoning and tight derivations

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