Notes
  • AI
    • Bayesian
      • Complexity Theory
        • Constraint Satisfaction Problem
          • Cryptography
            • Data Science
              • Decision Theory
                • Distances
                  • Fourier Transform
                    • Frequent Item
                      • Graph
                        • Information Theory
                          • Knowledge Representation
                            • Logic
                              • Logic Programming
                                • Logical System
                                  • Description Logic
                                    • First Order Predicate Logic
                                      • Propositional Logic
                                        • Calculi
                                          • Normal Form
                                            • Resolution Calculus
                                              • Clause
                                              • Empty Clause
                                              • Resolution Calculus
                                              • Unit Clause
                                            • SAT
                                              • Atom
                                              • Disjunktion
                                              • Implikation
                                              • Inference Rule
                                              • Interpretation Function
                                              • Konjunktion
                                              • Labeled Formula
                                              • Local Hypothesis
                                              • Logical Equivalences
                                              • Negative Literal
                                              • Opposite Literal
                                              • Positive Literal
                                              • Propositional Logic
                                              • Semantics of Propositional Logic
                                              • Syntax of Propositional Logic
                                              • Universe
                                              • Value Function
                                              • Variable Assignment
                                            • Calculus-Derivation
                                            • Formal System
                                            • Logical System
                                          • 01 Logic
                                          • Abduction
                                          • Assignment Extension
                                          • Axiom
                                          • Backchaining
                                          • Backus-Naur-Form
                                          • Closed World Assumption
                                          • Completeness
                                          • Concept Axiom
                                          • Confluent
                                          • Consistency Test
                                          • Course-Of-Values Induction
                                          • Cummulative Development
                                          • Deduction
                                          • Deductive Learning
                                          • Derivation Relation
                                          • Description Logic
                                          • Entailment
                                          • Ex Falso Quodlibet
                                          • Explanation-based Learning
                                          • Frame Problem
                                          • Generalized Quantifiers
                                          • Idempotenz
                                          • Induction
                                          • Inductive Learning
                                          • Inductive Logic Programming
                                          • Induktion (Beweis)
                                          • Inference
                                          • Information Extraction
                                          • Instance Test
                                          • Inverse Resolution
                                          • Knowledge Base Agent
                                          • Knowledge-based Inductive Learning
                                          • Korrektheit
                                          • Linearized Notation for sequent-style ND proofs
                                          • Logic
                                          • MOC - Grundlagen der Logik in der Informatik
                                          • Modus Ponens
                                          • Open World Assumption
                                          • Preferences on Reward Sequences
                                          • Promotion
                                          • Proof
                                          • Propositional Logic as Set Description Language
                                          • Reiterationsregel
                                          • Relevance-based Learning
                                          • Role
                                          • Russellsches Paradox
                                          • Soundness
                                          • Strukturelle Induktion
                                          • Subsumption Test
                                          • Term Frequency
                                          • Tertium Non Datur
                                          • Unsatisfiability Theorem
                                        • Markov
                                          • Mathematics
                                            • media
                                              • Optimization
                                                • Other
                                                  • Pattern Recognition
                                                    • Search
                                                      • Sort
                                                        • Statistics
                                                          • INDEX
                                                          • MOC - Introduction to Statistics and Statistical Programming
                                                          • MOC - Stochastische Modellbildung
                                                          Navigation

                                                          • All tags
                                                          • #Algorithmus(48)
                                                          • #Algorithmus, codesnippet, code, js, Python(1)
                                                          • #E(1)
                                                          • #Gemischt-ganzzahlige(1)
                                                          • #MOC(8)
                                                          • #P-hard(1)
                                                          • #bachelor(1)
                                                          • #code(1)
                                                          • #codesnippet, code, js, programmingassignment(5)
                                                          • #codesnippet, code, programmingassignment, js(1)
                                                          • #confirm(1)
                                                          • #data(1)
                                                          • #datascience(1)
                                                          • #excalidraw(11)
                                                          • #infovislearn(2)
                                                          • #keep(2)
                                                          • #lnsexam(1)
                                                          • #note(2)
                                                          • #note, datascience, keep(1)
                                                          • #paper(1)
                                                          • #programmingassignment(4)
                                                          • #question(4)
                                                          • #todo(21)
                                                          • #uebung(1)

                                                          • Propositional Logic
                                                          • Clause
                                                          • Davis Putnam Procedure
                                                          • Unit Propagation

                                                          • Clause
                                                          • Labeled Formula

                                                          Local graph
                                                          1. Logic /
                                                          2. Logical System /
                                                          3. Propositional Logic /
                                                          4. Resolution Calculus /
                                                          5. Unit Clause

                                                          Unit Clause

                                                          A Clause with exactly one Literal.