Design of Logic‐based Intelligent Systems

DOI10.1002/0471723940zbMath1075.68087OpenAlexW2494756799MaRDI QIDQ4826784

Klaus Truemper

Publication date: 12 November 2004

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

zbMATH Keywords

optimizationuncertaintyquantificationdesignfirst-order logicpropositional logicvalidityreasoningsatisfiabilityincompletenessProlognonmonotonicityclauselogic-based intelligent system

Mathematics Subject Classification ID

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

Related Items

Logic based methods for SNPs tagging and reconstruction, An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems, Logic and logic-based control, Logic classification and feature selection for biomedical data, Conflict analysis in mixed integer programming, Automatic Risk Control Based on FSA Methodology Adaptation for Safety Assessment in Intelligent Buildings, Leibniz