Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/deductive:"
download as .bib file
@inproceedings{DBLP:conf/deductive/BoulicautMPR98,
author = {Jean{-}Fran{\c{c}}ois Boulicaut and
Patrick Marcel and
Fran{\c{c}}ois Pinet and
Christophe Rigotti},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Spreadsheet Generation from Rule-Based Specifications},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {59--70},
year = {1998},
timestamp = {Fri, 10 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/BoulicautMPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BrisaboaGHP98,
author = {Nieves R. Brisaboa and
Agustin Gonz{\'{a}}lez and
H{\'{e}}ctor J. Hern{\'{a}}ndez and
Jos{\'{e}} R. Param{\'{a}}},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Chasing Programs in Datalog},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {12--24},
year = {1998},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/BrisaboaGHP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BryEST98,
author = {Fran{\c{c}}ois Bry and
Norbert Eisinger and
Heribert Sch{\"{u}}tz and
Sunna Torge},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {{SIC:} Satisfiability Checking for Integrity Constraints},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {25--36},
year = {1998},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/BryEST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Chen98,
author = {Yangjun Chen},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Evaluating Linear Binary Programs by Traversing Automaton Hierarchy},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {37--46},
year = {1998},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Chen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/ChenZ98,
author = {Cindy Xinmin Chen and
Carlo Zaniolo},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Universal Temporal Data Languages},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {113--126},
year = {1998},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/ChenZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/CortesiDQT98,
author = {Agostino Cortesi and
Agostino Dovier and
Elisa Quintarelli and
Letizia Tanca},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Operational and Abstract Semantics of a Query Language for Semi-Structured
Information},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {127--140},
year = {1998},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/CortesiDQT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HimmeroderKLML98,
author = {Rainer Himmer{\"{o}}der and
Paul{-}Thomas Kandzia and
Bertram Lud{\"{a}}scher and
Wolfgang May and
Georg Lausen},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Search, Analysis, and Integration of Web Documents: {A} Case Study
with {FLORID}},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {47--58},
year = {1998},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/HimmeroderKLML98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Liu98,
author = {Mengchi Liu},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Overview of Datalog Extensions},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {99--112},
year = {1998},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Liu98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Liu98a,
author = {Mengchi Liu},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Logical Semantics and Languages for Databases with Partial and Complete
Tuples and Sets},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {141--155},
year = {1998},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Liu98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/ShanL98,
author = {Riqiang Shan and
Mengchi Liu},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Introduction to the Relationlog System},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {71--84},
year = {1998},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/ShanL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/WangZ98,
author = {Haixun Wang and
Carlo Zaniolo},
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {User Defined Aggregates for Logical Data Languages},
booktitle = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
pages = {85--97},
year = {1998},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/WangZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1998,
editor = {Piero Fraternali and
Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Proceedings of the 6th International Workshop on Deductive Databases
and Logic Programming (DDLP'98). In Conjunction with JICSLP'98},
series = {{GMD} Report},
volume = {22},
year = {1998},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/AfratiT97,
author = {Foto N. Afrati and
Francesca Toni},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {On the Relationship Between Chain Queries and Linear Datalog Programs},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Thu, 26 Sep 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/AfratiT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/AndreasenC97,
author = {Troels Andreasen and
Henning Christiansen},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Hypothetical Queries to Deductive Databases},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/AndreasenC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Fordan97,
author = {Andreas Fordan},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Linear Constraint Projection - Top-Down and Bottom-Up},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Fordan97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/FurukawaOMUS97,
author = {Koichi Furukawa and
Tomonobu Ozaki and
Tomoko Murakami and
Ken Ueno and
Keiko Shimazu},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Query Evaluation of Deductive Database by {MGTP} and its Application
to Data Mining},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/FurukawaOMUS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HacidMR97,
author = {Mohand{-}Said Hacid and
Patrick Marcel and
Christophe Rigotti},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Extending Datalog for Ordered Multidimensional Databases},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/HacidMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Jamil97,
author = {Hasan M. Jamil},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Jamil97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/KamakuraSSI97,
author = {Chiemi Kamakura and
Yuka Shimajiri and
Hirohisa Seki and
Hidenori Itoh},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Efficient Transformation for Bottom-up Computation of Stable Models},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/KamakuraSSI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/MalletD97,
author = {Sarah Mallet and
Mireille Ducass{\'{e}}},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {An Informal Presentation of {DDB} Trees: {A} Basis for Deductive Database
Explanations},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/MalletD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/WangTZY97,
author = {Yunming Wang and
Chun Tao and
Yonggang Zhao and
Yang Yang},
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {{CRD:} {A} New Data Mining Method in Deductive Databases},
booktitle = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/WangTZY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1997,
editor = {Ulrich Geske and
Carolina Ruiz and
Dietmar Seipel},
title = {Proceedings of the Fifth International Workshop on Deductive Databases
and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted
Papers},
publisher = {{GMD} - German National Research Center for Information Technology},
year = {1997},
isbn = {3-88457-317-9},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/AldanaT96,
author = {Jos{\'{e}} Francisco Aldana Montes and
Jos{\'{e}} M. Troya},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {Data Flow Evaluation of Datalog Queries},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {69--78},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
biburl = {https://dblp.org/rec/conf/deductive/AldanaT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/AsirelliCJ96,
author = {Patrizia Asirelli and
Stephen C. Cook and
Keith G. Jeffery},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {A Logical Database for Validating System Models},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {119--134},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/AsirelliCJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BaumgartnerF96,
author = {Peter Baumgartner and
Ulrich Furbach},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {Hyper Tableaux and Disjunctive Logic Programming},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {29--43},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/BaumgartnerF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/CarboniDGM96,
author = {Marilisa E. Carboni and
Annalisa Di Deo and
Fosca Giannotti and
Maria V. Masserotti},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {Spatio-Temporal Reasoning with {LDLT:} First Steps Towards a Deductive
System for Geographical Applications},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {135--151},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/CarboniDGM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/GodfreyG96,
author = {Parke Godfrey and
Jarek Gryz},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {A Framework for Intensional Query Optimization},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {57--68},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/GodfreyG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HerreW96,
author = {Heinrich Herre and
Gerd Wagner},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {Stable Semantics of Temporal Deductive Databases},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {95--106},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/HerreW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/ObimboS96,
author = {Charlie F. Obimbo and
Bruce Spencer},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {Access Clause Trees in Disjunctive Deductive Databases},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {15--28},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/ObimboS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Rosati96,
author = {Riccardo Rosati},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {On the Complexity of Reasoning with Negation as Failure},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {107--118},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/Rosati96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/WichertF96,
author = {Carl{-}Alexander Wichert and
Burkhard Freitag},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {Logical Specification of Bulk Updates and Sequential Updates},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {79--93},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/WichertF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/ZukowskiF96,
author = {Ulrich Zukowski and
Burkhard Freitag},
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {The Differential Fixpoint of General Logic Programs},
booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
pages = {45--56},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/ZukowskiF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1996,
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
isbn = {3-88457-295-4},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/AzevedoM95,
author = {Paulo Jorge de Sousa Azevedo and
Danilo Montesi},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {An Extended Magic Sets Strategy for a Rule Language with Updates and
Transactions},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {71--80},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
biburl = {https://dblp.org/rec/conf/deductive/AzevedoM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Christiansen95,
author = {Henning Christiansen},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Alternative Reasoning in a Metaprogramming System},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {175--186},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Christiansen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/CiortuzJ95,
author = {Liviu{-}Virgil Ciortuz and
Mihaela Juganaru},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Towords a Constraint-based Implementation of F-Logic},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {97--109},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/CiortuzJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/DeneckerDPBS95,
author = {Marc Denecker and
Guy Duchatelet and
Frank Piessens and
Kristof Van Belleghem and
Danny De Schreye},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Using Event Calculus for Protocol Specification: An Experiment},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {187--201},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/DeneckerDPBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/DuI95,
author = {Xiaoyong Du and
Naohiro Ishii},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Reducing the Arity of Recursive Predicates by Realigning Some Predicates},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {57--69},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/DuI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Hinkelmann95,
author = {Knut Hinkelmann},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {127--141},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Hinkelmann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Janhunen95,
author = {Tomi Janhunen},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Cautious Models for General Logic Programs},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {25--39},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Janhunen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/KeanT95,
author = {Alex Kean and
George K. Tsiknis},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {A Computational System for Symbolic Belief Revision},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {159--173},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/KeanT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/LeuschelM95,
author = {Michael Leuschel and
Bern Martens},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Generating Specialised Update Procedures Through Partial Deduction
of the Ground Representation},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {81--95},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/LeuschelM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/PagnuccoNF95,
author = {Maurice Pagnucco and
Abhaya C. Nayak and
Norman Y. Foo},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {143--158},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/PagnuccoNF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Papp95,
author = {Cristian Papp},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Alternating Fixpoint Semantics for Disjunctive Logic Programs},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {11--23},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Papp95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Teniente95,
author = {Ernest Teniente},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {An Abductive Framework to Handle Consistency-preserving Updates in
Deductive Databases},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {111--125},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Teniente95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/YouGYG95,
author = {Jia{-}Huai You and
Suryanil Ghosh and
Li{-}Yan Yuan and
Randy Goebel},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {An Introspective Framework for Paraconsistent Logic Programs and Disjunctive
Databases},
booktitle = {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},
series = {GMD-Studien},
volume = {266},
pages = {41--55},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/YouGYG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1995,
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {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},
series = {GMD-Studien},
volume = {266},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
isbn = {3-88457-266-0},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/93b,
editor = {Raghu Ramakrishnan},
title = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
publisher = {Kluwer},
year = {1995},
isbn = {0-7923-9533-6},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/93b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BertinoCGM94,
author = {Elisa Bertino and
Barbara Catania and
Giovanna Guerrini and
Danilo Montesi},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {Static Analysis of Transactional Intensional Databases},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {57--73},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
biburl = {https://dblp.org/rec/conf/deductive/BertinoCGM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/CatarciC94,
author = {Tiziana Catarci and
Isabel F. Cruz},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {On Expressing Stratified Datalog},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {85--100},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/CatarciC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/CorciuloGPZ94,
author = {Luca Corciulo and
Fosca Giannotti and
Dino Pedreschi and
Carlo Zaniolo},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {Expressive Power of Non-Deterministic Operators for Logic-based Languages},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {27--40},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/CorciuloGPZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Freitag94,
author = {Burkhard Freitag},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {Representing Objects as Modules in Deductive Databases},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {41--56},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Freitag94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/KempR94,
author = {David B. Kemp and
Kotagiri Ramamohanarao},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {A Deductive Database Solution to the Preferential Vote Counting Problem},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {143--158},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/KempR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Mumick94,
author = {Inderpal Singh Mumick},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {One-Phase Magic-sets Transformation},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {131--141},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Mumick94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/PapadiasFK94,
author = {Dimitris Papadias and
Andrew U. Frank and
Manolis Koubarakis},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {Constraint-Based Reasoning in Geographic Databases: the Case of Symbolic
Arrays},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {159--171},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/PapadiasFK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/RaoRSW94,
author = {Prasad Rao and
I. V. Ramakrishnan and
Terrance Swift and
David Scott Warren},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {Dynamic Argument Reduction for In-memory Data Queries},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {117--129},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/RaoRSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Ross94,
author = {Kenneth A. Ross},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {Constraint Stratification in Deductive Databases},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {101--115},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Ross94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Tomasic94,
author = {Anthony Tomasic},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {Determining Correct View Update Translations via Query Containment},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {75--83},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Tomasic94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/ZanioloS94,
author = {Carlo Zaniolo and
Reza Sadri},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {A Simple Model for Active Rules and their Behavior in Deductive Databases},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {13--26},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/ZanioloS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1994,
editor = {Ulrich Geske and
Dietmar Seipel},
title = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
isbn = {3-88457-231-8},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BadiaGG93,
author = {Antonio Badia and
Dirk Van Gucht and
Marc Gyssens},
editor = {Raghu Ramakrishnan},
title = {Querying with Generalized Quantifiers},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {235--258},
publisher = {Kluwer},
year = {1993},
timestamp = {Thu, 02 May 2024 16:24:13 +0200},
biburl = {https://dblp.org/rec/conf/deductive/BadiaGG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BressanJS93,
author = {St{\'{e}}phane Bressan and
Willem Jonker and
Andrea Sikeler},
editor = {Raghu Ramakrishnan},
title = {Extending Deductive Databases with Object Orientation},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {167},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Thu, 02 May 2024 16:24:13 +0200},
biburl = {https://dblp.org/rec/conf/deductive/BressanJS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/ConsensM93,
author = {Mariano P. Consens and
Alberto O. Mendelzon},
editor = {Raghu Ramakrishnan},
title = {Hy+: {A} Hypergraph-based Query and Visualization System},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {168--169},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/ConsensM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/DerrP93,
author = {Marcia A. Derr and
Geoffrey Phipps},
editor = {Raghu Ramakrishnan},
title = {Demonstrating the Glue-Nail Deductive Database System},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {163},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/DerrP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/FreitagSS93,
author = {Burkhard Freitag and
Heribert Sch{\"{u}}tz and
G{\"{u}}nther Specht},
editor = {Raghu Ramakrishnan},
title = {Overview of the deductive database system {LOLA}},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {166},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/FreitagSS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Friesen93,
author = {Oris Friesen},
editor = {Raghu Ramakrishnan},
title = {A Declarative Language Environment for Knowledge-Workers},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {97--110},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Friesen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/FriesenGLV93,
author = {Oris Friesen and
Gilles Gauthier{-}Villars and
Alexandre Lefebvre and
Laurent Vieille},
editor = {Raghu Ramakrishnan},
title = {Applications of Deductive Object-Oriented Databases Using {DEL}},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {1--22},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/FriesenGLV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/GoodmanRS93,
author = {Nathan Goodman and
Steve Rozen and
Lincoln Stein},
editor = {Raghu Ramakrishnan},
title = {Requirements for a Deductive Query Language in a Genome-Mapping Database},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {259--278},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/GoodmanRS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/GoodmanRS93a,
author = {Nathan Goodman and
Steve Rozen and
Lincoln Stein},
editor = {Raghu Ramakrishnan},
title = {Requirements for a Deductive Query Language in the MapBase Genome-Mapping
Database},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {18--32},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/GoodmanRS93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HanLX93,
author = {Jiawei Han and
Ling Liu and
Zhaohui Xie},
editor = {Raghu Ramakrishnan},
title = {LogicBase: {A} System Prototype for Deductive Query Evaluation},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {146--160},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/HanLX93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HanLX93a,
author = {Jiawei Han and
Ling Liu and
Zhaohui Xie},
editor = {Raghu Ramakrishnan},
title = {Outline of the LogicBase Demonstration},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {165},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/HanLX93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HarlandR93,
author = {James Harland and
Kotagiri Ramamohanarao},
editor = {Raghu Ramakrishnan},
title = {An Aditi Implementation of a Flights Database},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {83--100},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/HarlandR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HarlandR93a,
author = {James Harland and
Kotagiri Ramamohanarao},
editor = {Raghu Ramakrishnan},
title = {An Aditi Implementation of a Flights Database},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {6--17},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/HarlandR93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HsuZ93,
author = {Ping{-}Yu Hsu and
Carlo Zaniolo},
editor = {Raghu Ramakrishnan},
title = {A new User's Impressions on {LDL++} and {CORAL}},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {134--145},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/HsuZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/LivezeyS93,
author = {Brian Livezey and
Evangelos Simoudis},
editor = {Raghu Ramakrishnan},
title = {A Deductive Front-End for Relational Databases},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {57--81},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/LivezeyS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/MuntzSZ93,
author = {Richard R. Muntz and
Eddie C. Shek and
Carlo Zaniolo},
editor = {Raghu Ramakrishnan},
title = {Using {LDL++} for Spatio-Temporal Reasoning in Atmospheric Science
Databases},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {101--119},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/MuntzSZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/MuntzSZ93a,
author = {Richard R. Muntz and
Eddie C. Shek and
Carlo Zaniolo},
editor = {Raghu Ramakrishnan},
title = {Using {LDL++} for Spatio-Temporal Reasoning in Atmospheric Science
Databases},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {74--86},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/MuntzSZ93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/RamakrishnanSSS93,
author = {Raghu Ramakrishnan and
Praveen Seshadri and
Divesh Srivastava and
S. Sudarshan},
editor = {Raghu Ramakrishnan},
title = {The {CORAL} Deductive Database System},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {162},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/RamakrishnanSSS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Reps93,
author = {Thomas W. Reps},
editor = {Raghu Ramakrishnan},
title = {Demand Interprocedural Program Analysis Using Logic Databases},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {163--196},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Reps93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/RothRS93,
author = {William G. Roth and
Raghu Ramakrishnan and
Praveen Seshadri},
editor = {Raghu Ramakrishnan},
title = {{MIMSY:} {A} System for Stock Market Analysis},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {121--142},
publisher = {Kluwer},
year = {1993},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/RothRS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/RothRS93a,
author = {William G. Roth and
Raghu Ramakrishnan and
Praveen Seshadri},
editor = {Raghu Ramakrishnan},
title = {{MIMSY:} {A} System for Analyzing Time Series Data in the Stock Market
Domain},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {33--43},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/RothRS93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SagonasSW93,
author = {Konstantinos F. Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Raghu Ramakrishnan},
title = {The {XSB} Programming System},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {164},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/SagonasSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SaranPCASS93,
author = {Amitabh Saran and
Keith K. Park and
Yongmao Chen and
Ana Paula de Aguiar and
Terence R. Smith and
Jianwen Su},
editor = {Raghu Ramakrishnan},
title = {Developing Applications with {CORAL}},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {87--96},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/SaranPCASS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/ShawFGTTWZ93,
author = {Shawn Shaw and
Lena Foggiato{-}Bish and
Iris Garcia and
Gherin Tillman and
Dave Tryon and
Wendy Wood and
Carlo Zaniolo},
editor = {Raghu Ramakrishnan},
title = {Improving Data Quality Via {LDL++}},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {60--73},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/ShawFGTTWZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/ShethWK93,
author = {Amit P. Sheth and
Christopher Wood and
Vipul Kashyap},
editor = {Raghu Ramakrishnan},
title = {Q-Data: Using Deductive Database Technology to Improve Data Quality},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {23--56},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/ShethWK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SpechtF93,
author = {G{\"{u}}nther Specht and
Burkhard Freitag},
editor = {Raghu Ramakrishnan},
title = {{AMOS:} {A} Natural Language Parser Implemented as a Deductive Database
in {LOLA}},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {197--215},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/SpechtF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SpechtFS93,
author = {G{\"{u}}nther Specht and
Burkhard Freitag and
Heribert Sch{\"{u}}tz},
editor = {Raghu Ramakrishnan},
title = {{AMOS:} {A} Natural Language Parser written in {LOLA}},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {124--133},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/SpechtFS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/VaghaniRKSSLH93,
author = {Jayen Vaghani and
Kotagiri Ramamohanarao and
David B. Kemp and
Zoltan Somogyi and
Peter J. Stuckey and
Tim S. Leask and
James Harland},
editor = {Raghu Ramakrishnan},
title = {The Aditi Deductive Datebase System},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {161},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/VaghaniRKSSLH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/VistaW93,
author = {Dimitra Vista and
Peter T. Wood},
editor = {Raghu Ramakrishnan},
title = {Efficient Evaluation of Visual Queries Using Deductive Databases},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {143--161},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/VistaW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/VistaW93a,
author = {Dimitra Vista and
Peter T. Wood},
editor = {Raghu Ramakrishnan},
title = {Efficient Visual Queries for Deductive Databases},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {44--59},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/VistaW93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Warren93,
author = {David Scott Warren},
editor = {Raghu Ramakrishnan},
title = {Programming the {PTQ} Grammar in {XSB}},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {217--234},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Warren93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Warren93a,
author = {David Scott Warren},
editor = {Raghu Ramakrishnan},
title = {Programming the {PTQ} Grammar in {XSB}},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {111--123},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Warren93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1993,
editor = {Raghu Ramakrishnan},
title = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BayramB92,
author = {Zeki O. Bayram and
Barrett R. Bryant},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Conditional Term Rewriting as a Deductive Database Language},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {126--135},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
biburl = {https://dblp.org/rec/conf/deductive/BayramB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BertinoMM92,
author = {Elisa Bertino and
Maurizio Martelli and
Danilo Montesi},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Modeling Database Updates with Constraint Logic Programming},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {175--184},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/BertinoMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Chaudhuri92,
author = {Surajit Chaudhuri},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Finding Nonrecursive Envelopes for Datalog Predicates},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {96--105},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Chaudhuri92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Gaasterland92,
author = {Terry Gaasterland},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Coherent Cooperative Answers in Deductive Databases},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {155--162},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Gaasterland92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/GuptaKM92,
author = {Ashish Gupta and
Dinesh Katiyar and
Inderpal Singh Mumick},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Counting solutions to the View Maintenance Problem},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {185--194},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Wed, 31 Oct 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/GuptaKM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/GuptaU92,
author = {Ashish Gupta and
Jeffrey D. Ullman},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Generalizing Conjunctive Query Containment for View Maintenance and
Integrity Constraint Verification (Abstract)},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {195},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Wed, 31 Oct 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/GuptaU92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Han92,
author = {Jia Liang Han},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {An Efficient Bottom-ip Evaluation for Datalog},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {146--154},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Han92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HanL92,
author = {Jiawei Han and
Tong Lu},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {N-Queens Problem Revisited: {A} Deductive Database Approach},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {48--55},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/HanL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/HarrisonD92,
author = {John V. Harrison and
Suzanne W. Dietrich},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Maintenance of Materialized Views in a Deductive Database: An Update
Propagation Approach},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {56--65},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/HarrisonD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Jakobsson92,
author = {H{\aa}kan Jakobsson},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {On Join-Order Optimal Compositions and Optimizing Recursive Queries},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {66--75},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Jakobsson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/KhandakerFM92,
author = {Zahidul A. Khandaker and
Jos{\'{e}} Alberto Fern{\'{a}}ndez and
Jack Minker},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {A Tractable Class of Disjunctive Deductive Databases},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {11--20},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/KhandakerFM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/LefebvreBT92,
author = {Alexandre Lefebvre and
Peter Bernus and
Rodney W. Topor},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Query Transformation for Accessing Heterogeneous Databases},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {31--40},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/LefebvreBT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/LevyMSS92,
author = {Alon Y. Levy and
Inderpal Singh Mumick and
Yehoshua Sagiv and
Oded Shmueli},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {1--10},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/LevyMSS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/LiuH92,
author = {Ling Liu and
Jiawei Han},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Compressed Counting Method},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {76--85},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/LiuH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Morishita92,
author = {Shinichi Morishita},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {An anternating fixpoint tailored to magic programs},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {86--95},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Morishita92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/MumickR92,
author = {Inderpal Singh Mumick and
Kenneth A. Ross},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {An Architecture for Declarative Object-Oriented Databases},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {21--30},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/MumickR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Raschid92,
author = {Louiqa Raschid},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Semantics for Rule-based Programs that Express Non-determinism, Causality
and Exception Handling Behavior},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {163--174},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Raschid92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SeipelA92,
author = {Dietmar Seipel and
Hans Argenton},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Wavefront Techniques for Recursive Logic Programs},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {116--125},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/SeipelA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Smith92,
author = {Devin E. Smith},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {An Integrated Reactor Physics and Source Term Calculation Based on
Deductive Database Principles},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {41--47},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Smith92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SudarshanR92,
author = {S. Sudarshan and
Raghu Ramakrishnan},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Optimizations of Bottom-Up Evaluation with Non-Ground Terms (Extended
Abstract)},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {136--145},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/SudarshanR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/TorosluQH92,
author = {Ismail H. Toroslu and
Ghassan Z. Qadah and
Lawrence J. Henschen},
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {Method Inheritance with Object Updates in an Object-Oriented Logic
Programming Language},
booktitle = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
pages = {106--115},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/TorosluQH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1992,
editor = {Kotagiri Ramamohanarao and
James Harland and
Guozhu Dong},
title = {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},
series = {Technical Report},
volume = {{CITRI/TR-92-65}},
publisher = {Department of Computer Science, University of Melbourne},
year = {1992},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Arnon90,
author = {Dennis S. Arnon},
editor = {Jan Chomicki},
title = {Towards a Deductive Database for Elementary Algebra and Geometry},
booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction
with the North American Conference on Logic Programming, Austin, Texas,
USA, November 1, 1990},
series = {Technical Report},
volume = {{TR-CS-90-14}},
publisher = {Kansas State University},
year = {1990},
timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
biburl = {https://dblp.org/rec/conf/deductive/Arnon90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Caseau90,
author = {Yves Caseau},
editor = {Jan Chomicki},
title = {Extending Object-Oriented Deduction Towards Constraint Logic Programming},
booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction
with the North American Conference on Logic Programming, Austin, Texas,
USA, November 1, 1990},
series = {Technical Report},
volume = {{TR-CS-90-14}},
publisher = {Kansas State University},
year = {1990},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Caseau90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Phipps90,
author = {Geoffrey Phipps},
editor = {Jan Chomicki},
title = {Glue: {A} Deductive Database Programming Language (Extended Abstract)},
booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction
with the North American Conference on Logic Programming, Austin, Texas,
USA, November 1, 1990},
series = {Technical Report},
volume = {{TR-CS-90-14}},
publisher = {Kansas State University},
year = {1990},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Phipps90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/RamakrishnanBSS90,
author = {Raghu Ramakrishnan and
Per Bothner and
Divesh Srivastava and
S. Sudarshan},
editor = {Jan Chomicki},
title = {{CORAL} - {A} Database Programming Language},
booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction
with the North American Conference on Logic Programming, Austin, Texas,
USA, November 1, 1990},
series = {Technical Report},
volume = {{TR-CS-90-14}},
publisher = {Kansas State University},
year = {1990},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/RamakrishnanBSS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/TsurON90,
author = {Shalom Tsur and
Frank Olken and
Dalit Naor},
editor = {Jan Chomicki},
title = {Deductive Databases for Genomic Mapping (Extended Abstract)},
booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction
with the North American Conference on Logic Programming, Austin, Texas,
USA, November 1, 1990},
series = {Technical Report},
volume = {{TR-CS-90-14}},
publisher = {Kansas State University},
year = {1990},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/TsurON90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/VaghaniRKSS90,
author = {Jayen Vaghani and
Kotagiri Ramamohanarao and
David B. Kemp and
Zoltan Somogyi and
Peter J. Stuckey},
editor = {Jan Chomicki},
title = {Design Overview of the Aditi Deductive Database System},
booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction
with the North American Conference on Logic Programming, Austin, Texas,
USA, November 1, 1990},
series = {Technical Report},
volume = {{TR-CS-90-14}},
publisher = {Kansas State University},
year = {1990},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/VaghaniRKSS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1990,
editor = {Jan Chomicki},
title = {Proceedings of the Workshop on Deductive Databases held in conjunction
with the North American Conference on Logic Programming, Austin, Texas,
USA, November 1, 1990},
series = {Technical Report},
volume = {{TR-CS-90-14}},
publisher = {Kansas State University},
year = {1990},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-06 09:32 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
