Download JAR files tagged by knowledge with all dependencies
lp from group org.tweetyproject.arg (version 1.25)
0 downloads
Artifact lp
Group org.tweetyproject.arg
Version 1.25
Last update 18. January 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies asp,
There are maybe transitive dependencies!
Group org.tweetyproject.arg
Version 1.25
Last update 18. January 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies asp,
There are maybe transitive dependencies!
fol from group org.tweetyproject.logics (version 1.25)
0 downloads
Artifact fol
Group org.tweetyproject.logics
Version 1.25
Last update 18. January 2024
Organization not specified
URL https://github.com/TweetyProjectTeam/TweetyProject
License not specified
Dependencies amount 2
Dependencies commons, plugin,
There are maybe transitive dependencies!
Group org.tweetyproject.logics
Version 1.25
Last update 18. January 2024
Organization not specified
URL https://github.com/TweetyProjectTeam/TweetyProject
License not specified
Dependencies amount 2
Dependencies commons, plugin,
There are maybe transitive dependencies!
mln from group org.tweetyproject.logics (version 1.25)
0 downloads
Artifact mln
Group org.tweetyproject.logics
Version 1.25
Last update 18. January 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies fol, pcl,
There are maybe transitive dependencies!
Group org.tweetyproject.logics
Version 1.25
Last update 18. January 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies fol, pcl,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.7.1)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
Group: io.github.leoprover Artifact: scala-tptp-parser_2.13
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.7.1
Last update 25. March 2023
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.7.1
Last update 25. March 2023
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
prob from group net.sf.tweety.arg (version 1.17)
Artifact prob
Group net.sf.tweety.arg
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies deductive, dung, commons,
There are maybe transitive dependencies!
Group net.sf.tweety.arg
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies deductive, dung, commons,
There are maybe transitive dependencies!
dialogues from group net.sf.tweety.agents (version 1.17)
0 downloads
Artifact dialogues
Group net.sf.tweety.agents
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies agents, saf, prob,
There are maybe transitive dependencies!
Group net.sf.tweety.agents
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies agents, saf, prob,
There are maybe transitive dependencies!
aba from group net.sf.tweety.arg (version 1.17)
Artifact aba
Group net.sf.tweety.arg
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies commons, graphs, dung, aspic,
There are maybe transitive dependencies!
Group net.sf.tweety.arg
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies commons, graphs, dung, aspic,
There are maybe transitive dependencies!
qbf from group net.sf.tweety.logics (version 1.17)
0 downloads
Artifact qbf
Group net.sf.tweety.logics
Version 1.17
Last update 14. July 2020
Organization not specified
URL http://sourceforge.net/projects/tweety/
License not specified
Dependencies amount 3
Dependencies org.ow2.sat4j.core, pl, math,
There are maybe transitive dependencies!
Group net.sf.tweety.logics
Version 1.17
Last update 14. July 2020
Organization not specified
URL http://sourceforge.net/projects/tweety/
License not specified
Dependencies amount 3
Dependencies org.ow2.sat4j.core, pl, math,
There are maybe transitive dependencies!
beliefdynamics from group net.sf.tweety (version 1.17)
0 downloads
Artifact beliefdynamics
Group net.sf.tweety
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies agents, deductive, dung,
There are maybe transitive dependencies!
Group net.sf.tweety
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies agents, deductive, dung,
There are maybe transitive dependencies!
delp from group net.sf.tweety.arg (version 1.17)
Artifact delp
Group net.sf.tweety.arg
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies fol, dung, args4j,
There are maybe transitive dependencies!
Group net.sf.tweety.arg
Version 1.17
Last update 14. July 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies fol, dung, args4j,
There are maybe transitive dependencies!
Page 39 from 49 (items total 483)