Paola Mello

According to our database1, Paola Mello authored at least 205 papers between 1986 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
HABITAT: An IoT Solution for Independent Elderly.
Sensors, 2019

Complex reactive event processing for assisted living: The Habitat project case study.
Expert Syst. Appl., 2019

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris.
IEEE Trans. Games, 2018

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning.
Fundam. Inform., 2018

Evaluating Compliance: From LTL to Abductive Logic Programming.
Fundam. Inform., 2018

A distributed approach to compliance monitoring of business process event streams.
Future Generation Comp. Syst., 2018

Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning.
Proceedings of the 33rd Italian Conference on Computational Logic, 2018

2017
Solving Mathematical Puzzles: A Challenging Competition for AI.
AI Magazine, 2017

Distributed Compliance Monitoring of Business Processes over MapReduce Architectures.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation.
Proceedings of the Foundations of Intelligent Systems - 23rd International Symposium, 2017

Abduction for Generating Synthetic Traces.
Proceedings of the Business Process Management Workshops, 2017

A Game-Based Competition as Instrument for Teaching Artificial Intelligence.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Map Reduce Autoscaling over the Cloud with Process Mining Monitoring.
Proceedings of the Cloud Computing and Services Science - 6th International Conference, 2016

Process Mining Monitoring for Map Reduce Applications in the Cloud.
Proceedings of the CLOSER 2016, 2016

Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper).
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

Abducing Compliance of Incomplete Event Logs.
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
Evaluating compliance: from LTL to abductive logic programming.
Proceedings of the 30th Italian Conference on Computational Logic, 2015

Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

2014
A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation.
Proceedings of the Eighth International Conference on Complex, 2014

2013
Monitoring business constraints with the event calculus.
ACM TIST, 2013

Guest-editorial: 25 years of AI*IA.
Intelligenza Artificiale, 2013

Representing and monitoring social commitments using the event calculus.
Autonomous Agents and Multi-Agent Systems, 2013

Towards data-aware constraints in declare.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012
A Rule-Based Calculus and Processing of Complex Events.
Proceedings of the Rules on the Web: Research and Applications, 2012

Reactive Event Calculus for Monitoring Global Computing Applications.
Proceedings of the Logic Programs, Norms and Action, 2012

Towards an Interactive Personal Care System driven by Sensor Data.
Proceedings of the Popularize Artificial Intelligence, 2012

2011
A Computational Logic Application Framework for Service Discovery and Contracting.
Int. J. Web Service Res., 2011

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.
Intelligenza Artificiale, 2011

Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.
Cybernetics and Systems, 2011

Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos.
Autonomous Agents and Multi-Agent Systems, 2011

Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems.
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

An Evidential Fusion Architecture for People Surveillance in Wide Open Areas.
Proceedings of the Hybrid Artificial Intelligent Systems - 6th International Conference, 2011

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge.
Proceedings of the Business Process Management Workshops, 2011


Fuzzy Conformance Checking of Observed Behaviour with Expectations.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010
Declarative specification and verification of service choreographiess.
TWEB, 2010

A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information.
IEEE Trans. Knowl. Data Eng., 2010

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.
Multiagent and Grid Systems, 2010

Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends.
Intelligenza Artificiale, 2010

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

A Logic-Based, Reactive Calculus of Events.
Fundam. Inform., 2010

Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant.
Environmental Modelling and Software, 2010

A Rule-Based Implementation of Fuzzy Tableau Reasoning.
Proceedings of the Semantic Web Rules - International Symposium, 2010

A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Role Monitoring in Open Agent Societies.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Declarative Technologies for Open Agent Systems and Beyond.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning.
Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

2009
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.
Trans. Petri Nets and Other Models of Concurrency, 2009

A wawelet based heuristic to dimension Neural Networks for simple signal approximation.
Proceedings of the Neural Nets WIRN09, 2009

Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

Verifying A-Priori the Composition of Declarative Specified Services.
Proceedings of the Second Multi-Agent Logics, 2009

Commitment Tracking via the Reactive Event Calculus.
Proceedings of the IJCAI 2009, 2009

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
Proceedings of the IEEE International Conference on Web Services, 2009

A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants.
Proceedings of the Hybrid Artificial Intelligence Systems, 4th International Conference, 2009

Social Commitments in Time: Satisfied or Compensated.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines.
Proceedings of the Knowledge Representation for Health-Care: Data, 2009

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.
Proceedings of the Artificial Intelligence in Medicine, 2009

Modelling Interactions via Commitments and Expectations.
Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008
Verifiable agent interaction in abductive logic programming: The SCIFF framework.
ACM Trans. Comput. Log., 2008

Verification of Choreographies During Execution Using the Reactive Event Calculus.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

E-learning by Doing with Computational Logic.
Proceedings of the Conference Knowledge Construction in E-learning Context: CSCL, 2008

Adding Uncertainty to a Rete-OO Inference Engine.
Proceedings of the Rule Representation, 2008

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios.
Proceedings of the 2nd International ICST Conference on Pervasive Computing Technologies for Healthcare, 2008

