Filters








1,075 Hits in 3.7 sec

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

Hongwei (Harry) Zhu, Stuart E. Madnick, Michael Siegel
2004 Social Science Research Network  
This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints.  ...  A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times.  ...  Acknowledgements The work reported herein was supported, in part, by the Singapore-MIT Alliance (SMA) and the Malaysia University of Science and Technology (MUST)-MIT collaboration.  ... 
doi:10.2139/ssrn.577261 fatcat:gv5kv3usgzedvbsu2deedoqdv4

Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming [chapter]

Hongwei Zhu, Stuart E. Madnick, Michael D. Siegel
2004 Lecture Notes in Computer Science  
This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints.  ...  A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times.  ...  Acknowledgements The work reported herein was supported, in part, by the Singapore-MIT Alliance (SMA) and the Malaysia University of Science and Technology (MUST)-MIT collaboration.  ... 
doi:10.1007/978-3-540-30122-6_7 fatcat:wbavz7o5zfhw5bxnoyelb65kae

Financial Information Integration in the Presence of Equational Ontological Conflicts

Aykut Firat, Stuart E. Madnick, Benjamin Grosof
2003 Social Science Research Network  
In this paper we first define what we mean by equational ontological conflicts and then describe a new approach, using Constraint Logic Programming and abductive reasoning, to reconcile such conflicts  ...  In particular, we focus on the use of Constraint Handling Rules as a simultaneous symbolic equation solver, which is a powerful way to combine, invert and simplify multiple conversion functions that translate  ...  In our original COIN system, we used CHR in semantic query optimization by pruning our query plans with the use of integrity constraints.  ... 
doi:10.2139/ssrn.376840 fatcat:rffaibpl7veebg5zeqclo47ad4

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction [chapter]

Henning Christiansen, Veronica Dahl
2005 Lecture Notes in Computer Science  
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints.  ...  An operational semantics is given which complies with standard declarative semantics for the "pure" sublanguages, while for the full HYPROLOG language, it must be taken as definition.  ...  Acknowledgements The authors want to thank Michael Cheng for experimentation with an early version of the methods and for helpful discussions, and Dulce Aguilar-Solis for help with benchmark testing.  ... 
doi:10.1007/11562931_14 fatcat:ryrnilnr5ndgzffhi45gv7w7hq

Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems

Aykut Firat, Stuart E. Madnick, Benjamin Grosof
2002 Social Science Research Network  
constraint logic-programming framework.  ...  semantic interoperability.  ...  ., Suruga Bank, and Singapore-MIT Alliance.  ... 
doi:10.2139/ssrn.336205 fatcat:34hrbyxjhzekzeiiapx37fgela

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules [chapter]

Henning Christiansen
2008 Lecture Notes in Computer Science  
and interaction with external constraint solvers.  ...  Compared with other probabilistic versions of abductive logic programming, the approach is characterized by higher generality and a flexible and adaptable architecture which incorporates integrity constraints  ...  Probabilistic Constraint Handling Rules are introduced by [26] ; probabilities are assigned to each rule of a program for it to apply and it is defined by a an operational semantics and implemented by  ... 
doi:10.1007/978-3-540-92243-8_5 fatcat:qx5pefg2gzaxtkzejesfrcpczq

Reconciling Equational Heterogeneity Within a Data Federation

Aykut Firat, Stuart E. Madnick, Michael Siegel, Benjamin Grosof, Frank Manola
2009 Social Science Research Network  
Ben wants to obtain the airfare and airline information for his trip and formulates the following SQL query:  ...  Surprisingly, even in such a simple scenario the semantic differences provide enough complexity to illustrate some of the important issues.  ...  ACKNOWLEDGMENT This research was supported, in part, by The MITRE Corporation, Merrill Lynch, PriceWa-terHouseCoopers, Suruga Bank, MIT-Singapore and MIT-Malaysia Alliances.  ... 
doi:10.2139/ssrn.1477615 fatcat:dituenolajhodebpe5z4wa24ga

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Henning Christiansen
2009 Journal of Applied Logic  
Constraint handling rules, chr Chr inherits the basic nomenclature of prolog, and we refer to the notions of constant and function symbols, predicates, variables, atoms, 1 terms and queries and use initial  ...  Syntax and semantics of CHR and its extensions Where prolog represents a top-down, backward chaining computational paradigm, Constraint Handling Rules, chr, extends with bottom-up, forward chaining computations  ...  A more detailed, operational semantics, which is deterministic and captures the semantics of the implemented chr systems, can be found in [29] . A query Q is given as a conjunction of constraints.  ... 
doi:10.1016/j.jal.2008.10.004 fatcat:vci2qqbucjawdje55gc6cxw2ge

