James J. Lu

Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), 2015

Identification of Venous Thromboembolism from Electronic Medical Records with Information Extraction.

[BibT_eX]

[DOI]

Raymund Dantes

Sheri Chernetsky Tejedor

Proceedings of the AMIA 2015, 2015

2014

Enabling Ontology Based Semantic Queries in Biomedical Database Systems.

[BibT_eX]

[DOI]

Fusheng Wang

Int. J. Semantic Comput., 2014

Classification of Resting State fMRI Datasets Using Dynamic Network Clusters.

[BibT_eX]

[DOI]

Proceedings of the Modern Artificial Intelligence for Health Analytics, 2014

2013

LinkIT: privacy preserving record linkage and integration via transformations.

[BibT_eX]

[DOI]

Luca Bonomi

Li Xiong

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

ASLForm: An Adaptive Self Learning Medical Form Generating System.

[BibT_eX]

[DOI]

Fusheng Wang

Proceedings of the AMIA 2013, 2013

2012

Enabling ontology based semantic queries in biomedical database systems.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

Bridging the unstructured and structured worlds: an adaptive self learning medical form generating system.

[BibT_eX]

[DOI]

Fusheng Wang

Proceedings of the 2nd International Workshop on Managing Interoperability and compleXity in Health Systems, 2012

2011

Key-Based Problem Decomposition for Relational Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Sebastien Siva

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

Constraint processing in relational database systems: from theory to implementation.

[BibT_eX]

[DOI]

Sebastien Siva

Ojas Parekh

Hantao Zhang

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

Education - Human computing skills: rethinking the K-12 experience.

[BibT_eX]

[DOI]

Commun. ACM, 2009

Thinking about computational thinking.

[BibT_eX]

[DOI]

Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

HIDE: heterogeneous information DE-identification.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2009, 2009

2008

Solving SQL Constraints by Incremental Translation to SAT.

[BibT_eX]

[DOI]

Robin Lohfert

Dongfang Zhao

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract).

[BibT_eX]

[DOI]

Sebastien Siva

Hantao Zhang

Proceedings of the Logic Programming, 24th International Conference, 2008

Comparing and Clustering Flow Cytometry Data.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008

FRIL: A Tool for Comparative Record Linkage.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2008, 2008

2007

Querying and browsing XML and relational data sources.

[BibT_eX]

[DOI]

Chia-Hsin Huang

Tyng-Ruey Chuang

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Propositional reasoning by dimensional reduction: a preliminary report.

[BibT_eX]

[DOI]

Robin Lohfert

Proceedings of the 45th Annual Southeast Regional Conference, 2007

2006

XML Evolution: A Two-phase XML Processing Model Using XML Prefiltering Techniques.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

Specifying and solving Boolean constraint problems in relational databases: a case study.

[BibT_eX]

[DOI]

M. Jeremy Scoggins

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2005

Deduction and Search Strategies for Regular Multiple-Valued Logics.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2005

A Data Model for Data Integration.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Database Interoperability, 2005

Logical Data Independence Reconsidered (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005

Normalizing XML schemas through relational databases.

[BibT_eX]

[DOI]

Sonali Renjen

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

Metadata management and relational databases.

[BibT_eX]

[DOI]

Shun Yan Cheung

Catharine M. Wyss

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2003

A case study in the meta-reasoning procedure ND.

[BibT_eX]

[DOI]

Jeffrey S. Rosenthal

Andrew E. Shaffer

J. Exp. Theor. Artif. Intell., 2003

Managing XML Schemas through XRDB.

[BibT_eX]

Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

Intrinsic Support for Metadata Integration in Relation Federations.

[BibT_eX]

Proceedings of the Engineering Federated Information Systems, 2003

2002

Inference for Annotated Logics over Distributive Lattices.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2001

Probabilistic object bases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2001

℧-resolution and hybrid knowledge bases.

[BibT_eX]

[DOI]

J. Frankl. Inst., 2001

2000

Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

1999

A Foundation for Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

A Framework for Automated Reasoning in Multiple-Valued Logics.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

A First-Order Representation of Stable Models.

[BibT_eX]

[DOI]

Thomas Eiter

AI Commun., 1998

Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Computing Non-Ground Representations of Stable Models.

[BibT_eX]

[DOI]

Thomas Eiter

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Logic-Based Deductive Reasoning.

[BibT_eX]

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Anil Nerode

IEEE Trans. Knowl. Data Eng., 1996

Logic Programming with Signs and Annotations.

[BibT_eX]

[DOI]

J. Log. Comput., 1996

Query Processing in Annotated Logic Programming: Theory and Implementation.

[BibT_eX]

[DOI]

Sonia M. Leach

J. Intell. Inf. Syst., 1996

Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995

Efficient Maintenance of Materialized Mediated Views.

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

1994

Signed Formulas and Fuzzy Operator Logics.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Computing Annotated Logic Programs.

[BibT_eX]

Sonia M. Leach

Proceedings of the Logic Programming, 1994

1993

Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction.

[BibT_eX]

[DOI]

Monica D. Barback

J. Autom. Reason., 1993

Signed Formulas and Annotated Logics.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993

1992

The Completeness of GP-Resolution for Annotated Logics.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1992

Minimizing Indefinite Information in Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

Monica D. Barback

Jorge Lobo

Proceedings of the Database Theory, 1992

1991

Reasoning in Paraconsistent Logics.

[BibT_eX]

Newton C. A. da Costa

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1990

Protected Completions of First-Order General Logic Programs.

[BibT_eX]

[DOI]

J. Autom. Reason., 1990

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.

[BibT_eX]

[DOI]

Newton C. A. da Costa

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

And-Or Graphs Applied to RUE Resolution.

[BibT_eX]

[DOI]

Vincent J. Digricoli