scientific article; zbMATH DE number 1980921

zbMATH Open1023.68096MaRDI QIDQ4428295

Mehdi Dastani, Leendert W. N. van der Torre

Publication date: 15 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140115.htm

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Temporal logic (03B44)

Recommendations

• Title not available (Why is that?) 👍 👎
• A unifying theory of control dependence and its application to arbitrary program structures 👍 👎
• Exploiting functional dependencies in declarative problem specifications 👍 👎
• Conditional Functional Dependencies: An FCA Point of View 👍 👎
• Bounded Analysis and Decomposition for Behavioural Descriptions of Components 👍 👎
• On the relation between BDDs and FDDs 👍 👎
• PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION 👍 👎
• Advances in Artificial Intelligence – SBIA 2004 👍 👎
• Logics in Artificial Intelligence 👍 👎

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 Q4428295)