Logic
55 items
- Logic Programming/
- 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