Life Sciences Commons^™

Keyword

• Logic Programming (5)
• Semantic Web (4)
• Denotational Semantics (3)
• Description Logic (3)
• Generalized Metric (3)
• • Datalog (2)
  • Decidability (2)
  • Neural-Symbolic Integration (2)
  • OWL (2)
  • Semantic web (2)
  • Supported Model (2)
  • Algorithms (1)
  • Analogy and Similarity-Based Reasoning (1)
  • Approximating Inconsistency Degrees (1)
  • Autoepistemic DLs (1)
  • Automated reasoning (1)
  • Autonomous Learning (1)
  • Banach Contraction (1)
  • Banach Contraction Mapping Theorem (1)
  • Circumscription (1)
  • Circumscriptive Dls (1)
  • Clark Completion (1)
  • Closed World (1)
  • Cognitive Methods (1)
  • Connectionist Model Generation (1)
  • Description Logics and Ontologies (1)
  • Domain Theory (1)
  • Dynamic Systems (1)
  • Emerging Semantics (1)
  • First-Order Logic Programs (1)
  More Fewer

Publication Year

• 2013 (1)
• 2012 (8)
• 2011 (5)
• 2010 (6)
• 2009 (6)
• • 2008 (11)
  • 2007 (16)
  • 2006 (6)
  • 2005 (14)
  • 2004 (1)
  • 2003 (3)
  • 2002 (4)
  • 2001 (4)
  • 2000 (2)
  • 1999 (2)
  • 1998 (1)
  • 1996 (1)
  More Fewer