An Abductive Multi-Agent System for Medical Services Coordination.
Proceedings of the Artificial Intelligence in Theory and Practice II, 2008

A Knowledge-Based System for Fashion Trend Forecasting.
Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

Verification from Declarative Specifications Using Logic Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

Modelling Radial Basis Functions with Rational Logic Rules.
Proceedings of the Hybrid Artificial Intelligence Systems, Third International Workshop, 2008

Checking Compliance of Execution Traces to Business Rules.
Proceedings of the Business Process Management Workshops, 2008

Modeling and Verification of Business Processes and Choreographies in ALP.
Proceedings of the Il Milione (i.e. 2ˆ6), 2008

Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic.
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.
Scalable Computing: Practice and Experience, 2007

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

Applying Inductive Logic Programming to Process Mining.
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

Web Service Contracting: Specification and Reasoning with SCIFF.
Proceedings of the Semantic Web: Research and Applications, 2007

Expressing and Verifying Business Contracts with Abductive Logic Programming.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

-Tropos.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

Inducing Declarative Logic-Based Models from Labeled Traces.
Proceedings of the Business Process Management, 5th International Conference, 2007

Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.
Proceedings of the Artificial Intelligence in Medicine, 2007

2006
Artificial Intelligence Techniques for Monitoring Dangerous Infections.
IEEE Trans. Information Technology in Biomedicine, 2006

Mapping deontic operators to abductive expectations.
Computational & Mathematical Organization Theory, 2006

Compliance verification of agent interaction: a logic-based software tool.
Applied Artificial Intelligence, 2006

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Policy-based Reasoning for Smart Web Service Interaction.
Proceedings of the SWAP 2006, 2006

An abductive framework for a-priori verification of web services.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

A Verifiable Logic-Based Agent Architecture.
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

2005
A CHR-based implementation of known arc-consistency.
TPLP, 2005

Dealing with incomplete knowledge on CLP(FD) variable domains.
ACM Trans. Program. Lang. Syst., 2005

Expressing interaction in combinatorial auction through social integrity constraints.
Intelligenza Artificiale, 2005

Protocol Specification and Verification by Using Computational Logic.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Mapping of Deontic Operators to Abductive Expectations.
Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

Abduction with Hypotheses Confirmation.
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.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Security Protocols Verification in Abductive Logic Programming: A Case Study.
Proceedings of the Engineering Societies in the Agents World VI, 2005

Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.
Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 2005

The SCIFF Abductive Proof-Procedure.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004
A knowledge based system for the anticoagulant oral therapy.
Intelligenza Artificiale, 2004

Specification and Verification of Agent Interaction using Social Integrity Constraints.
Electr. Notes Theor. Comput. Sci., 2004

A System for Measuring Function Points from an ER-DFD Specification.
Comput. J., 2004

A Logic based Approach to Interaction Design in Open Multi-Agent Systems.
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.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Learning the Dose Adjustment for the Oral Anticoagulation Treatment.
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.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

An Abductive Framework for Information Exchange in Multi-agent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003
Discovering Validation Rules from Microbiological Data.
New Generation Comput., 2003

Validation of biochemical laboratory results using the DNSev expert system.
Expert Syst. Appl., 2003

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.
Ann. Math. Artif. Intell., 2003

Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.
Proceedings of the Declarative Agent Languages and Technologies, 2003

A Social ACL Semantics by Deontic Constraints.
Proceedings of the Multi-Agent Systems and Applications III, 2003

An Abductive Interpretation for Open Agent Societies.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Interpreting Abduction in CLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Exploiting Constraints for Domain Managing in CLP(FD).
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance.
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.
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.
Electr. Notes Theor. Comput. Sci., 2001

From Eager to Lazy Constrained Data Acquisition: A General Framework.
New Generation Comput., 2001

An application of machine learning and statistics to defect detection.
Intell. Data Anal., 2001

LAILA: a language for coordinating abductive reasoning among logic agents.
Comput. Lang., 2001

An Expert System for Microbiological Data Validation and Surveillance.
Proceedings of the Medical Data Analysis, Second International Symposium, 2001

2000
Image analysis and rule-based reasoning for a traffic monitoring system.
IEEE Trans. Intelligent Transportation Systems, 2000

Expressing Collaboration And Competition Among Abductive Logic Agents.
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.
Proceedings of the Medical Data Analysis, First International Symposium, 2000

Expressing Collaborative and Competitive Coordination among Abductive.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999
Reasoning on Constraints in CLP(FD).
J. Log. Program., 1999

Integrating Induction and Abduction in Logic Programming.
Inf. Sci., 1999

Exploiting Type Analysis for Unification in a Distributed Environment.
Computers and Artificial Intelligence, 1999

Abductive Coordination for Logic Agents.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Constraint Propagation and Value Acquisition: Why we should do it Interactively.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Domains as First Class Objects in CLP(FD).
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.
Proceedings of the 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 1999

Least Commitment on Variable Binding in Presence of Incomplete Knowledge.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

An Implementation for Abductive Logic Agents.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

Domains as First Class Objects in CLP(FD).
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem.
Softw., Pract. Exper., 1998

