scientific article; zbMATH DE number 2053218

zbMATH Open1046.68036MaRDI QIDQ4454845FDOQ4454845

Authors: Linh Anh Nguyen 

Publication date: 8 March 2004

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4055570
• Resolution calculi for modal logics
• Resolution-based calculi for modal and temporal logics
• Modal fixed point logics
• Theoretical Aspects of Computing – ICTAC 2005
• Resolution-based methods for modal logics
• scientific article; zbMATH DE number 4027426
• scientific article; zbMATH DE number 1880278
• SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs

zbMATH Keywords

completenessfixpoint semanticssoundnessSLD-resolutionmodal logic programming

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Cited In (11)

• Title not available (Why is that?)
• Theoretical Aspects of Computing – ICTAC 2005
• Multimodal logic programming
• Logics in Artificial Intelligence
• The modal query language MDatalog
• Logic Programming
• Modal logic programming revisited
• Specifying program properties using modal fixpoint logics: a survey of results
• Completeness of hyper-resolution via the semantics of disjunctive logic programs
• Title not available (Why is that?)
• SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing

This page was built for publication:

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