
Publications
.
1992. The Type System of LML. Types in Logic Programming. :313-332.
.
2006. Examples of Integration of Induction and Deduction in Knowledge Discovery. Reasoning, Action and Interaction in AI Theories and Systems. 4155:307-326.
.
2008. Knowledge Discovery from Geographical Data. Mobility, Data Mining and Privacy. :243-265.
.
2009. Mining Clinical, Immunological, and Genetic Data of Solid Organ Transplantation. Biomedical Data and Applications. :211-236.
.
2008. Privacy Protection: Regulations and Technologies, Opportunities and Threats. Mobility, Data Mining and Privacy. :101-119.
.
2012. What else can be extracted from ontologies? Influence Rules Software and Data Technologies.
.
1994. Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2). :408-422.
.
2004. Classification in Geographical Information Systems. PKDD. :374-385.
.
2001. Complex Reasoning on Geographical Data. SEBD. :331-338.
.
2001. Complex Reasoning on Geographical Data. SEBD. :331-338.
.
1998. The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS. :41-55.
.
2004. Deductive and Inductive Reasoning on Spatio-Temporal Data. INAP/WLP. :98-115.
.
2004. Deductive and Inductive Reasoning on Trajectories. SEBD. :98-105.
.
2008. Discrimination-aware data mining. KDD. :560-568.
.
2005. DrC4.5: Improving C4.5 by means of Prior Knowledge. ACM Symposium on Applied Computing.
.
2002. Enhancing GISs for spatio-temporal reasoning. ACM-GIS. :42-48.
.
2006. Examples of Integration of Induction and Deduction in Knowledge Discovery. Reasoning, Action and Interaction in AI Theories and Systems. :307-326.
.
1999. Experiences with a Logic-Based Knowledge Discovery Support Environment. AI*IA. :202-213.
.
1999. Experiences with a Logic-based knowledge discovery Support Environment. 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery.
.
2005. Extracting spatial association rules from spatial transactions. ACM GIS. :79-86.
.
1994. Implementations of Program Composition Operations. PLILP. :292-307.
.
1994. Implementations of Program Composition Operations. PLILP. :292-307.
.
2009. Integrating induction and deduction for finding evidence of discrimination. ICAIL. :157-166.
.
1999. Integration of Deduction and Induction for Mining Supermarket Sales Data. SEBD. :117-131.
.
1987. Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2. :96-110.

]