Design of Logic‐based Intelligent Systems
From MaRDI portal
Publication:4826784
DOI10.1002/0471723940zbMath1075.68087MaRDI QIDQ4826784
Publication date: 12 November 2004
Full work available at URL: https://doi.org/10.1002/0471723940
optimization; uncertainty; quantification; design; first-order logic; propositional logic; validity; reasoning; satisfiability; incompleteness; Prolog; nonmonotonicity; clause; logic-based intelligent system
68T27: Logic in artificial intelligence
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Leibniz, An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems, Logic classification and feature selection for biomedical data, Logic based methods for SNPs tagging and reconstruction, Conflict analysis in mixed integer programming, Automatic Risk Control Based on FSA Methodology Adaptation for Safety Assessment in Intelligent Buildings, Logic and logic-based control