Design of Logic‐based Intelligent Systems

DOI10.1002/0471723940MaRDI QIDQ4826784zbMATH OpenOpenAlexFDO

Authors Klaus Truemper

Publication date 12 November 2004

Full work available at URL https://doi.org/10.1002/0471723940

zbMATH Keywords

clausedesignfirst-order logicincompletenesslogic-based intelligent systemnonmonotonicityoptimizationPrologpropositional logicquantificationreasoningsatisfiabilityuncertaintyvalidity

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 1380573
• Handbook of satisfiability. In 2 parts
• Introduction to Mathematics of Satisfiability
• Introduction to propositional satisfiability
• scientific article; zbMATH DE number 702472

Cited in

(13)

• Logic-based decision support. Mixed integer model formulation
• Cognitive engineering. A distributed approach to machine intelligence.
• Logic based methods for SNPs tagging and reconstruction
• Conflict analysis in mixed integer programming
• Leibniz
• Automatic Risk Control Based on FSA Methodology Adaptation for Safety Assessment in Intelligent Buildings
• Introduction to Mathematics of Satisfiability
• Logic and logic-based control
• Principles of intelligent learning systems design
• scientific article; zbMATH DE number 1380573 (Why is no real title available?)
• Rigid flexibility. The logic of intelligence.
• An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems
• Logic classification and feature selection for biomedical data

This page was built for publication: Design of Logic‐based Intelligent Systems

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