| Nonground Abductive Logic Programming with Probabilistic Integrity Constraints | 1 | 0.35 | 2021 |
| Branching interval algebra: An almost complete picture | 0 | 0.34 | 2021 |
| The Horn Fragment of Branching Algebra. | 0 | 0.34 | 2020 |
| Dischargeable Obligations In The Sciff Framework | 0 | 0.34 | 2020 |
| Improved Filtering For The Euclidean Traveling Salesperson Problem In Clp(Fd) | 0 | 0.34 | 2020 |
| On (Maximal, Tractable) Fragments of the Branching Algebra. | 0 | 0.34 | 2020 |
| Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. | 0 | 0.34 | 2020 |
| Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling | 0 | 0.34 | 2020 |
| A network model for routing-fault-free wavelength selection in WRONoCs design. | 0 | 0.34 | 2018 |
| Evaluating Compliance: From LTL to Abductive Logic Programming. | 1 | 0.35 | 2018 |
| Accountable Protocols in Abductive Logic Programming. | 2 | 0.39 | 2018 |
| Deciding the Consistency of Branching Time Interval Networks. | 0 | 0.34 | 2018 |
| Wavelength-Routed Optical Networks-on-Chip: Design Methods and Tools to Bridge the Gap Between Logic Topologies and Physical Ones in 3D Architectures. | 0 | 0.34 | 2018 |
| Reasoning on Datalog± Ontologies with Abductive Logic Programming. | 0 | 0.34 | 2018 |
| Dischargeable Obligations In Abductive Logic Programming | 0 | 0.34 | 2017 |
| Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper). | 0 | 0.34 | 2017 |
| Sldnf-Draw: Visualization Of Prolog Operational Semantics In Latex | 0 | 0.34 | 2017 |
| Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper). | 0 | 0.34 | 2017 |
| Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip. | 7 | 0.48 | 2016 |
| An Abductive Framework for Datalog± Ontologies. | 4 | 0.38 | 2015 |
| Abductive Logic Programming for Normative Reasoning and Ontologies | 0 | 0.34 | 2015 |
| The Isolation System Design in Hydraulic Networks. | 0 | 0.34 | 2015 |
| Abductive logic programming for Datalog +/- ontologies. | 2 | 0.36 | 2015 |
| An application of constraint solving for home health care. | 2 | 0.38 | 2015 |
| Evaluating compliance: from LTL to abductive logic programming. | 0 | 0.34 | 2015 |
| Scheduling countermeasures to contamination events by genetic algorithms. | 3 | 0.40 | 2015 |
| Multi-Criteria Optimal Planning for Energy Policies in CLP. | 0 | 0.34 | 2014 |
| Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence. | 3 | 0.40 | 2014 |
| Automated reasoning. | 0 | 0.34 | 2013 |
| The ICLP 2013 Doctoral Consortium. | 0 | 0.34 | 2013 |
| Optimal valve placement in water distribution networks with CLP(FD) | 1 | 0.36 | 2013 |
| Simulation Of Incentive Mechanisms For Renewable Energy Policies | 5 | 0.71 | 2013 |
| A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems. | 4 | 0.46 | 2012 |
| Deon+: abduction and constraints for normative reasoning | 4 | 0.40 | 2012 |
| Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit. | 2 | 0.38 | 2012 |
| An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System. | 0 | 0.34 | 2012 |
| An ASP approach for the valves positioning optimization in a water distribution system. | 9 | 0.48 | 2012 |
| Genetic algorithms for scheduling devices operation in a water distribution system in response to contamination events | 3 | 0.43 | 2012 |
| What-If Analysis Through Simulation-Optimization Hybrids | 4 | 0.79 | 2012 |
| Learning Specifications Of Interaction Protocols And Business Processes And Proving Their Properties | 0 | 0.34 | 2011 |
| Optimal placement of valves in a water distribution network with CLP(FD). | 9 | 0.72 | 2011 |
| The CHR-based Implementation of the SCIFF Abductive System | 4 | 0.46 | 2011 |
| Sustainable biomass power plant location in the Italian Emilia-Romagna region | 3 | 0.62 | 2011 |
| A Computational Logic Application Framework for Service Discovery and Contracting | 5 | 0.42 | 2011 |
| 17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" | 0 | 0.34 | 2011 |
| An application of fuzzy logic to strategic environmental assessment | 3 | 0.51 | 2011 |
| Runtime Addition of Integrity Constraints in SCIFF. | 1 | 0.35 | 2010 |
| Logic–based decision support for strategic environmental assessment | 8 | 0.92 | 2010 |
| Constraint Logic Programming | 4 | 0.37 | 2010 |
| RUNTIME ADDITION OF INTEGRITY CONSTRAINS IN AN ABDUCTIVE PROOF PROCEDURE | 0 | 0.34 | 2010 |
