• jDALMAS

  • Referenced in 1 article [sw30594]
  • jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems. A norm-regulated Deontic...
  • EVALPSN

  • Referenced in 4 articles [sw02938]
  • Annotated Logic Program with Strong Negation), that can deal with contradiction and defeasible deontic reasoning...
  • LegalRuleML

  • Referenced in 6 articles [sw30411]
  • provide features to capture the behavior of deontic effects, which is an important aspect ... legalruleml to a variant of modal defeasible logic (and vice versa) such that a legal...
  • CLAN

  • Referenced in 8 articles [sw00129]
  • CLAN: A tool for contract analysis and conflict...
  • Isabelle

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

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

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

  • Referenced in 40 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • DELORES

  • Referenced in 26 articles [sw05546]
  • DELORES (DEfeasible LOgic REasoning System) is a forward...
  • AgentSpeak

  • Referenced in 102 articles [sw06186]
  • AgentSpeak is an agent-oriented programming language. It...
  • Moise+

  • Referenced in 22 articles [sw06188]
  • Moise is an organisational model for Multi-Agent...
  • Prolog

  • Referenced in 70 articles [sw06518]
  • GNU Prolog is a free Prolog compiler with...
  • CCalc

  • Referenced in 79 articles [sw09899]
  • The Causal Calculator (CCalc) is a system for...
  • CondLean

  • Referenced in 9 articles [sw09986]
  • CondLean 3.0: Improving CondLean for stronger conditional logics...
  • KLMLean

  • Referenced in 5 articles [sw09988]
  • KLMLean 2.0: A theorem prover for KLM logics...
  • NESCOND

  • Referenced in 5 articles [sw10041]
  • NESCOND: an implementation of nested sequent calculi for...
  • Pesca

  • Referenced in 164 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is...
  • swrl

  • Referenced in 50 articles [sw14002]
  • SWRL: A Semantic Web Rule Language Combining OWL...