Search dblp for Publications

export results for "toc:db/conf/daisd/daisd90.bht:"

 download as .bib file

@inproceedings{DBLP:conf/daisd/BarbicMP90,
  author       = {Federico Barbic and
                  Roberto Maiocchi and
                  Barbara Pernici},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Automatic Deduction of Temporal Information},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {241--298},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 12:08:50 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/BarbicMP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/BlancoI90,
  author       = {Jos{\'{e}} Miguel Blanco and
                  Arantza Illarramendi},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Semantic Query Optimization: from {DBMS} to {KBS}},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {27--48},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/daisd/BlancoI90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/CavedonD90,
  author       = {Lawrence Cavedon and
                  Hendrik Decker},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {153--171},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/CavedonD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Demolombe90,
  author       = {Robert Demolombe},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Strategies for the Computation of Conditional Answers},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {49--71},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Demolombe90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/IllarramendiS90,
  author       = {Arantza Illarramendi and
                  Licia Sbattella},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Syntactic Query Processing: Dealing with Structure and Time},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {1--26},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/IllarramendiS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Kakas90,
  author       = {Antonis C. Kakas},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Belief Revision for Deductive Databases},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {191--218},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Kakas90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/KopanasL90,
  author       = {Vassilis Kopanas and
                  Pericles Loucopoulos},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Database Support for a Rule-based Approach to Information Systems},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {219--239},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/KopanasL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Nytro90,
  author       = {{\O}ystein Nytr{\o}},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Optimizing Deductive Databases Using Integrity Constraints},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {141--151},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Nytro90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Pastor90,
  author       = {Joan Antoni Pastor},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {The Internal Events Method for Integrity Constraints Enforcement in
                  Deductive Databases},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {111--140},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Pastor90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Sancho90,
  author       = {Maria{-}Ribera Sancho},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Deriving an Internal Events Model from a Deductive Conceptual Model},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {73--92},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Sancho90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/SernadasGSL90,
  author       = {Cristina Sernadas and
                  Paula Gouveia and
                  Lu{\'{\i}}sa Silva and
                  Ant{\'{o}}nia Lopes},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Objects as Structuring Units for Incorporating Dynamics in Deductive
                  Conceptual Modeling},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {93--110},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/SernadasGSL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Teniente90,
  author       = {Ernest Teniente},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {The Internal Events Method for View Updating in Deductive Databases},
  booktitle    = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  pages        = {173--190},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Teniente90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/daisd/1990,
  editor       = {Antoni Oliv{\'{e}}},
  title        = {International Workshop on the Deductive Approach to Information Systems
                  and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
                  Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/90-30}},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1990},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.