Evelina Lamma

Int. J. Intell. Syst., 2023

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases.

[BibT_eX]

[DOI]

Riccardo Zese

CoRR, 2023

2022

Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters.

[BibT_eX]

[DOI]

SoftwareX, 2022

Symbolic DNN-Tuner.

[BibT_eX]

[DOI]

Mach. Learn., 2022

Neural-Symbolic Ensemble Learning for early-stage prediction of critical state of Covid-19 patients.

[BibT_eX]

[DOI]

Medical Biol. Eng. Comput., 2022

An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Probabilistic inductive constraint logic.

[BibT_eX]

[DOI]

Mach. Learn., 2021

Learning hierarchical probabilistic logic programs.

[BibT_eX]

[DOI]

Mach. Learn., 2021

Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints.

[BibT_eX]

[DOI]

CoRR, 2021

A semantics for Hybrid Probabilistic Logic programs with function symbols.

[BibT_eX]

[DOI]

Artif. Intell., 2021

A Probabilistic Logic Model of Lightning Network.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems Workshops, 2021

2020

A Framework for Reasoning on Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Applications and Practices in Ontology Design, 2020

Dischargeable Obligations in the 𝒮CIFF Framework.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2020

A Framework for Reasoning on Probabilistic Description Logics.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning, Optimization, and Data Science, 2020

An Analysis of Gibbs Sampling for Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Modeling Smart Contracts with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems Workshops, 2020

2019

Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Inf., 2019

KRaider: a Crawler for Linked Data.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Analyzing Transaction Fees with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems Workshops, 2019

A Comparison of MCMC Sampling for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Editorial: 29th International conference on logic programming special issue - ADDENDUM.

[BibT_eX]

[DOI]

Terrance Swift

Theory Pract. Log. Program., 2018

Accountable Protocols in Abductive Logic Programming.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2018

Reasoning on Datalog± Ontologies with Abductive Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Evaluating Compliance: From LTL to Abductive Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Tableau reasoning for description logics and its extension to probabilities.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2018

A Modular Inference System for Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Learning the Parameters of Deep Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Probabilistic Logic Programming, 2018

Modeling Bitcoin Protocols with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Probabilistic Logic Programming, 2018

A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 33rd Italian Conference on Computational Logic, 2018

Expectation Maximization in Deep Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Vision Inspection with Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018

2017

A web system for reasoning with probabilistic OWL.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2017

Economic and organizational impact of a clinical decision support system on laboratory test ordering.

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 2017

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

Dischargeable Obligations in Abductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

Deep Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Probabilistic Logic Programming 2017 co-located with 27th International Conference on Inductive Logic Programming (ILP 2017), 2017

A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Probabilistic Logic Programming 2017 co-located with 27th International Conference on Inductive Logic Programming (ILP 2017), 2017

Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Probabilistic logic programming on the web.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2016

Statistical relational learning for workflow mining.

[BibT_eX]

[DOI]

Intell. Data Anal., 2016

Probabilistic Constraint Logic Theories.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), 2016

Scaling Structure Learning of Probabilistic Logic Programs by MapReduce.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Probabilistic Logic Programming for Natural Language Processing.

[BibT_eX]

[DOI]

Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016

Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

Probabilistic Description Logics under the distribution semantics.

[BibT_eX]

[DOI]

Semantic Web, 2015

Abductive Logic Programming for Normative Reasoning and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2015

Distributed Parameter Learning for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Logic Programming Techniques for Reasoning with Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Reasoning with Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

An Abductive Framework for Datalog± Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Abductive logic programming for Datalog +/- ontologies.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Learning Probabilistic Ontologies with Distributed Parameter Learning.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

Lifted Variable Elimination for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Semantics and Inference for Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Learning Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Appropriateness of Repeated Execution of Laboratory Examinations: A CDSS Approach.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

2013

Editorial: 29th International Conference on Logic Programming special issue.

[BibT_eX]

[DOI]

Terrance Swift

Theory Pract. Log. Program., 2013

The CHR-based Implementation of the SCIFF Abductive System.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

CT dataset anisotropy management for oral implantology planning software.

[BibT_eX]

[DOI]

Int. J. Comput. Assist. Radiol. Surg., 2013

Parameter Learning for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

BUNDLE: A Reasoner for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Learning the Parameters of Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to, 2013

A Description Logics Tableau Reasoner in Prolog.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

Computing Instantiated Explanations in OWL DL.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

di4g: Uno Strumento di Clustering per l'Analisi Integrata di Dati Geologici.

[BibT_eX]

[DOI]

Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

