• Home
• org.tweetyproject.lp
• asp
• 1.27
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ject.lp.asp.1.27.source-code.aggregates.asp Maven / Gradle / Ivy

course(databases).
:- 12<= #sum { 6 : course(ai); 6 : course(databases);  4: course(networks); 12 : course(project); 3 : course(xml) }.
:- 1 <= #count {course(databases); course(ai); course(networks) } <= 2.  
:- 3<= #min { 6 : course(databases); 6 : course(ai); 12 : course(project); 3 : course(xml); 4 : course(networks) }.