Combining Forward and Backward Propagation [chapter]

Amira Zaki, Slim Abdennadher, Thom Frühwirth
2015 Lecture Notes in Computer Science  
Constraint Handling Rules (CHR) is a general-purpose rulebased programming language.  ...  This paper studies the forward and backward propagation of rules, and explores the combination of both execution strategies.  ...  can be added to the modeled program to provide semantic optimization to the reasoner.  ... 
doi:10.1007/978-3-319-24246-0_19 fatcat:hrumjjnvivg5ja2jkk7rpcohqy

Coherent Integration of Databases by Abductive Logic Programming

O. Arieli, M. Denecker, B. Van Nuffelen, M. Bruynooghe
2004 The Journal of Artificial Intelligence Research  
The outcome is an abductive-based application that is sound and complete with respect to a corresponding model-based, preferential semantics, and -- to the best of our knowledge -- is more expressive (  ...  Abstract: We introduce an abductive method for a coherent integration of independent data-sources.  ...  Acknowledgements We would like to thank the anonymous reviewers for many helpful comments and suggestions. This research was supported by the Research Fund K.U.Leuven and by FWO-Vlaanderen.  ... 
doi:10.1613/jair.1322 fatcat:vdiqbqpymnafjdexvspcpmteti

Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources [chapter]

Hongwei Zhu, Stuart E. Madnick, Michael D. Siegel
2005 Lecture Notes in Computer Science  
A mediator, implemented in abductive constraint logic programming, processes the semantics by solving temporal constraints for single-valued time intervals and automatically applying conversions to resolve  ...  We also discuss the scalability of the approach and its applicability to the Semantic Web.  ...  Acknowledgements The work reported herein was supported, in part, by the Singapore-MIT Alliance (SMA) and the Malaysia University of Science and Technology (MUST)-MIT collaboration.  ... 
doi:10.1007/978-3-540-31839-2_10 fatcat:6ggax6liy5e35dpbyngrn6hnxe

Representation and Reasoning about Changing Semantics in Heterogeneous Data Sources

Hongwei (Harry) Zhu, Stuart E. Madnick, Michael Siegel
2004 Social Science Research Network  
A mediator, implemented in abductive constraint logic programming, processes the semantics by solving temporal constraints for single-valued time intervals and automatically applying conversions to resolve  ...  We also discuss the scalability of the approach and its applicability to the Semantic Web.  ...  Acknowledgements The work reported herein was supported, in part, by the Singapore-MIT Alliance (SMA) and the Malaysia University of Science and Technology (MUST)-MIT collaboration.  ... 
doi:10.2139/ssrn.577242 fatcat:xry5wnweyjcjpmr3m3sjynyk44

Logic and Databases: Past, Present, and Future

Jack Minker
1997 The AI Magazine  
Gallaire, Minker, and Nicolas stated that logic and databases was a field in its own right. This was the first time that this designation was made.  ...  The impetus for it started approximately 20 years ago in 1976 when I visited Gallaire and Nicolas in Toulouse, France.  ...  The full paper is dedicated in honor of Hervé Gallaire and Jean-Marie Nicolas with whom I have worked as co-author, co-editor, colleague, and friend and who have helped to make the field of deductive databases  ... 
doi:10.1609/aimag.v18i3.1304 dblp:journals/aim/Minker97 fatcat:6foa4j2a45cabojbsyxj7rwpfq

Web Sites Repairing through Abduction

Paolo Mancarella, Giacomo Terreni, Francesca Toni
2009 Electronical Notes in Theoretical Computer Science  
The methodology consists in translating these web rules into abductive logic programs with constraints and process these by means of an existing general-purpose proof procedure, called CIFF.  ...  The tool, that we call CIFFWEB, consists of CIFF as well as the translation from rules to programs and from web sites to a suitable logical format.  ...  Computed answers are abductive answers in the semantic sense.  ... 
doi:10.1016/j.entcs.2009.03.009 fatcat:aq6fhsnl4fao5bmin63vyzvxnq

Introduction to the 30th International Conference on Logic Programming Special Issue

MICHAEL LEUSCHEL, TOM SCHRIJVERS
2014 Theory and Practice of Logic Programming  
, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.  ...  Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming; Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing  ...  It has been equipped with a web service module that can be queried through standard interfaces, and an intuitive graphic user interface.  ... 
doi:10.1017/s1471068414000581 fatcat:6fczd6mhxjcutozkk6t23lvn5e
« Previous Showing results 1 — 15 out of 1,075 results