Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
84 | Ernest Teniente |
An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 111-125, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
78 | Günther Specht, Stefan Seeberger |
Montague Grammars for Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings, pp. 363-377, 1995, Springer, 3-540-60608-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
71 | Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí (eds.) |
Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel |
An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 41-55, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Henning Christiansen 0001 |
Alternative Reasoning in a Metaprogramming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 175-186, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo |
Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 143-158, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye |
Using Event Calculus for Protocol Specification: An Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 187-201, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Michael Leuschel, Bern Martens |
Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 81-95, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Cristian Papp |
Alternating Fixpoint Semantics for Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 11-23, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Alex Kean, George K. Tsiknis |
A Computational System for Symbolic Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 159-173, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Liviu-Virgil Ciortuz, Mihaela Juganaru |
Towords a Constraint-based Implementation of F-Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 97-109, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Xiaoyong Du 0001, Naohiro Ishii |
Reducing the Arity of Recursive Predicates by Realigning Some Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 57-69, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Knut Hinkelmann |
Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 127-141, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Paulo Jorge de Sousa Azevedo, Danilo Montesi |
An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 71-80, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
71 | Tomi Janhunen |
Cautious Models for General Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 25-39, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
66 | Jack Minker |
Perspectives in Deductive Databases (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA, pp. 135, 1987, ACM, 0-89791-223-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
64 | Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbie |
XDO2: A Deductive Object-Oriented Query Language for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005, Proceedings, pp. 311-322, 2005, Springer, 3-540-25334-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML query language, not-predicate negation, fixpoint semantics, deductive rule |
63 | Dietmar Seipel |
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings, pp. 241-259, 2000, Springer, 3-540-67100-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
63 | Andrew Dinn, Norman W. Paton, M. Howard Williams, Alvaro A. A. Fernandes, Maria L. Barja |
The Implementation of a Deductive Query Language over an OODB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings, pp. 143-160, 1995, Springer, 3-540-60608-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
61 | Carlo Zaniolo, Reza Sadri |
A Simple Model for Active Rules and their Behavior in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 13-26, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
61 | Kenneth A. Ross |
Constraint Stratification in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 101-115, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
61 | Burkhard Freitag |
Representing Objects as Modules in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 41-56, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
61 | David B. Kemp, Kotagiri Ramamohanarao |
A Deductive Database Solution to the Preferential Vote Counting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 143-158, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
58 | Steve Roach, Jeffrey Van Baalen |
Experience Report on Automated Procedure Construction for Deductive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK, pp. 69-, 2002, IEEE Computer Society, 0-7695-1736-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Steve Roach, Jeffrey Van Baalen |
Automated Procedure Construction for Deductive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 12(4), pp. 393-414, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
synthesis, procedures, deductive, decision, partial deduction |
57 | Seung Jin Lim, Yiu-Kai Ng |
A Hybrid Fragmentation Approach for Distributed Deductive Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 3(2), pp. 198-224, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Hybrid fragmentation, Vertical fragmentation, Distributed systems, Deductive databases, Horizontal fragmentation |
57 | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
Implementing Deductive Databases by Mixed Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(2), pp. 238-269, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
negation and disjunction in deductive databases, minimal models |
56 | Peter A. Flach |
From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transactions and Change in Logic Databases ![In: Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers, pp. 356-387, 1998, Springer, 3-540-65305-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
55 | Zohar Manna, Richard J. Waldinger |
Fundamentals of Deductive Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(8), pp. 674-704, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
deductive program synthesis, deductive-tableau system, theorem-proving framework, nonclausal resolution rule, induction rule, formal specification, artificial intelligence, specification, theorem proving, program testing, reasoning, inference mechanisms, proof |
54 | Bernd Fischer 0002, Jon Whittle 0001 |
An Integration of Deductive Retrieval into Deductive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 52-, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
deductive retrieval, software engineering, software reuse, program synthesis |
54 | Saso Dzeroski, Nada Lavrac |
Inductive Learning in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 939-949, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
single extensional relation, LINUS, inductive logic programming system, virtual relations, negative tuples, attribute-value form, attribute-value learning systems, real-life noisy databases, deductive DBMS, learning (artificial intelligence), logic programming, database theory, deductive databases, deductive databases, inductive learning, noisy data |
50 | Nadia Yacoubi Ayadi, Zoé Lacroix, Maria-Esther Vidal, Edna Ruckhaus |
Deductive Web Services: An Ontology-Driven Approach for Service Interoperability in Life Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II, pp. 1338-1347, 2007, Springer, 978-3-540-76889-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Regimantas Pliuskevicius |
On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 523-537, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Elisa Bertino, Giovanna Guerrini, Danilo Montesi |
Inheritance in a Deductive Object Database Language with Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 67-90, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Mengchi Liu |
OLOG: A Deductive Object Database Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGITS ![In: Next Generation Information Technologies and Systems, 4th International Workshop, NGITS'99, Zikhron-Yaakov, Israel, July 5-7, 1999 Proceedings, pp. 120-137, 1999, Springer, 3-540-66225-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Norman W. Paton, Pedro R. Falcone Sampaio |
Extending the ODMG Architecture with a Deductive Object Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 16th British National Conferenc on Databases, BNCOD 16, Cardiff, Wales, UK, July 6-8, 1998, Proceedings, pp. 149-164, 1998, Springer, 3-540-64659-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
50 | Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà |
Active-U-Datalog: Integrating Active Rules in a Logical Update Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transactions and Change in Logic Databases ![In: Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers, pp. 107-133, 1998, Springer, 3-540-65305-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
50 | Jeffrey D. Ullman, Carlo Zaniolo |
Deductive Databases: Achievements and Future Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 19(4), pp. 75-82, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
50 | Hugo Volger |
The Semantics of Disjunctive Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings, pp. 409-421, 1989, Springer, 3-540-52753-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
49 | Mengchi Liu, Gillian Dobbie, Tok Wang Ling |
A logical foundation for deductive object-oriented databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 27(1), pp. 117-151, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
nonmonotonic multiple inheritance, object-oriented databases, deductive databases, Declarative semantics, rule-based languages |
49 | Hasan M. Jamil, Gillian Dobbie |
A Model Theoretic Semantics for Multi-level Secure Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 130-147, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness |
49 | Luigi Palopoli 0001, Riccardo Torlone |
Generalized Production Rules as a Basis for Integrating Active and Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 9(6), pp. 848-862, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
semantics of rule systems, integration of database languages, query languages, deductive databases, Active databases, complex objects |
48 | Ulrich Geske, Dietmar Seipel (eds.) |
Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren |
Dynamic Argument Reduction for In-memory Data Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 117-129, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Tiziana Catarci, Isabel F. Cruz |
On Expressing Stratified Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 85-100, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Elisa Bertino, Barbara Catania, Giovanna Guerrini, Danilo Montesi |
Static Analysis of Transactional Intensional Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 57-73, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Dimitris Papadias, Andrew U. Frank, Manolis Koubarakis |
Constraint-Based Reasoning in Geographic Databases: the Case of Symbolic Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 159-171, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Anthony Tomasic |
Determining Correct View Update Translations via Query Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 75-83, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Inderpal Singh Mumick |
One-Phase Magic-sets Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 131-141, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo |
Expressive Power of Non-Deterministic Operators for Logic-based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases and Logic Programming ![In: Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994, pp. 27-40, 1994, Gesellschaft für Mathematik und Datenverarbeitung MBH, 3-88457-231-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Stefano Ceri, Letizia Tanca |
Bridging Objects with Logical Rules: Towards Object Oriented Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOGIDATA+: Deductive Databases with Complex Objects ![In: LOGIDATA+: Deductive Databases with Complex Objects, pp. 7-19, 1993, Springer, 3-540-56974-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
48 | John V. Harrison, Suzanne W. Dietrich |
Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 56-65, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
48 | Zeki O. Bayram, Barrett R. Bryant |
Conditional Term Rewriting as a Deductive Database Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 126-135, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
48 | Zahidul A. Khandaker, José Alberto Fernández, Jack Minker |
A Tractable Class of Disjunctive Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 11-20, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
48 | Terry Gaasterland |
Coherent Cooperative Answers in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 155-162, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
48 | Devin E. Smith |
An Integrated Reactor Physics and Source Term Calculation Based on Deductive Database Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 41-47, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
48 | Jiawei Han 0001, Tong Lu |
N-Queens Problem Revisited: A Deductive Database Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 48-55, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
48 | Shalom Tsur, Frank Olken, Dalit Naor |
Deductive Databases for Genomic Mapping (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the North American Conference on Logic Programming, Austin, Texas, USA, November 1, 1990, 1990, Kansas State University. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
48 | Dennis S. Arnon |
Towards a Deductive Database for Elementary Algebra and Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the North American Conference on Logic Programming, Austin, Texas, USA, November 1, 1990, 1990, Kansas State University. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
48 | Geoffrey Phipps |
Glue: A Deductive Database Programming Language (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the North American Conference on Logic Programming, Austin, Texas, USA, November 1, 1990, 1990, Kansas State University. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
48 | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey |
Design Overview of the Aditi Deductive Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the North American Conference on Logic Programming, Austin, Texas, USA, November 1, 1990, 1990, Kansas State University. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
48 | James A. Thom, Kotagiri Ramamohanarao, Lee Naish |
A Superjoin Algorithm for Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Deductive Databases and Logic Programming. ![In: Foundations of Deductive Databases and Logic Programming, pp. 519-543, 1988, Morgan Kaufmann, 0-934613-40-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
48 | Lawrence J. Henschen, Hyung-Sik Park |
Compiling the GCWA in Indefinite Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Deductive Databases and Logic Programming. ![In: Foundations of Deductive Databases and Logic Programming, pp. 395-438, 1988, Morgan Kaufmann, 0-934613-40-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
48 | Upen S. Chakravarthy, John Grant, Jack Minker |
Foundations of Semantic Query Optimization for Deductive Databases ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Deductive Databases and Logic Programming. ![In: Foundations of Deductive Databases and Logic Programming, pp. 243-273, 1988, Morgan Kaufmann, 0-934613-40-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
48 | Teodor C. Przymusinski |
On the Declarative Semantics of Deductive Databases and Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Deductive Databases and Logic Programming. ![In: Foundations of Deductive Databases and Logic Programming, pp. 193-216, 1988, Morgan Kaufmann, 0-934613-40-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
48 | Yves Caseau, Pierre-Yves Guillo, Eric Levenez |
A Deductive and Object-Oriented Approach to a Complex Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, pp. 67-80, 1993, Springer, 3-540-57530-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
48 | Jeffrey D. Ullman |
A Comparison between Deductive and Object-Oriented Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings, pp. 263-277, 1991, Springer, 3-540-55015-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Hendrik Decker |
Abduction for Knowledge Assimilation in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 48-57, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
integrity maintenance, knowledge assimilation, SLDAI, SLD-based proof procedure, update request, hypothetical fact insertions, hypothetical fact deletions, base predicates, abductive logic programming, deductive databases, deductive databases, abduction |
47 | Zhaohui Xie, Jiawei Han 0001 |
Normalization and Compilation of Deductive and Object-Oriented Databases Programs for Efficient Query Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings, pp. 485-502, 1995, Springer, 3-540-60608-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Deductive and object-oriented database, recursive query evaluation, compilation, query optimization |
45 | Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú |
On the infinite-valued Lukasiewicz logic that preserves degrees of truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(7), pp. 839-868, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B50, 03G20, 03B22, 06D35 |
43 | Himanshu Gupta 0001, Xianjin Zhu, Xiang Xu |
Deductive Framework for Programming Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 281-292, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Ping Hou, Johan Wittocx, Marc Denecker |
A Deductive System for PC(ID). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings, pp. 162-174, 2007, Springer, 978-3-540-72199-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Mengchi Liu |
Extending Datalog with Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 752-763, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Lihui Xu, Alexandra Poulovassilis |
A Method for Integrating Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 15th British National Conferenc on Databases, BNCOD 15, London, United Kingdom, July 7-9, 1997, Proceedings, pp. 215-231, 1997, Springer, 3-540-63263-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Seung Jin Lim, Yiu-Kai Ng |
A Formal Approach for Horizontal Fragmentation in Distributed Deductive Database Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 234-243, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Werner Kießling, Ulrich Güntzer |
Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS/KI ![In: Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings, pp. 118-138, 1994, Springer, 3-540-57802-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
43 | Rajshekhar Sunderraman |
Deductive Databases with Conditional Facts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 11th British National Conference on Databases, BNCOD 11, Keele, UK, July 7-9, 1993, Proceedings, pp. 162-175, 1993, Springer, 3-540-56921-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Helmut Schmidt |
Communicating Control Knowledge to a Deductive Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 20th Annual Conference on Computer Science, CSC '92, Kansas City, MO, USA, March 3-5, 1992, pp. 439-446, 1992, ACM, 0-89791-472-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
43 | José Alberto Fernández, Jack Minker |
Semantics of Disjunctive Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings, pp. 21-50, 1992, Springer, 3-540-56039-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
43 | Yeh-Heng Sheng |
IDLOG: Extending the Expressive Power of Deductive Database Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 54-63, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
43 | Carlo Zaniolo |
Deductive Databases - Theory Meets Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'90. International Conference on Extending Database Technology, Venice, Italy, March 26-30, 1990, Proceedings, pp. 1-15, 1990, Springer, 3-540-52291-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
41 | Janusz Czelakowski |
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 183-214, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
commutator formula, centralizator, deductive system |
41 | Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau |
Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea, pp. 109-116, 2006, IEEE Computer Society, 0-7695-2561-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Automated code synthesis, Deductive code synthesis, Real-time system, Code patterns |
41 | Clare Dixon, Michael Fisher 0001, Boris Konev |
Is There a Future for Deductive Temporal Verification? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary, pp. 11-18, 2006, IEEE Computer Society, 0-7695-2617-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fragments of PTL, deductive verification, clausal temporal resolution, complexity |
41 | Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag |
Deductive Verification of UML Models in TLPVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 335-349, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS |
41 | José Oscar Olmedo-Aguirre, Karina Escobar-Vázquez, Giner Alor-Hernández, Guillermo Morales-Luna |
ADM: An Active Deductive XML Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings, pp. 139-148, 2004, Springer, 3-540-21459-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
XML, Semantic Web, Deductive Databases, Active Databases |
41 | Laks V. S. Lakshmanan, Nematollaah Shiri |
A Parametric Approach to Deductive Databases with Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(4), pp. 554-570, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Conjunctive query containment, fixpoint computation, semantics, uncertainty, query optimization, deductive databases, proof theory, multisets |
41 | George Voutsadakis |
Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(3), pp. 265-280, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems |
40 | Georg Lausen, Bertram Ludäscher, Wolfgang May |
On Active Deductive Databases: The Statelog Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transactions and Change in Logic Databases ![In: Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers, pp. 69-106, 1998, Springer, 3-540-65305-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Tarun Arora, Raghu Ramakrishnan 0001, William G. Roth, Praveen Seshadri, Divesh Srivastava |
Explaining Program Execution in Deductive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, pp. 101-119, 1993, Springer, 3-540-57530-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
40 | Kotagiri Ramamohanarao |
An Implementation Overview of the Aditi Deductive Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, pp. 184-203, 1993, Springer, 3-540-57530-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
40 | Chee Chin Low, Hongjun Lu, Beng Chin Ooi, Jiawei Han 0001 |
Efficient Access Methods in Deductive and Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings, pp. 68-84, 1991, Springer, 3-540-55015-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
40 | Giuseppe Di Battista, Maurizio Lenzerini |
Deductive Entity-Relationship Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(3), pp. 439-450, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
deductive entity relationship modelling, IS-A, disjointness relations, mandatory participation, formal basis, computational complexity, semantics, conceptual modeling, deductive databases, first-order logic, inference mechanisms, assertions, classes, entity-relationship modelling, interdependencies, polynomial time complexity, inference algorithm |
40 | Cheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han 0001 |
Classification and Compilation of Linear Recursive Queries in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 4(1), pp. 52-67, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
linear recursive queries, I-graph, resolution graph, query evaluation plan, query compilation, query processing, query languages, deductive databases, deductive databases, graph model |
39 | Linda Sirounian, William I. Grosky |
A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 7(1), pp. 82-105, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
knowledge base integration, Deductive databases, knowledge models, heterogeneous databases, schema integration |
38 | Fehime Nihan Kesim, Marek J. Sergot |
Schema Evolution in a Deductive Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDOOD/TDOOD ![In: Proceedings of the DOOD 1995 Post-Conference Workshops on Integration of Knowledge Discovery in Databases with Deductive and Object-Oriented Databases (KDOOD) and Temporal Reasoning in Deductive and Object-Oriented Databases (TDOOD), December 8, 1995, Singapore., pp. 69-74, 1995, National University of Singapore, 9971-62-418-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
38 | Terttu Orci |
Adding a Temporal Dimension to a Deductive Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDOOD/TDOOD ![In: Proceedings of the DOOD 1995 Post-Conference Workshops on Integration of Knowledge Discovery in Databases with Deductive and Object-Oriented Databases (KDOOD) and Temporal Reasoning in Deductive and Object-Oriented Databases (TDOOD), December 8, 1995, Singapore., pp. 75-82, 1995, National University of Singapore, 9971-62-418-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
38 | Chien-Le Goh, Masahiko Tsukamoto, Shojiro Nishio |
Discovering Charactertistic Rules from Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDOOD/TDOOD ![In: Proceedings of the DOOD 1995 Post-Conference Workshops on Integration of Knowledge Discovery in Databases with Deductive and Object-Oriented Databases (KDOOD) and Temporal Reasoning in Deductive and Object-Oriented Databases (TDOOD), December 8, 1995, Singapore., pp. 50-57, 1995, National University of Singapore, 9971-62-418-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
38 | Beat Wüthrich, W. C. Tong, K. Sankaran |
A Temporal and Probabilistic, Deductive and Object-Oriented Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDOOD/TDOOD ![In: Proceedings of the DOOD 1995 Post-Conference Workshops on Integration of Knowledge Discovery in Databases with Deductive and Object-Oriented Databases (KDOOD) and Temporal Reasoning in Deductive and Object-Oriented Databases (TDOOD), December 8, 1995, Singapore., pp. 61-68, 1995, National University of Singapore, 9971-62-418-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
38 | P. Möller, Suryanarayana M. Sripada |
The ChronoBase Temporal Deductive Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDOOD/TDOOD ![In: Proceedings of the DOOD 1995 Post-Conference Workshops on Integration of Knowledge Discovery in Databases with Deductive and Object-Oriented Databases (KDOOD) and Temporal Reasoning in Deductive and Object-Oriented Databases (TDOOD), December 8, 1995, Singapore., pp. 83-90, 1995, National University of Singapore, 9971-62-418-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|