search

TweetyProjectTeam / TweetyProject

TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
http://tweetyproject.org/
GNU General Public License v3.0
29 stars 17 forks source link

Resolution based semantics #3

Closed sfranke43 closed 3 years ago

sfranke43 commented 3 years ago

added a resolution based solver plus example