Ordered Logic Programming with Sets

DOI10.1093/LOGCOM/3.6.621MaRDI QIDQ4286210zbMATH OpenOpenAlexFDO

Authors N. Leone, Pasquale Rullo

Publication date 27 April 1994

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

declarative semanticsexceptionsinheritancelogic programmingnon- monotonic reasoningobject-orientedsets

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 549985
• scientific article; zbMATH DE number 1795986
• A Fixpoint Semantics for Ordered Logic
• Well-founded semantics and stratification for ordered logic programs
• Logic programming with sets

Cited in

(6)

• Set based logic programming
• scientific article; zbMATH DE number 67962 (Why is no real title available?)
• Efficient evaluation of a class of ordered logic programs
• An abductive proof procedure for conditional logic programming
• Hypothetical updates, priority and inconsistency in a logic programming language
• Logic programming with sets

This page was built for publication: Ordered Logic Programming with Sets

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