Unsupervised and supervised learning in cascade for petroleum geology.

[BibT_eX]

[DOI]

Denis Ferraretti

Giacomo Gamberoni

Expert Syst. Appl., 2012

Epistemic and Statistical Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web, 2012

Probabilistic Datalog+/- under the Distribution Semantics.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Mandibular nerve canal identification for preoperative planning in oral implantology.

[BibT_eX]

[DOI]

Proceedings of the Computational Modelling of Objects Represented in Images, 2012

Probabilistic Ontologies in Datalog+/-.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

Deon + : Abduction and Constraints for Normative Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programs, Norms and Action, 2012

Semantics and Inference for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Popularize Artificial Intelligence, 2012

I2AM: a Semi-Automatic System for Data Interpretation in Petroleum Geology.

[BibT_eX]

[DOI]

Denis Ferraretti

Giacomo Gamberoni

Proceedings of the Popularize Artificial Intelligence, 2012

Miglioramento di algoritmi di elaborazione di immagini da scanner 3D tramite Simulated Annealing.

[BibT_eX]

[DOI]

Marco Derboni

Antonio Zaccaro

Proceedings of the Popularize Artificial Intelligence, 2012

Un sistema di Vision Inspection basato su reti neurali.

[BibT_eX]

[DOI]

Proceedings of the Popularize Artificial Intelligence, 2012

2011

A Computational Logic Application Framework for Service Discovery and Contracting.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2011

Learning specifications of interaction protocols and business processes and proving their properties.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

A Distribution Semantics for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011

Integrating Clustering and Classification Techniques: A Case Study for Reservoir Facies Prediction.

[BibT_eX]

[DOI]

Proceedings of the Emerging Intelligent Technologies in Industry, 2011

Spot Detection in Images with Noisy Background.

[BibT_eX]

[DOI]

Proceedings of the Image Analysis and Processing - ICIAP 2011, 2011

Clustering and Classification Techniques for Blind Predictions of Reservoir Facies.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Incremental Declarative Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Smart Information and Knowledge Management: Advances, 2010

Techniques to Improve Preoperative Planning Precision for Oral Implantology.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2010

Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images.

[BibT_eX]

Intelligenza Artificiale, 2010

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

A fully 3D work context for oral implant planning and simulation.

[BibT_eX]

[DOI]

Int. J. Comput. Assist. Radiol. Surg., 2010

Probabilistic Declarative Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2010

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Probabilistic Logic-Based Process Mining.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

Runtime Addition of Integrity Constraints in SCIFF.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2009

Exploiting association and correlation rules parameters for learning Bayesian networks.

[BibT_eX]

[DOI]

Sergio Storari

Intell. Data Anal., 2009

An AI Tool for the Petroleum Industry Based on Image Analysis and Hierarchical Clustering.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Data Engineering and Automated Learning, 2009

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Integration of Abductive Reasoning and Constraint Optimization in SCIFF.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Automatic Cluster Selection Using Index Driven Search Strategy.

[BibT_eX]

[DOI]

Denis Ferraretti

Giacomo Gamberoni

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

Modelling Interactions via Commitments and Expectations.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

Verifiable agent interaction in abductive logic programming: The SCIFF framework.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Expressing and Verifying Business Contracts with Abductive Logic Programming.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 2008

Exploiting Semantic Technology in Computational Logic-based Service Contracting.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

Verification from Declarative Specifications Using Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Integrating Abduction and Constraint Optimization in Constraint Handling Rules.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.

[BibT_eX]

[DOI]

Proceedings of the Il Milione (i.e. 2^6), 2008

Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

2007

Specification and Verification of Agent Interaction Protocols in a Logic-based System.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2007

Fun&Co: identification of key functional differences in transcriptomes.

[BibT_eX]

[DOI]

Bioinform., 2007

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Applying Inductive Logic Programming to Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

Web Service Contracting: Specification and Reasoning with SCIFF.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2007

Inducing Declarative Logic-Based Models from Labeled Traces.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 5th International Conference, 2007

2006

Artificial Intelligence Techniques for Monitoring Dangerous Infections.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Technol. Biomed., 2006

Mapping deontic operators to abductive expectations.

[BibT_eX]

[DOI]

Comput. Math. Organ. Theory, 2006

Compliance verification of agent interaction: a logic-based software tool.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2006

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Policy-based Reasoning for Smart Web Service Interaction.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2006, 2006

An abductive framework for a-priori verification of web services.

[BibT_eX]

[DOI]

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A Verifiable Logic-Based Agent Architecture.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

2005

