Search dblp for Publications

export results for "toc:db/journals/amai/amai19.bht:"

 download as .bib file

@article{DBLP:journals/amai/AquilinoART97,
  author       = {Domenico Aquilino and
                  Patrizia Asirelli and
                  Chiara Renso and
                  Franco Turini},
  title        = {Applying Restriction Constraints to Deductive Databases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {3--25},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018943319381},
  doi          = {10.1023/A:1018943319381},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/AquilinoART97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BrogiSZ97,
  author       = {Antonio Brogi and
                  V. S. Subrahmanian and
                  Carlo Zaniolo},
  title        = {The Logic of Totally and Partially Ordered Plans: {A} Deductive Database
                  Approach},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {27--58},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018995303452},
  doi          = {10.1023/A:1018995303452},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BrogiSZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CalmetC97,
  author       = {Jacques Calmet and
                  John A. Campbell},
  title        = {A Perspective on Symbolic Mathematical Computing and Artificial Intelligence},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {3-4},
  pages        = {261--277},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018920108903},
  doi          = {10.1023/A:1018920108903},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CalmetC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DongS97,
  author       = {Guozhu Dong and
                  Jianwen Su},
  title        = {Deterministic {FOIES} are Strictly Weaker},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {127--146},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018951521198},
  doi          = {10.1023/A:1018951521198},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DongS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/EiterLS97,
  author       = {Thomas Eiter and
                  Nicola Leone and
                  Domenico Sacc{\`{a}}},
  title        = {On the Partial Semantics for Disjunctive Deductive Databases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {59--96},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018947420290},
  doi          = {10.1023/A:1018947420290},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/EiterLS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GiannottiGSZ97,
  author       = {Fosca Giannotti and
                  Sergio Greco and
                  Domenico Sacc{\`{a}} and
                  Carlo Zaniolo},
  title        = {Programming with Non-Determinism in Deductive Databases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {97--125},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018999404360},
  doi          = {10.1023/A:1018999404360},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GiannottiGSZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GrecoS97,
  author       = {Sergio Greco and
                  Domenico Sacc{\`{a}}},
  title        = {"Possible is Certain" is Desirable and Can Be Expressive},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {147--168},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018903705269},
  doi          = {10.1023/A:1018903705269},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GrecoS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/GrumbachL97,
  author       = {St{\'{e}}phane Grumbach and
                  Zo{\'{e}} Lacroix},
  title        = {On Non-Determinism in Machines and Languages},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {169--213},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018955722107},
  doi          = {10.1023/A:1018955722107},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GrumbachL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Hong97,
  author       = {Hoon Hong},
  title        = {Heuristic Search and Pruning in Polynomial Constraints Satisfaction},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {3-4},
  pages        = {319--334},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018911907086},
  doi          = {10.1023/A:1018911907086},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Hong97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/LadkinR97,
  author       = {Peter B. Ladkin and
                  Alexander Reinefeld},
  title        = {Fast Algebraic Methods for Interval Constraint Problems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {3-4},
  pages        = {383--411},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018968024833},
  doi          = {10.1023/A:1018968024833},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LadkinR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/PedreschiS97,
  author       = {Dino Pedreschi and
                  V. S. Subrahmanian},
  title        = {Non-determinism in Deductive Databases - Preface},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {1--2},
  year         = {1997},
  timestamp    = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/PedreschiS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Pfalzgraf97,
  author       = {Jochen Pfalzgraf},
  title        = {On Geometric and Topological Reasoning in Robotics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {3-4},
  pages        = {279--318},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018959823016},
  doi          = {10.1023/A:1018959823016},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Pfalzgraf97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Sellen97,
  author       = {J{\"{u}}rgen Sellen},
  title        = {On the Topological Structure of Configuration Spaces},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {3-4},
  pages        = {335--354},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018963923924},
  doi          = {10.1023/A:1018963923924},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Sellen97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Struss97,
  author       = {Peter Struss},
  title        = {Model-Based and Qualitative Reasoning: An Introduction},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {3-4},
  pages        = {355--381},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018916007995},
  doi          = {10.1023/A:1018916007995},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Struss97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Vianu97,
  author       = {Victor Vianu},
  title        = {Rule-Based Languages},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {215--259},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018907806177},
  doi          = {10.1023/A:1018907806177},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Vianu97.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.