Rodney W. Topor

According to our database1, Rodney W. Topor
  • authored at least 68 papers between 1975 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
DL-Lite Ontology Revision Based on An Alternative Semantic Characterization.
ACM Trans. Comput. Log., 2015

2014
Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics.
Computational Intelligence, 2014

2011
A Triangular Decomposition Access Method for Temporal Data - TD-tree.
Proceedings of the Twenty-Second Australasian Database Conference, 2011

2010
Advanced indexing technique for temporal data.
Comput. Sci. Inf. Syst., 2010

Forgetting for knowledge bases in DL-Lite.
Ann. Math. Artif. Intell., 2010

Revising General Knowledge Bases in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies.
Proceedings of the ECAI 2010, 2010

Indexing Temporal Data with Virtual Structure.
Proceedings of the Advances in Databases and Information Systems, 2010

A New Approach to Knowledge Base Revision in DL-Lite.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Safety and Domain Independence.
Proceedings of the Encyclopedia of Database Systems, 2009

Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Revision of DL-Lite Knowledge Bases.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Uniform Interpolation for ALC\mathcal{ALC} Revisited.
Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008
Forgetting Concepts in DL-Lite.
Proceedings of the Semantic Web: Research and Applications, 2008

2007
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies.
Proceedings of the Semantic Web, 2007

Ontology Merging using Answer Set Programming and Linguistic Knowledge.
Proceedings of the 2nd International Workshop on Ontology Matching (OM-2007) Collocated with the 6th International Semantic Web Conference (ISWC-2007) and the 2nd Asian Semantic Web Conference (ASWC-2007), 2007

2006
Sanitization of Databases for Refined Privacy Trade-Offs.
Proceedings of the Intelligence and Security Informatics, 2006

2005
Rewriting Union Queries Using Views.
Constraints, 2005

Merging and Aligning Ontologies in dl-Programs.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Removing XML Data Redundancies Using Functional and Equality-Generating Dependencies.
Proceedings of the Database Technologies 2005, 2005

2004
Mining Informative Rule Set for Prediction.
J. Intell. Inf. Syst., 2004

2002
Permutation-Based Range-Join Algorithms on N-Dimensional Meshes.
IEEE Trans. Parallel Distrib. Syst., 2002

An efficient algorithm for constructing Hamiltonian paths in meshes.
Parallel Computing, 2002

Mining the optimal class association rule set.
Knowl.-Based Syst., 2002

Construct robust rule sets for classification.
Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2002

Rewriting Unions of General Conjunctive Queries Using Views.
Proceedings of the Advances in Database Technology, 2002

Rewriting General Conjunctive Queries Using Views.
Proceedings of the Database Technologies 2002, 2002

2001
Mining Optimal Class Association Rule Set.
Proceedings of the Knowledge Discovery and Data Mining, 2001

Efficient Permutation-Based Range-Join Algorithms on N-Dimensional Meshes.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Mining the Smallest Association Rule Set for Predictions.
Proceedings of the 2001 IEEE International Conference on Data Mining, 29 November, 2001

Reasoning with Disjunctive Constrained Tuple-Generating Dependencies.
Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001

1999
An Adaptive Method of Numerical Attribute Merging for Quantitative Association Rule Mining.
Proceedings of the Internet Applications, 5th International Computer Science Conference, 1999

1998
A parallel sort-balance mutual range-join algorithm on hypercube computers.
Microprocessors and Microsystems - Embedded Hardware Design, 1998

1996
Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases.
Proceedings of the Logic in Databases, 1996

1995
On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems.
J. Intell. Inf. Syst., 1995

Nonrecursive Incremental Evaluation of Datalog Queries.
Ann. Math. Artif. Intell., 1995

Resolving Ambiguities caused by Multiple Inheritance.
Proceedings of the Deductive and Object-Oriented Databases, 1995

Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers.
Proceedings of the Algorithms, 1995

Mapping Relational Queries to Network Queries.
Proceedings of the Sixth Australasian Database Conference, 1995

1994
A Preferred Model Semantics for Inheritance Networks.
Meth. of Logic in CS, 1994

An Efficient Permutation-Based Parallel Range-Join Algorithm on N-Dimensional Torus Computers.
Inf. Process. Lett., 1994

Views of Objects and Rules.
Proceedings of the 5th Australasian Database Conference, 1994

A Query Language for EER Schemas.
Proceedings of the 5th Australasian Database Conference, 1994

1993
A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems.
DOOD, 1993

Querying Heterogeneous Databases: A Case Study.
Proceedings of the Advances in Database Research, 1993

Using Weakest Preconditions to Simplify Integrity Constraint Checking.
Proceedings of the Advances in Database Research, 1993

1992
Incremental Evaluation of Datalog Queries.
Proceedings of the Database Theory, 1992

Query Transformation for Accessing Heterogeneous Databases.
Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, 1992

A Semantics for Typed Logic Programs.
Types in Logic Programming, 1992

1991
Safety and Translation of Relational Calculus Queries.
ACM Trans. Database Syst., 1991

1990
A Preferred Model Semantics for Inheritance Systems.
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1988
Inferring Negative Information from Disjunctive Databases.
J. Autom. Reasoning, 1988

Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases.
Proceedings of the Logic Programming, 1988

On Domain Independent Disjunctive Databases.
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

On Domain Independent Databases.
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987
Domain-Independent Formulas and Databases.
Theor. Comput. Sci., 1987

Integrity Constraint Checking in Stratified Databases.
J. Log. Program., 1987

Safety and Correct Translation of Relational Calculus Formulas.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986
A Basis for Deductive Database Systems II.
J. Log. Program., 1986

1985
A Basis for Deductive Database Systems.
J. Log. Program., 1985

Deductive Database Tools.
Australian Computer Journal, 1985

1984
Making Prolog more Expressive.
J. Log. Program., 1984

Termination Detection for Distributed Computations.
Inf. Process. Lett., 1984

1982
Functional Programs for Generating Permutations.
Comput. J., 1982

Fundamental Solutions of the Eight Queens Problem.
BIT, 1982

1981
Computer Chess at IFIP 80.
ICGA Journal, 1981

1979
The Correctness of the Schorr-Waite List Marking Algorithm.
Acta Inf., 1979

1975
Interactive program verification using virtual programs.
PhD thesis, 1975


  Loading...