• AROM

  • Referenced in 2 articles [sw06754]
  • ways. Firstly, in addition to classes, knowledge representation in AROM uses associations for describing links ... declarative way. AROM comes as a platform for knowledge representation and manipulation. It includes...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming ... applications in natural language understanding and knowledge representation, in scheduling and time-tabling...
  • Asparagus

  • Referenced in 5 articles [sw08841]
  • late 1990s as a new declarative programming paradigm, having its roots in Nonmonotonic Reasoning, Deductive ... primary candidate for an effective knowledge representation tool. This view has been boosted...
  • ALM

  • Referenced in 8 articles [sw29436]
  • programming system description. The resulting logic programming representation is used to perform various computational tasks ... structuring of knowledge. ALM is meant to remedy this problem. Structuring of knowledge ... formal description of a specific piece of knowledge packaged as a unit), module hierarchy ... knowledge base, as well as the creation of knowledge representation libraries. To appear in Theory...
  • REBA

  • Referenced in 4 articles [sw29435]
  • robotics. This article describes REBA, a knowledge representation and reasoning architecture for robots that ... fine-resolution system description, and a probabilistic representation of the uncertainty in sensing and actuation ... architecture thus combines the complementary strengths of declarative programming and probabilistic graphical models to represent ... robot based on these knowledge representation and reasoning tools, and provide a path for proving...
  • kLog

  • Referenced in 5 articles [sw10403]
  • kLog allows users to specify learning problems declaratively. It builds on simple but powerful concepts ... rich representation is mediated by a technique we call graphicalization: the relational representation is first ... symbolic data, as well as background knowledge in the form of Prolog or Datalog programs...
  • VIFID/TRIFID

  • Referenced in 2 articles [sw14758]
  • such as Constraint Logic Programming (CLP), whose declarative and operational semantics differ in some crucial ... number of (to our knowledge) novel ones. The graphical representations have been chosen based...
  • BAAC

  • Referenced in 1 article [sw20858]
  • paper presents a system for knowledge representation and coordination, where autonomous agents reason ... goals, but can interact through a shared knowledge repository. In their interactions, agents deal with ... their autonomously derived plans. This kind of knowledge is modeled using an extension ... formalized by providing a number of declarative specifications of the portion of the problem pertaining...
  • KaBOB

  • Referenced in 0 articles [sw23969]
  • biomedical concepts across data sources, and using declaratively represented forward-chaining rules to take information ... biomedical representation. We demonstrate these processes and solutions by presenting KaBOB (the Knowledge Base...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GCLC

  • Referenced in 31 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • MiniSat

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Nitpick

  • Referenced in 63 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • HiLog

  • Referenced in 51 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming...
  • Ada95

  • Referenced in 293 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...