research
∙
11/25/2002
Propositional satisfiability in declarative programming
Answer-set programming (ASP) paradigm is a way of using logic to solve s...
share
research
∙
03/24/2000
DATALOG with constraints - an answer-set programming system
Answer-set programming (ASP) has emerged recently as a viable programmin...
research
∙
03/14/2000
dcs: An Implementation of DATALOG with Constraints
Answer-set programming (ASP) has emerged recently as a viable programmin...
research
∙
02/04/2000