Results 1 to 20 of 65
Sort by:

  • 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...