Support for theory bases

DIAlectical MOdels eNcoDing is a collection of ASP-encodings for ADFs

Status: Inactive

Brought to you by: ellmaus

#18 Support for theory bases

Milestone: 1.0.1

Status: open

Owner: Hannes Strass

Labels: None

Updated: 2014-05-22

Created: 2014-05-22

Creator: Hannes Strass

Private: No

Discussion

Log in to post a comment.