Rachel Ben-Eliyahu-Zohary

Available identifiers

Publication	Date of Publication	Type
How to split a logic program	2024-12-03	Paper
Graph-based construction of minimal models	2022-11-08	Paper
Modular construction of minimal models	2017-09-05	Paper
Computational properties of metaquerying problems	2017-06-13	Paper
Monotonic qualitative logic programs: computation and applications	2016-06-10	Paper
On the tractability of minimal model computation for some CNF theories	2015-08-27	Paper
Restricted default theories: expressive power and outlier detection tasks	2014-12-16	Paper
Markov network based ontology matching	2012-05-11	Paper
Quantified logic programs, revisited	2011-11-23	Paper
Outlier detection for simple default theories	2011-01-31	Paper
Outlier detection using default reasoning	2009-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q5428934	2007-11-29	Paper
An incremental algorithm for generating all minimal models	2007-10-23	Paper
Metaqueries: Semantics, complexity, and efficient algorithms	2006-02-07	Paper
FlexiMine --A flexible platform for KDD research and application development	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4798018	2003-03-18	Paper
Yet some more complexity results for default logic	2002-07-31	Paper
More on tractable disjunctive Datalog	2000-12-12	Paper
Similarity preservation in default logic	2000-01-12	Paper
Reasoning with minimal models: efficient algorithms and applications	1998-08-13	Paper

This page was built for person: Rachel Ben-Eliyahu-Zohary