Rossi G

Latest

• GASP: Answer Set Programming with Lazy Grounding
• Integrating Finite Domain Constraints and CLP with Sets
• Intensional Sets in CLP
• Constructive negation and constraint logic programming with sets
• Multiset Constraints and P Systems
• Multiset rewriting by multiset constraint solving
• A Necessary Condition for Constructive Negation in Constraint Logic Programming
• Sets and Constraint Logic Programming
• ACI1 Constraints
• From Set to Hyperset Unification
• A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm
• On the Representation and Management of Finite Sets in CLP-languages