SourceForge.net Logo
Theses, Papers, Academia

Conceptual Data Modeling and Database Design: A Fully Algorithmic Approach
Christian Mancas, Apple Academic Press,
2016

Evaluating the Adoption of Deductive Database Technology in Augmenting Criminal Intelligence in Zimbabwe: Case of Zimbabwe Republic Police
G. Mahlangu, S.S. Furusa, M. Chikonye, and B. Mugoniwa,
International Journal of Computer Science and Business Informatics, Vol 16, No 2,
2016

Deductive Graph Database - Datalog in Action
K. Rabuzin,
Intl. Conf. on Computational Science and Computational Intelligence,
2015

A Lightweight CoAP-based Software Defined Networking for Resource Constrained AMI Devices
IEEE SmartGridComm,
2015

Query Answering Engine for the Next Generation Database Systems
Nittaya Kerdprasop and Kittisak Kerdprasop,
Proceedings of the 3rd International Conference on Industrial Application Engineering,
2015

Query-Subquery Nets with Stratified Negation
S.R. Cao,
Advanced Computational Methods for Knowledge Engineering, Vol. 358,
Springer,
2015

Requirements simulation for early validation using Behavior Trees and Datalog
S. Zafar, N. Farooq-Khan, and M. Ahmed.
Information and Software Technology, Elsevier, Vol. 61, pp. 52–70,
2015

Deductive data warehouses: testing performances
K. Rabuzin.
WIT Transactions on Information and Communication Technologies, Vol. 68,
2014

Deductive Data Warehouses
K. Rabuzin.
International Journal of Data Warehousing and Mining, 10(1),
2014

Deductive Data Warehouses and Aggregate (Derived) Tables
K. Rabuzin, M. Malekovic, and M. Cubrilo.
ICCGI 2014: The Ninth International Multi-Conference on Computing in the Global Information Technology,
2014

Pipeline Production Data Model
J. Yang, Y. Fan, Y. Liu, H. Deng, and Y. Lin
EDBT/ICDT 2014 Joint Conference,
2014

AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content
Shruti Tople, Shweta Shinde, Zhaofeng Chen, and Prateek Saxena
Proceedings of CCS '13 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, New York, USA, 2013

Verification Data at Systems Tracking Problems from Production Rules
P.C. Katerinenko and N.A. ,
Journal of Research on technical information technology: mechanics and optics, 1(83),
2013

Expressing User Access Authorization Exceptions in Conventional Role-based Access Control
X. Liu, N. Alechina, and B. Logan. 9th International Conference on Information Security Practice and Experience (ISPEC 2013),
2013.

How an Agent Might Think
A. Szalas,
Logic J. IGPL. Special issue edited by B. Dunin-Keplicz and R. Verbrugge,
2013

Security Test Generation by Answer Set Programming
P. Zech, M. Felderer, B. Katt, R. Breu,
Eighth International Conference on Software Security and Reliability (SERE),    
2014

Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
A. Polleres, M. Frühstück, G. Schenner, and G. Friedrich
Proceedings of LPNMR, LNCS 8148,
2013

Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin
M. Frühstück, J. Pührer, and G. Friedrich
Proceedings of LPNMR, LNCS 8148,
2013

AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content
Shruti Tople, Shweta Shinde, Zhaofeng Chen, and Prateek Saxena
CCS '13 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security,
2013

Let’s Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs
J. Oetsch, J.Puhrer, and H. Tompits

Declarative Datalog Debugging for Mere Mortals
Sven Köhler, Bertram Ludäscher, and Yannis Smaragdakis
Datalog in Academia and Industry, LNCS 7494,
2012.

An Analysis of the Mozilla Jetpack Extension Framework
Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan.
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP 2012),
LNCS 7313, June
2012.

Semantic-based Query Answering Supported by Association Patterns and Materialized Views
Nittaya Kerdprasop and Kittisak Kerdprasop
International Journal of Database Theory and Application. Vol. 5, No. 1, March,
2012.

Using Logic Programming to Represent Information Content Inclusion Relations
Doug Salt and Junkang Feng
International Journal of Information Technology and Computer Science(IJITCS), Vol. 4, No. 1, February,
2012.

Quantitative Decision-making in Software Engineering
P. Bhattacharya
Dissertation submitted in for PhD in Computer Science,
University of California - Riverside, USA,
2012

Transformation of relational database to a knowledge repository in deductive database
Master Thesis
Suranaree University of Technology, Thailand,
2012

Research On Deductive Databases
Nguyen Thi Quyen
Master Thesis
Institute Of Telecommunications Technology, Hanoi, Vietnam,
2012

CPT-FDR: An Approach to Translating PPDDL Conformant Planning Tasks into Finite-Domain Representations
LI Weisheng1, ZHANG Zhen1 and WANG Weixing2
Chinese Journal of Electronics
Vol.21, No.1, January,
2012

VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology
Neng-Fa Zhou, Yi-Dong Shen, and Jia-Huai
LPNMR 2011, LNAI 6645, 2011

Using Declarative Invariants for Protecting File-System Integrity
Jack Sun, Daniel Fryer, Ashvin Goel and Angela Demke Brown
University of Toronto
PLOS ‘11, October 23, 2011, Cascais, Portugal. ACM 978-1-4503-0979-0/11/10,
2011

