CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
G. Rossi
Latest
GASP: Answer Set Programming with Lazy Grounding
Set Unification
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
Integrating lists, multisets, and sets in a logic programming framework.
log: A Language for Programming in Logic with Finite Sets
Compiling Intensional Sets in CLP
Embedding extensional finite sets in CLP
Embedding Finite Sets in a Logic Programming Language
log: A Logic Programming Language with Finite Sets
Cite
×