Design of Logic‐based Intelligent Systems
DOI10.1002/0471723940zbMATH Open1075.68087OpenAlexW2494756799MaRDI QIDQ4826784FDOQ4826784
Authors: Klaus Truemper
Publication date: 12 November 2004
Full work available at URL: https://doi.org/10.1002/0471723940
Recommendations
optimizationuncertaintydesignquantificationfirst-order logicsatisfiabilityvalidityreasoningincompletenesspropositional logicProlognonmonotonicityclauselogic-based intelligent system
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)
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)