| Learning Specifications Of Interaction Protocols And Business Processes And Proving Their Properties | 0 | 0.34 | 2011 |
| On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework | 4 | 0.39 | 2010 |
| Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images | 2 | 0.45 | 2010 |
| Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends | 0 | 0.34 | 2010 |
| Declarative specification and verification of service choreographiess | 73 | 1.92 | 2010 |
| Exploiting Inductive Logic Programming Techniques for Declarative Process Mining | 52 | 1.64 | 2009 |
| Analysis of the GLARE and GPROVE approaches to clinical guidelines | 3 | 0.51 | 2009 |
| A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance | 8 | 0.63 | 2009 |
| Exploiting association and correlation rules parameters for learning Bayesian networks | 2 | 0.37 | 2009 |
| A Knowledge-Based System for Fashion Trend Forecasting | 2 | 0.38 | 2008 |
| Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. | 0 | 0.34 | 2008 |
| Checking Compliance of Execution Traces to Business Rules | 20 | 0.75 | 2008 |
| An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios | 0 | 0.34 | 2008 |
| Applying inductive logic programming to process mining | 37 | 1.28 | 2007 |
| Inducing declarative logic-based models from labeled traces | 34 | 1.33 | 2007 |
| Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic | 9 | 0.52 | 2007 |
| Fun&Co: identification of key functional differences in transcriptomes. | 0 | 0.34 | 2007 |
| Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool | 8 | 0.55 | 2006 |
| A framework for defining and verifying clinical guidelines: a case study on cancer screening | 6 | 0.63 | 2006 |
| Finding biological process modifications in cancer tissues by mining gene expression correlations. | 23 | 0.45 | 2006 |
| Protocol Specification and Verification by Using Computational Logic | 2 | 0.39 | 2005 |
| An expert system for the oral anticoagulation treatment | 0 | 0.34 | 2005 |
| Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols | 2 | 0.39 | 2005 |
| Bayesian networks learning for gene expression datasets | 3 | 0.42 | 2005 |
| A knowledge based system for the anticoagulant oral therapy | 0 | 0.34 | 2004 |
| Learning the Dose Adjustment for the Oral Anticoagulation Treatment | 1 | 0.39 | 2004 |
| Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm | 3 | 0.43 | 2004 |
| Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster | 0 | 0.34 | 2004 |
| Improving the SLA Algorithm Using Association Rules | 2 | 0.42 | 2003 |
| Discovering validation rules from microbiological data | 3 | 0.74 | 2003 |
| Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain | 1 | 0.65 | 2001 |
