• Racer

  • Referenced in 65 articles [sw09837]
  • services are provided, such as, e.g., logical abduction. Racer also provides the powerful and semantically...
  • QUBE

  • Referenced in 28 articles [sw11381]
  • Intelligence. Many reasoning tasks involving planning [1], abduction, reasoning about knowledge, non monotonic reasoning...
  • SCIFF

  • Referenced in 16 articles [sw20513]
  • Verifiable agent interaction in abductive logic programming: the SCIFF framework. SCIFF is a framework thought ... equipped with a semantics based on abductive logic programming; SCIFF’s operational component ... abductive logic programming proof procedure, also named SCIFF, for reasoning with expectations in dynamic environments...
  • HYPROLOG

  • Referenced in 14 articles [sw02743]
  • logic programming language with assumptions and abduction. We present HYPROLOG, a novel integration of Prolog ... with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling ... solvers that may be available. Assumptions and abduction are especially useful for language processing ... straightforward and seems to provide for abduction, the most efficient of known implementations; the price...
  • LAILA

  • Referenced in 10 articles [sw02266]
  • deal with incomplete and multiple knowledge is abductive reasoning. The aim of this paper ... used by logic-based agents capable of abductive reasoning, by enabling them to express ... competition as possible interaction patterns in the abductive reasoning that must be carried...
  • MEDLAR

  • Referenced in 14 articles [sw02888]
  • synthesis of specific reasoning capabilities like abduction, analogy, planning, and model building, in a given...
  • MGTP

  • Referenced in 7 articles [sw09701]
  • applications, such as negation as failure, abductive reasoning and modal logic systems, on MGTP. These...
  • Kara

  • Referenced in 5 articles [sw30392]
  • visualisations. This is realised by resorting to abductive reasoning techniques. Kara is part of SeaLion...
  • ACORDA

  • Referenced in 4 articles [sw13875]
  • prioriconstraints and a posteriori preferences on abductive stable models, two features available in ACORDA...
  • CHR

  • Referenced in 4 articles [sw20512]
  • kinds of applications, like scheduling, model checking, abduction, and type checking, among many others...
  • ToyElim

  • Referenced in 3 articles [sw09900]
  • computation of uniform interpolants, certain forms of abduction, SAT and QBF solving, and processing...
  • Elvira

  • Referenced in 2 articles [sw13962]
  • variables. It have methods to inference, learning, abduction and making decision...
  • Propositional Resolution

  • Referenced in 1 article [sw28841]
  • applications in artificial intelligence and verification (for abductive reasoning, knowledge compilation, diagnosis, debugging...
  • LETHE

  • Referenced in 1 article [sw32361]
  • used for uniform interpolation, forgetting, TBox abduction and logical di erence. To solve these problems...
  • ProPPR

  • Referenced in 1 article [sw32915]
  • learning and inference on graphs: using an abductive second-order probabilistic logic, we show that...
  • Gillian

  • Referenced in 0 articles [sw31480]
  • program symbolic testing, full verification, and bi-abduction. It comes with fully parametric meta-theoretical...
  • SOLAR

  • Referenced in 19 articles [sw00888]
  • SOLAR (SOL for Advanced Reasoning) is a first...
  • WordNet

  • Referenced in 402 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • TopLog

  • Referenced in 9 articles [sw02010]
  • TopLog: ILP using a logic program declarative bias...
  • SOAR

  • Referenced in 22 articles [sw02109]
  • SOAR: a cognitive architecture in perspective. A tribute...