Optimizing Modular Logic Languages.
ACM Comput. Surv., 1998

Extending Constraint Logic Programming for Temporal Reasoning.
Ann. Math. Artif. Intell., 1998

Interactive Constraint Satisfaction and its Application to Visual Object Recognition.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
A Unifying View for Logic Programming with Non-Monotonic Reasoning.
Theor. Comput. Sci., 1997

Blackboard- and Object-Based Systems via Multi-Head Clauses.
Computers and Artificial Intelligence, 1997

A distributed constraint-based scheduler.
AI in Engineering, 1997

A System for Abductive Learning of Logic Programs.
Proceedings of the Logic Programming and Knowledge Representation, 1997

An Interactive Constraint-Based System for Selective Attention in Visual Search.
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Exploiting Symbolic Learning in Visual Inspection.
Proceedings of the Advances in Intelligent Data Analysis, 1997

Reasoning on Constraints in Constraint Logic Programming.
Proceedings of the Logic Programming, 1997

Learning for Feature Selection and Shape Detection.
Proceedings of the Image Analysis and Processing, 9th International Conference, 1997

Improving Distributed Unification through Type Analysis.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Introducing Abduction into (Extensional) Inductive Logic Programming Systems.
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

An Algorithm for Learning Abductive Rules.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
An Optimized Implementation of a Dynamic Modular Logic Language.
Software - Concepts and Tools, 1996

An assumption-based truth maintenance system dealing with non-ground justifications.
J. Exp. Theor. Artif. Intell., 1996

An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages.
Inf. Process. Lett., 1996

Distributed logic objects: A fragment of rewriting logic and its implementation.
Electr. Notes Theor. Comput. Sci., 1996

Distributed Logic Objects.
Comput. Lang., 1996

Temporal Reasoning in a Meta Constraint Logic Programming Architecture.
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Resource-Based vs. Task-Based Approaches for Scheduling Problems.
Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

Combining Solvers in a Meta Constraint Logic Programming Architecture.
Proceedings of the Frontiers of Combining Systems, 1996

A Meta Constraint Logic Programming Architecture (Extended Abstract).
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Comsumption-based Distributed Unification.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

Enhancing Constraint Logic Programming through Meta Programming.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
An Abductive Framework for Extended Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Improving the Efficiency of Dynamic Modular Logic Languages.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Modularity in Logic Programming.
J. Log. Program., 1994

Multi-level Copying For Unification In Parallel Architectures.
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

Modularity in Logic Programming.
Proceedings of the Logic Programming, 1994

1993
Composing Open Logic Programs.
J. Log. Comput., 1993

Partial Deduction for Structured Logic Programming.
J. Log. Program., 1993

Parametric Composable Modules in a Logic Programming Language.
Comput. Lang., 1993

Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

Computing 3-valued Stable Models by using the ATMS.
Proceedings of the Advances in Artificial Intelligence, 1993

1992
Extending Prolog with Moduarity, Concurrency and Meta-Rules.
New Generation Comput., 1992

Compositional Model-Theoretic Semantics for Logic Programs.
New Generation Comput., 1992

An Extended Warren Abstract Machine for the Execution of Structured Logic Programs.
J. Log. Program., 1992

The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses.
Inf. Process. Lett., 1992

Knowledge-Based Technology for Controlling Railway Stations.
IEEE Expert, 1992

A Rationalisation of the ATMS in Terms of Partial Evaluation.
Proceedings of the Logic Program Synthesis and Transformation, 1992

Normal Logic Programs as Open Positive Programs.
Proceedings of the Logic Programming, 1992

Techniques for Implementing Contexts in Logic Programming.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

ATMS for Implementing Logic Programming.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Normal logic programs as open positive programs.
Proceedings of the CNKBS'92, 1992

1991
Reflection Mechanisms for Combining Prolog Databases.
Softw., Pract. Exper., 1991

Processing Abductive Reasoning via Contextual Logic Programming.
Proceedings of the Processing Declarative Knowledge, 1991

Objects in a Logic Programming Framework.
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Open Logic Theories.
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

Abductive Reasoning in a Multi-Theory Framework.
Proceedings of the Trends in Artificial Intelligence, 1991

1990
Hypothetical Reasoning in Logic Programming: A Semantic Approach.
Inf. Process. Lett., 1990

Partial Evaluation for Hierarchies of Logic Theories.
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.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989
Concurrent objects in a logic programming framework.
SIGPLAN Notices, 1989

ADES: An expert system for ATP design.
AI EDAM, 1989

Logic Programming in a Software Engineering Perspective.
Proceedings of the Logic Programming, 1989

The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming.
Proceedings of the Logic Programming, 1989

1988
Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques.
Proceedings of the Meta-Programming in Logic Programming, 1988

An Extended Prolog Machine for Dynamic Context Handling.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987
Objects as Communicating Prolog Units.
Proceedings of the ECOOP'87 European Conference on Object-Oriented Programming, 1987

1986
Programs as Collections of Communicating Prolog Units.
Proceedings of the ESOP 86, 1986


  Loading...