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

optimizationuncertaintydesignquantificationfirst-order logicsatisfiabilityvalidityreasoningincompletenesspropositional logicProlognonmonotonicityclauselogic-based intelligent system

Mathematics Subject Classification ID

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

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

(12)

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

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)