Rodney W. Topor

Available identifiers

zbMath Open topor.rodney-wMaRDI QIDQ1092678

List of research outcomes

Publication	Date of Publication	Type
DL-Lite ontology revision based on an alternative semantic characterization	2017-07-12	Paper
Eliminating concepts and roles from ontologies in expressive descriptive logics	2016-01-05	Paper
Tableau-based forgetting in \(\mathcal {ALC}\) ontologies	2011-05-11	Paper
Forgetting for knowledge bases in DL-lite	2010-11-12	Paper
Rewriting union queries using views	2006-02-23	Paper
Mining informative rule set for prediction	2005-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q3044368	2004-08-11	Paper
An efficient algorithm for constructing Hamiltonian paths in meshes	2002-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4535547	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q2768585	2002-02-03	Paper
Nonrecursive incremental evaluation of Datalog queries	1996-10-20	Paper
An efficient permutation-based parallel range-join algorithm on \(N\)-dimensional torus computers	1996-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4305303	1994-10-13	Paper
Inferring negative information from disjunctive databases	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3348439	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3798295	1988-01-01	Paper
Domain-independent formulas and databases	1987-01-01	Paper
Integrity constraint checking in stratified databases	1987-01-01	Paper
A basis for deductive database systems II	1986-01-01	Paper
A basis for deductive database systems	1985-01-01	Paper
Making prolog more expressive	1984-01-01	Paper
Fundamental solutions of the eight queens problem	1982-01-01	Paper
Functional Programs for Generating Permutations	1982-01-01	Paper
The correctness of the Schorr-Waite list marking algorithm	1979-01-01	Paper

Research outcomes over time

This page was built for person: Rodney W. Topor