Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/Arieli02,
  author       = {Ofer Arieli},
  title        = {Paraconsistent Declarative Semantics for Extended Logic Programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {4},
  pages        = {381--417},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016358201013},
  doi          = {10.1023/A:1016358201013},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Arieli02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Bittner02,
  author       = {Thomas Bittner},
  title        = {Approximate Qualitative Temporal Reasoning},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {1-2},
  pages        = {39--80},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1015899702951},
  doi          = {10.1023/A:1015899702951},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Bittner02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BradfordCDJW02,
  author       = {Russell J. Bradford and
                  Robert M. Corless and
                  James H. Davenport and
                  David J. Jeffrey and
                  Stephen M. Watt},
  title        = {Reasoning about the Elementary Functions of Complex Analysis},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {3},
  pages        = {303--318},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016007415899},
  doi          = {10.1023/A:1016007415899},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BradfordCDJW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BuningZ02,
  author       = {Hans Kleine{ }B{\"{u}}ning and
                  Xishun Zhao},
  title        = {The Complexity of Read-Once Resolution},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {4},
  pages        = {419--435},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016339119669},
  doi          = {10.1023/A:1016339119669},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BuningZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CalmetKT02,
  author       = {Jacques Calmet and
                  Peter Kullmann and
                  Morio Taneda},
  title        = {Composite Distributive Lattices as Annotation Domains for Mediators},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {3},
  pages        = {263--277},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016099113173},
  doi          = {10.1023/A:1016099113173},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CalmetKT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ChittaroC02,
  author       = {Luca Chittaro and
                  Carlo Combi},
  title        = {Temporal Granularity and Indeterminacy in Reasoning About Actions
                  and Change: An Approach Based on the Event Calculus},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {1-2},
  pages        = {81--119},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1015851820698},
  doi          = {10.1023/A:1015851820698},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ChittaroC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CoupeG02,
  author       = {Veerle M. H. Coup{\'{e}} and
                  Linda C. van der Gaag},
  title        = {Properties of Sensitivity Analysis of Bayesian Belief Networks},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {4},
  pages        = {323--356},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016398407857},
  doi          = {10.1023/A:1016398407857},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CoupeG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FonsecaEDC02,
  author       = {Frederico T. Fonseca and
                  Max J. Egenhofer and
                  Clodoveu A. Davis Jr. and
                  Gilberto C{\^{a}}mara},
  title        = {Semantic Granularity in Ontology-Driven Geographic Information Systems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {1-2},
  pages        = {121--151},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1015808104769},
  doi          = {10.1023/A:1015808104769},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/FonsecaEDC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HornsbyE02,
  author       = {Kathleen Hornsby and
                  Max J. Egenhofer},
  title        = {Modeling Moving Objects over Multiple Granularities},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {1-2},
  pages        = {177--194},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1015812206586},
  doi          = {10.1023/A:1015812206586},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HornsbyE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KhatriRSO02,
  author       = {Vijay Khatri and
                  Sudha Ram and
                  Richard T. Snodgrass and
                  Grady M. O'Brien},
  title        = {Supporting User-Defined Granularities in a Spatiotemporal Conceptual
                  Model},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {1-2},
  pages        = {195--232},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1015868307494},
  doi          = {10.1023/A:1015868307494},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/KhatriRSO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/NingWJ02,
  author       = {Peng Ning and
                  Xiaoyang Sean Wang and
                  Sushil Jajodia},
  title        = {An Algebraic Representation of Calendars},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {1-2},
  pages        = {5--38},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1015835418881},
  doi          = {10.1023/A:1015835418881},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/NingWJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Pfalzgraf02,
  author       = {Jochen Pfalzgraf},
  title        = {Modeling Connectionist Network Structures: Some Geometric and Categorical
                  Aspects},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {3},
  pages        = {279--301},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016094912264},
  doi          = {10.1023/A:1016094912264},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Pfalzgraf02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ReveszC02,
  author       = {Peter Z. Revesz and
                  Mengchu Cai},
  title        = {Efficient Querying and Animation of Periodic Spatio-Temporal Databases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {4},
  pages        = {437--457},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016399308282},
  doi          = {10.1023/A:1016399308282},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/ReveszC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Ruiz-ReinaAHM02,
  author       = {Jos{\'{e}}{-}Luis Ruiz{-}Reina and
                  Jos{\'{e}}{-}Antonio Alonso and
                  Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
                  Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos},
  title        = {Formal Proofs About Rewriting Using {ACL2}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {3},
  pages        = {239--262},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016003314081},
  doi          = {10.1023/A:1016003314081},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Ruiz-ReinaAHM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SmithB02,
  author       = {Barry Smith and
                  Berit Brogaard},
  title        = {Quantum Mereotopology},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {1-2},
  pages        = {153--175},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1015860121607},
  doi          = {10.1023/A:1015860121607},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/SmithB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ViedmaM02,
  author       = {Mar{\'{\i}}a{-}Antonia C{\'{a}}rdenas{-}Viedma and
                  Roque Mar{\'{\i}}n},
  title        = {Syntax and Semantics for a Fuzzy Temporal Constraint Logic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {4},
  pages        = {357--380},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016345810582},
  doi          = {10.1023/A:1016345810582},
  timestamp    = {Wed, 28 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ViedmaM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/X02,
  author       = {Claudio Bettini and
                  Angelo Montanari},
  title        = {Research Issues and Trends in Spatial and Temporal Granularities},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {36},
  number       = {1-2},
  pages        = {1--4},
  year         = {2002},
  timestamp    = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/X02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}