| Publication | Date of Publication | Type |
|---|
Integrating cardinality constraints into constraint logic programming with sets
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers
Journal of Automated Reasoning | 2024-12-16 | Paper |
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
ACM Transactions on Computational Logic | 2024-02-21 | Paper |
scientific article; zbMATH DE number 7552282 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-01 | Paper |
An automatically verified prototype of the Tokeneer ID station specification
Journal of Automated Reasoning | 2022-01-21 | Paper |
Automated reasoning with restricted intensional sets
Journal of Automated Reasoning | 2021-11-23 | Paper |
Automated proof of Bell-LaPadula security properties
Journal of Automated Reasoning | 2021-06-09 | Paper |
Solving quantifier-free first-order constraints over finite sets and binary relations
Journal of Automated Reasoning | 2020-03-03 | Paper |
A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form
AI*IA 2016 Advances in Artificial Intelligence | 2020-02-10 | Paper |
A decision procedure for sets, binary relations and partial functions
Computer Aided Verification | 2019-05-03 | Paper |
| A set solver for finite set relation algebra | 2018-11-08 | Paper |
Constraint logic programming with polynomial constraints over finite domains
Fundamenta Informaticae | 2018-10-02 | Paper |
Adding partial functions to constraint logic programming with sets
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| A decision procedure for restricted intensional sets | 2017-09-22 | Paper |
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A necessary condition for constructive negation in constraint logic programming
Information Processing Letters | 2016-06-16 | Paper |
Logic programming in Italy: a historical perspective
Lecture Notes in Computer Science | 2010-07-20 | Paper |
GASP: Answer set programming with lazy grounding
Fundamenta Informaticae | 2010-02-05 | Paper |
Integrating finite domain and set constraints into a set-based constraint language
Fundamenta Informaticae | 2010-02-05 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Set unification
Theory and Practice of Logic Programming | 2007-02-13 | Paper |
| scientific article; zbMATH DE number 2080938 (Why is no real title available?) | 2004-08-04 | Paper |
Constructive negation and constraint logic programming with sets
New Generation Computing | 2001-10-10 | Paper |
| scientific article; zbMATH DE number 1420800 (Why is no real title available?) | 2000-12-05 | Paper |
| scientific article; zbMATH DE number 1508935 (Why is no real title available?) | 2000-09-18 | Paper |
| scientific article; zbMATH DE number 1337735 (Why is no real title available?) | 1999-09-16 | Paper |
| scientific article; zbMATH DE number 1140684 (Why is no real title available?) | 1998-04-13 | Paper |
{log}: A language for programming in logic with finite sets
The Journal of Logic Programming | 1997-11-10 | Paper |
| scientific article; zbMATH DE number 36613 (Why is no real title available?) | 1992-06-28 | Paper |
Extending Horn clause logic with implication goals
Theoretical Computer Science | 1992-06-28 | Paper |
Using Prolog for building FROG, a hybrid knowledge representation system
New Generation Computing | 1989-01-01 | Paper |
