SourceForge.net Logo
Papers

Fuzzy logic programs as hypergraphs
J.C. Díaz-Moreno, J. Medina, and J.R. Portillo,
Fuzzy Sets and Systems,
2022

Data modeling and querying with fuzzy sets: A systematic survey
Zongmin Ma and Li Yan,
Fuzzy Sets and Systems,
2022

A Novel Perspective of Text Classification by Prolog-Based Deductive Databases
Kiet Van Nguyen, Tin Van Huynh, and Anh Gia-Tuan Nguyen
LNCS volume 12799,
2021

Debugging of Wrong and Missing Answers in SPARQL
J.M. Almendros-Jiménez and A. Becerra-Terón
DBPL '21: The 18th International Symposium on Database Programming Languages,
2021

Developing and certifying Datalog optimizations in Coq/MathComp
Pierre-Léo Bégay, Pierre Crégut, and Jean-François Monin
CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
2021

Declarative Debugging of XML Queries
J.M. Almendros-Jiménez and A. Becerra-Terón
PADL'21: Practical Aspects of Declarative Languages,
2021

A unified framework for declarative debugging and testing
R. Caballero, E. Martin-Martin, A. Riesco and S. Tamarit
Information and Software Technology 129:106427,
2021

A Counterexample-Guided Debugger for Non-recursive Datalog
Van-Dang Tran, Hiroyuki Kato, and Zhenjiang Hu
Programming Languages and Systems, 18th Asian Symposium, APLAS 2020,
2020

Discovery and Diagnosis of Wrong SPARQL Queries with Ontology and Constraint Reasoning
J.M. Almendros-Jiménez and A. Becerra-Terón
Expert Systems with Applications
2020

Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy
D. Zhao, P. Subotic, and B. Scholz
ACM Transactions on Programming Languages and Systems 42(2):1-35,
2020

SimTee: An Automated Environment for Simulation and Analysis of Requirements
S. Zafar, M. Ahmed, T. Fatima, and Z. Aslam,
DOI: 10.1007/978-3-030-12385-7_27,
2020

Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog
M. Alvarez-Picallo, A. Eyers-Taylor, M. Peyton Jones, and C.-H. Luke Ong,
Programming Languages and Systems,
2019

Deductive Data Warehouses: Analyzing Data Warehouses With Datalog (By Example)
Kornelije Rabuzin,
Emerging Perspectives in Big Data Warehousing,
2019

Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases
Son Thanh Cao and Linh Anh Nguyen,
Computing and Informatics 38(1):19-56,
2019

FEDSA: A Data Federation Platform for Law Enforcement Management
W. Li, Z. Feng, W. Mayer, G. Grossmann, A. Kannan Kashefi, and M. Stumptner,
IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC),
2018

Deductive systems for BigData integration
R. Bucea-Manea-Tonis,
Deductive systems for BigData integration,
Journal of Economic Development, Environment and People. 7. 49,
2018

Choosing the most appropriate query language to use Outer Joins for data extraction in Datalog mode in the Deductive Database System DES
M. Abadi and A. Faraahi,
JSDP. 15 (1) :139-150
2018

Generating What-If Scenarios for Time Series Data
L. Kegel, M. Hahmann, and W. Lehner,
29th International Conference on Scientific and Statistical Database Management (SSDBM)
2017

A Survey of Algorithmic Debugging
R. Caballero, A. Riesco, and J. Silva,
ACM Computing Surveys 50(4):1-35,
2017

Incremental test data generation for database queries
M.J. Suárez-Cabal, C. de la Riva, J. Tuya, and R. Blanco,
Journal of Automated Software Engineering,
2017

On the Chase for All Provenance Paths With Existential Rules
Abdelraouf Hecham, Pierre Bisquert, and Madalina Croitoru,
RuleML+RR 2017 - International Joint Conference on Rules and Reasoning,
2017

On fast large-scale program analysis in Datalog,
B. Scholz, H. Jordan, P. Subotic, and T. Westmann,
25th International Conference on Compiler Construction (CC 2016),
2016

Learning Datalog Programs from Input and Output
Y. Wang, X. Wang, and Y. HuangPublished
26th International Conference on Inductive Logic Programming,
2016

Conceptual Data Modeling and Database Design: A Fully Algorithmic Approach
C. 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

A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report,
B. Scholz, K. Vorobyov, P. Krishnan, and  T. Westmann,
24th Australasian Software Engineering Conference (ASWEC),
2015

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
N. Kerdprasop and K. 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

Tool-Supported Step-By-Step Debugging for the Object Constraint Language
L. Schütze, C. Wilke, and B. Demuth,
OCL Workshop,
2013.

Observing SQL queries in their natural habitat
T Grust, and J Rittinger,
ACM Transactions on Database Systems (TODS),
2013

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. Bessmertnaj,
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

Cosine-Based Clustering Algorithm Approach
M. Lubbad, and W. Ashour,
International Journal of Intelligent Systems and Applications (IJISA), vol.4, no.1, pp.53-63,
2012

CPT-FDR: An Approach to Translating PPDDL Conformant Planning Tasks into Finite-Domain Representations
WS Li, Z Zhang, WX Wang,
Chinese Journal of Electronics, Vol. 21, July,
2012

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
P. Sinahawattana
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 Weisheng, Zhang Zhen, and Wang Weixing
Chinese Journal of Electronics
Vol.21, No.1, January,
2012

VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology
Johannes Oetsch, Jörg Pührer1, Martina Seidl, Hans Tompits, and Patrick Zwickl
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

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