A CHR-based implementation of known arc-consistency.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2005

Dealing with incomplete knowledge on CLP(FD) variable domains.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Expressing interaction in combinatorial auction through social integrity constraints.

[BibT_eX]

Intelligenza Artificiale, 2005

The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses.

[BibT_eX]

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.

[BibT_eX]

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Abduction with Hypotheses Confirmation.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

An Expert System for the Oral Anticoagulation Treatment.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Bayesian Networks Learning for Gene Expression Datasets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Data Analysis VI, 2005

Security Protocols Verification in Abductive Logic Programming: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VI, 2005

Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

The SCIFF Abductive Proof-Procedure.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

A knowledge based system for the anticoagulant oral therapy.

[BibT_eX]

Intelligenza Artificiale, 2004

A System for Measuring Function Points from an ER-DFD Specification.

[BibT_eX]

[DOI]

Comput. J., 2004

A Logic based Approach to Interaction Design in Open Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Specification and verification of agent interaction protocols in a logic-based system.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster.

[BibT_eX]

[DOI]

Proceedings of the Biological and Medical Data Analysis, 5th International Symposium, 2004

Learning the Dose Adjustment for the Oral Anticoagulation Treatment.

[BibT_eX]

[DOI]

Proceedings of the Biological and Medical Data Analysis, 5th International Symposium, 2004

The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm.

[BibT_eX]

Sergio Storari

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Abductive Framework for Information Exchange in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003

Discovering Validation Rules from Microbiological Data.

[BibT_eX]

[DOI]

New Gener. Comput., 2003

Belief Revision via Lamarckian Evolution.

[BibT_eX]

[DOI]

Luís Moniz Pereira

New Gener. Comput., 2003

Validation of biochemical laboratory results using the DNSev expert system.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2003

Specification and Verification of Agent Interaction using Social Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2003

Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies, 2003

A Social ACL Semantics by Deontic Constraints.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications III, 2003

Improving the SLA Algorithm Using Association Rules.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

An Abductive Interpretation for Open Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Interpreting Abduction in CLP.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Exploiting Constraints for Domain Managing in CLP(FD).

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Synthesis of Object Models from Partial Models: A CSP Perspective.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), 2002

Coordinating the safe execution of tasks in a constrained multi-agent system.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

From Eager to Lazy Constrained Data Acquisition: A General Framework.

[BibT_eX]

[DOI]

New Gener. Comput., 2001

LAILA: a language for coordinating abductive reasoning among logic agents.

[BibT_eX]

[DOI]

Comput. Lang., 2001

An Expert System for Microbiological Data Validation and Surveillance.

[BibT_eX]

[DOI]

Proceedings of the Medical Data Analysis, Second International Symposium, 2001

Belief Revision by Lamarckian Evolution.

[BibT_eX]

[DOI]

Luís Moniz Pereira

Proceedings of the Applications of Evolutionary Computing, 2001

2000

Strategies in Combined Learning via Logic Programs.

[BibT_eX]

[DOI]

Luís Moniz Pereira

Mach. Learn., 2000

Expressing Collaboration And Competition Among Abductive Logic Agents.

[BibT_eX]

Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

A System for Monitoring Nosocomial Infections.

[BibT_eX]

[DOI]

Proceedings of the Medical Data Analysis, First International Symposium, 2000

Expressing Collaborative and Competitive Coordination among Abductive.

[BibT_eX]

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999

Reasoning on Constraints in CLP(FD).

[BibT_eX]

[DOI]

J. Log. Program., 1999

Integrating Induction and Abduction in Logic Programming.

[BibT_eX]

[DOI]

Inf. Sci., 1999

Exploiting Type Analysis for Unification in a Distributed Environment.

[BibT_eX]

[DOI]

Cesare Stefanelli

Pascal Van Hentenryck

Comput. Artif. Intell., 1999

Abductive Coordination for Logic Agents.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Constraint Propagation and Value Acquisition: Why we should do it Interactively.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Domains as First Class Objects in CLP(FD).

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 1999

Least Commitment on Variable Binding in Presence of Incomplete Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

An Implementation for Abductive Logic Agents.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1998

Optimizing Modular Logic Languages.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1998

Extending Constraint Logic Programming for Temporal Reasoning.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1998

Learning Multiple Predicates.

[BibT_eX]

[DOI]

Antonis C. Kakas

Proceedings of the Artificial Intelligence: Methodology, 1998

Interactive Constraint Satisfaction and its Application to Visual Object Recognition.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

A Unifying View for Logic Programming with Non-Monotonic Reasoning.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Blackboard- and Object-Based Systems via Multi-Head Clauses.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 1997