A Prolog-based Framework for Search, Integration and Empirical Analysis on Software Evolution Data
Pamela Bhattacharya and Iulian Neamtiu
University of California
SUITE '11 Proceedings of the 3rd International Workshop on Search-Driven Development: Users, Infrastructure, Tools, and Evaluation, pp. 29-32, ACM,
2011

ASPIDE: Integrated Development Environment for Answer Set Programming
Onofrio Febbraro, Kristian Reale and Francesco Ricca
Logic Programming and Nonmonotonic Reasoning 2011
LNAI 6645
Springer-Verlag,
2011

Optimizing Database Queries with Materialized Views and Data Mining Models
Nittaya Kerprasop and Kittisak Kerprasop
DTA/BSBT 2011
Springer-Verlag,
2011

Test Case Generation using GOM Algorithm
S. Subramanian and R. Natarajan,
Internetworking Indonesia Journal, Vol.3/No.1
2011

Catching the Ouroboros: On debugging non-ground answer-set programs
J. Oetsch, J. Pührer and H. Tompits,
Theory and Practice of Logic Programming, Vol. 10,
2010

Overview of selected approaches to rule representation on the Semantic Web
Weronika T. Adrian, Grzegorz J. Nalepa, Krzysztof Kaczor, Marta Noga
AGH University of Science and Technology Department of Automatics Kraków,  POLAND
October
2010

Using the Monet database system as a platform for graph processing
Steven Woudenberg
Master thesis. Faculty of Science. Information and Computing Sciences. University of Utrecht,
2010

Authorization Constraint Method in Workflow Management Systems Based on RBAC
SHAN Xu-mei, YU Hui-qun
Journal of Computer Engineering,
Vol.36, Nş.4, February
2010

Possible use of Deductive Databases for Production Information Systems
Donetsk National Technical University
Ukraine,
2010

Collaborative Narrative Generation in Persistent Virtual Environments
by Neil Madden, BSc
Thesis submitted to The University of Nottingham
for the degree of Doctor of Philosophy, January
2009

Translating SQL Applications to the Semantic Web
S.H. Tirmizi, J. Sequeda, D. Miranker
DEXA 2008,
pp. 450-464,
2008

Magické transformácie pre DATALÓG:
Diplomová práca
Fakulta matematiky, fyziky a informatiky
Univerzita Komenského v Bratislave,
2008

Alias Analysis for Assembly
David Brumley and James Newsome
CMU-CS-06-180
School of Computer Science
Carnegie Mellon University,
2006

A Paxon Evaluation of P2
Benjamin Szekely, Elias Torres,
2005

Advanced Techniques for Efficient Data Integrity Checking
Ph.D. Dissertation
Davide Martinenghi
Roskilde University,
Department of Computer Science
October
2005

An Approach to Specifying and Analyzing Context-Aware Access Control Policies
DU Li-ping YU Hui-qun
JOURNAL OF EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY NATURAL SCIENCE EDITION
Vol.32 No.9 P.1098-1103,
2006

A Survey of Approaches to Atomic Schema Matching
Samer Samarah
School of Information Technology and Engineering
University of Ottawa
Canada

Efficient Integrity Checking for Databases with Recursive Views
Davide Martinenghi and Henning Christiansen
In Advances in Databases and Information Systems: 9th East European  Conference, ADBIS 2005, Tallinn, Estonia, LNCS 3631, September,
2005

PhD

Methods for Evaluating Queries to Horn Knowledge Bases in First-Order Logic
Son T. Cao,
Faculty of Mathematics, Informatics and Mechanics
University of Warsaw
2016

Stepwise Debugging in Answer-Set Programming: Theretical Foundations and Practical Realisation
Jörg Pürer,
Faculty of Informatics,
Vienna University of Technology,
2014

Modeling, Analysis, and Optimization of Data-Driven Scientific Workflows
Koehler, Sven,
University of California Davis
2014

Computer Science and Engineering Department
University of Nebraska - Lincoln, USA

University of Texas at San Antonio, USA

Data streams and information networks
Katholieke Universiteit Leuven – Faculty of Engineering
Belgium, EU, 2010

Magické transformácie pre DATALÓG~
Univerzita KomenskÉHo V Bratislave, 2008

Collaborative Narrative Generation in Persistent Virtual Environments
by Neil Madden
The University of Nottingham, UK

Master Theses

Constraint Programming Solutions to LogicQL Program Verification and System Resilience Problems
H. Liu
Simon Fraser University, Canada,
2015

SafEx: a tool for integrity enforcement in UML conceptual schemas
A.O. Kabar
Universitat Politécnica de Catalunya - BarcelonaTech, Spain,
2014

An Efficient Schema Extraction Technique for Graph Databases
M. Singh - 2015
Thapar University, India

Raonament sobre l'efecte dels esdeveniments estructurals en un esquema conceptual UML
N. Raga-Llorens, 2014
Universitat Politécnica de Catalunya - BarcelonaTech, Spain

A Constraint-Based Model for 3D Spatial-Temporal Data Management
J. Li,
2012

Developments

JavaScript Static Analysis Tool
University of California at Los Angeles, USA

The Student Advising System
Arkansas Tech University, USA

Secure System Architecture
Florida International University school of Computing and Information Sciences, USA

Automatic Reasoning on the Effect of Events on UML Schemas
Software Engineering final assignment, UPC, Spain