• SCIFF

  • Referenced in 20 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]
  • HYPROLOG: A new 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 ... Assumptions are a mechanism inspired by linear logic and taken over from Assumption Grammars...
  • MGTP

  • Referenced in 7 articles [sw09701]
  • such as negation as failure, abductive reasoning and modal logic systems, on MGTP. These techniques ... MGTP as a meta-programming system for each application...
  • ToyElim

  • Referenced in 3 articles [sw09900]
  • abduction, SAT and QBF solving, and processing of formulas according to various semantics of logic ... programming can be expressed and integrated in this framework. The objective of the system...
  • ProPPR

  • Referenced in 1 article [sw32915]
  • called ProPPR, which further extends stochastic logic programs (SLP) to a framework that enables efficient ... inference on graphs: using an abductive second-order probabilistic logic, we show that first-order...
  • ACORDA

  • Referenced in 4 articles [sw13875]
  • ACORDA, a working implementation of prospective logic programming. ACORDA is employed to model moral dilemmas ... prioriconstraints and a posteriori preferences on abductive stable models, two features available in ACORDA...
  • Kara

  • Referenced in 5 articles [sw30392]
  • logical theory. These answer sets are computed from the program that represents the theory ... visualisations. This is realised by resorting to abductive reasoning techniques. Kara is part of SeaLion...
  • SOLAR

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

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

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

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • LUPS -- a language for updating logic programs. Most...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • A logic system that integrates First Order Logic...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • Yices

  • Referenced in 154 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • CUDD

  • Referenced in 158 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • z3

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...