default search action
Search dblp for Publications
export results for "toc:db/journals/amai/amai36.bht:"
@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} }
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.