Rodney W. Topor

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
DL-Lite ontology revision based on an alternative semantic characterization ACM Transactions on Computational Logic	2017-07-12	Paper
Eliminating concepts and roles from ontologies in expressive descriptive logics Computational Intelligence	2016-01-05	Paper
Tableau-based forgetting in \(\mathcal {ALC}\) ontologies	2011-05-11	Paper
Forgetting for knowledge bases in DL-lite Annals of Mathematics and Artificial Intelligence	2010-11-12	Paper
Rewriting union queries using views Constraints	2006-02-23	Paper
Mining informative rule set for prediction Journal of Intelligent Information Systems	2005-03-15	Paper
scientific article; zbMATH DE number 2086266 (Why is no real title available?)	2004-08-11	Paper
An efficient algorithm for constructing Hamiltonian paths in meshes Parallel Computing	2002-09-09	Paper
scientific article; zbMATH DE number 1755626 (Why is no real title available?)	2002-06-16	Paper
scientific article; zbMATH DE number 1700007 (Why is no real title available?)	2002-02-03	Paper
Nonrecursive incremental evaluation of Datalog queries Annals of Mathematics and Artificial Intelligence	1996-10-20	Paper
An efficient permutation-based parallel range-join algorithm on N-dimensional torus computers Information Processing Letters	1996-02-26	Paper
scientific article; zbMATH DE number 638304 (Why is no real title available?)	1994-10-13	Paper
scientific article; zbMATH DE number 4199657 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4064539 (Why is no real title available?)	1988-01-01	Paper
Inferring negative information from disjunctive databases Journal of Automated Reasoning	1988-01-01	Paper
Domain-independent formulas and databases Theoretical Computer Science	1987-01-01	Paper
Integrity constraint checking in stratified databases The Journal of Logic Programming	1987-01-01	Paper
A basis for deductive database systems II The Journal of Logic Programming	1986-01-01	Paper
A basis for deductive database systems The Journal of Logic Programming	1985-01-01	Paper
Making prolog more expressive The Journal of Logic Programming	1984-01-01	Paper
Fundamental solutions of the eight queens problem BIT	1982-01-01	Paper
Functional Programs for Generating Permutations The Computer Journal	1982-01-01	Paper
The correctness of the Schorr-Waite list marking algorithm Acta Informatica	1979-01-01	Paper

Research outcomes over time

This page was built for person: Rodney W. Topor