dcs: An Implementation of DATALOG with Constraints

Details dcs: An Implementation of DATALOG with Constraints dcs: An Implementation of DATALOG with Constraints

2000-03-14

arxiv.org/abs/cs/0003061v1

Computer Science

Artificial Intelligence

6 pages (AAAI format), 4 ps figures; System descriptions and demonstration Session, 8th Intl. Workshop on Non-Monotonic Reason

Scientific paper

Answer-set programming (ASP) has emerged recently as a viable programming paradigm. We describe here an ASP system, DATALOG with constraints or DC, based on non-monotonic logic. Informally, DC theories consist of propositional clauses (constraints) and of Horn rules. The semantics is a simple and natural extension of the semantics of the propositional logic. However, thanks to the presence of Horn rules in the system, modeling of transitive closure becomes straightforward. We describe the syntax, use and implementation of DC and provide experimental results.

Affiliated with

Also associated with

No associations

Rating

dcs: An Implementation of DATALOG with Constraints does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with dcs: An Implementation of DATALOG with Constraints, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and dcs: An Implementation of DATALOG with Constraints will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-459722