scientific article; zbMATH DE number 1980921

MaRDI QIDQ4428295zbMATH OpenFDO

Authors Mehdi Dastani, Leendert 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

Mathematics Subject Classification ID

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

Recommendations

• Exploiting functional dependencies in declarative problem specifications
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 4215353
• A unifying theory of control dependence and its application to arbitrary program structures
• Advances in Artificial Intelligence – SBIA 2004
• Conditional functional dependencies: an FCA point of view
• Prolog's control constructs in a functional setting -- axioms and implementation
• On the relation between BDDs and FDDs (extended abstract)
• Bounded analysis and decomposition for behavioural descriptions of components

Cited in

(1)

• Beliefs, obligations, intentions, and desires as components in an agent architecture

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)