A distributed constraint-based scheduler.

[BibT_eX]

[DOI]

Artif. Intell. Eng., 1997

Constraint Logic Programming for the Crew Rostering Problem.

[BibT_eX]

Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997

A System for Abductive Learning of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Knowledge Representation, 1997

An Interactive Constraint-Based System for Selective Attention in Visual Search.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Reasoning on Constraints in Constraint Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1997

Improving Distributed Unification through Type Analysis.

[BibT_eX]

[DOI]

Cesare Stefanelli

Pascal Van Hentenryck

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Introducing Abduction into (Extensional) Inductive Logic Programming Systems.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

An Algorithm for Learning Abductive Rules.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

An Optimized Implementation of a Dynamic Modular Logic Language.

[BibT_eX]

Anna Ciampolini

Softw. Concepts Tools, 1996

An assumption-based truth maintenance system dealing with non-ground justifications.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1996

An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages.

[BibT_eX]

[DOI]

Anna Ciampolini

Inf. Process. Lett., 1996

Distributed logic objects: A fragment of rewriting logic and its implementation.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Distributed Logic Objects.

[BibT_eX]

[DOI]

Comput. Lang., 1996

Temporal Reasoning in a Meta Constraint Logic Programming Architecture.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Resource-Based vs. Task-Based Approaches for Scheduling Problems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

Combining Solvers in a Meta Constraint Logic Programming Architecture.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, 1996

A Meta Constraint Logic Programming Architecture (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Comsumption-based Distributed Unification.

[BibT_eX]

Cesare Stefanelli

Pascal Van Hentenryck

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

Enhancing Constraint Logic Programming through Meta Programming.

[BibT_eX]

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

An Abductive Framework for Extended Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Improving the Efficiency of Dynamic Modular Logic Languages.

[BibT_eX]

Anna Ciampolini

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Modularity in Logic Programming.

[BibT_eX]

[DOI]

Michele Bugliesi

J. Log. Program., 1994

Multi-level Copying For Unification In Parallel Architectures.

[BibT_eX]

[DOI]

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

Modularity in Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1994

1993

Composing Open Logic Programs.

[BibT_eX]

[DOI]

J. Log. Comput., 1993

Partial Deduction for Structured Logic Programming.

[BibT_eX]

[DOI]

Michele Bugliesi

J. Log. Program., 1993

Parametric Composable Modules in a Logic Programming Language.

[BibT_eX]

[DOI]

Gianfranco Rossi

Comput. Lang., 1993

Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

Computing 3-valued Stable Models by using the ATMS.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 1993

1992

Compositional Model-Theoretic Semantics for Logic Programs.

[BibT_eX]

[DOI]

New Gener. Comput., 1992

An Extended Warren Abstract Machine for the Execution of Structured Logic Programs.

[BibT_eX]

[DOI]

Antonio Natali

J. Log. Program., 1992

The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1992

Knowledge-Based Technology for Controlling Railway Stations.

[BibT_eX]

[DOI]

IEEE Expert, 1992

A Rationalisation of the ATMS in Terms of Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Logic Program Synthesis and Transformation, 1992

Normal Logic Programs as Open Positive Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1992

Techniques for Implementing Contexts in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

ATMS for Implementing Logic Programming.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

Reflection Mechanisms for Combining Prolog Databases.

[BibT_eX]

[DOI]

Antonio Natali

Softw. Pract. Exp., 1991

Processing Abductive Reasoning via Contextual Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Processing Declarative Knowledge, 1991

Objects in a Logic Programming Framework.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Open Logic Theories.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

Abductive Reasoning in a Multi-Theory Framework.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence, 1991

1990

Hypothetical Reasoning in Logic Programming: A Semantic Approach.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1990

Partial Evaluation for Hierarchies of Logic Theories.

[BibT_eX]

Michele Bugliesi

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Inheritance and Hypothetical Reasoning in Logic Programming.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

ADES: An expert system for ATP design.

[BibT_eX]

[DOI]

Roberto Cremonini

Artif. Intell. Eng. Des. Anal. Manuf., 1989

The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming.

[BibT_eX]

Antonio Natali

Proceedings of the Logic Programming, 1989

1988

Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques.

[BibT_eX]

Proceedings of the Meta-Programming in Logic Programming, 1988

An Extended Prolog Machine for Dynamic Context Handling.

[BibT_eX]

Marco Cavalieri

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987

Optimization techniques in building expert systems.

[BibT_eX]

[DOI]

Roberto Cremonini