logic

  • Logical Reasoning/Inference tagged with logic
  • Knowledge Representation tagged with logic
  • 3-Valued Logic tagged with logic
  • Disjunction tagged with logic
  • Universal Language tagged with logic
  • Semantics of Description Logics tagged with logic
  • Foundations of Logics tagged with logic
  • Commutativity and Quantifiers tagged with logic
  • Properties of Canonical Forms tagged with logic
  • A Calculator Machine for Logic tagged with logic
  • Resolution tagged with logic
  • Deduction tagged with logic
  • Knowledge Representations tagged with logic
  • Class Inclusion and Equivalence tagged with logic
  • Complex Class Relation tagged with logic
  • Formal Syntax tagged with logic
  • Attribute Language with Complement tagged with logic
  • Open World vs. Closed World tagged with logic
  • Inference Problems tagged with logic
  • Decidability tagged with logic
  • Reduction of Unsatisfiability tagged with logic
  • Tableaux Extension Rules for DL tagged with logic
  • Tableaux Algorithm (DL) with Blocking tagged with logic
  • Role tagged with logic
  • Web Ontology Language tagged with logic
  • Structure of OWL tagged with logic
  • OWL 1 tagged with logic
  • OWL Class tagged with logic
  • Quantifiers on Roles tagged with logic
  • Normalform tagged with logic
  • Tableaux Algorithm for ALC tagged with logic
  • Logical Class Constructor tagged with logic
  • FOL as Rule Language tagged with logic
  • Variants of FOL Rules tagged with logic
  • Description Logics vs. Rules tagged with logic
  • Semantic Web Rule Language tagged with logic
  • Rule Interchange Format tagged with logic
  • Implicit Knowledge tagged with logic
  • Resolution for Propositional Logic tagged with logic
  • Tableaux Algorithm for Description Logics tagged with logic
  • Property Restriction tagged with logic
  • Logical Equivalences tagged with logic
  • DATALOG tagged with logic

  • Comment on This Data Unit