Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/AnderssonMPT97,
  author       = {Steen A. Andersson and
                  David Madigan and
                  Michael D. Perlman and
                  Christopher M. Triggs},
  title        = {A Graphical Characterization of Lattice Conditional Independence Models},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {1},
  pages        = {27--50},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018901032102},
  doi          = {10.1023/A:1018901032102},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/AnderssonMPT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Baral97,
  author       = {Chitta Baral},
  title        = {Relating Logic Programming Theories of Actions and Partial Order Planning},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {131--151},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018961217989},
  doi          = {10.1023/A:1018961217989},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Baral97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BaralKL97,
  author       = {Chitta Baral and
                  Vladik Kreinovich and
                  Vladimir Lifschitz},
  title        = {Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning
                  about Actions},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {129},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018909201151},
  doi          = {10.1023/A:1018909201151},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BaralKL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BlairCDFH97,
  author       = {Howard A. Blair and
                  Jagan Chidella and
                  Fred Dushin and
                  Audrey Ferry and
                  Paul R. Humenn},
  title        = {A Continuum of Discrete Systems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {153--186},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018913302060},
  doi          = {10.1023/A:1018913302060},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BlairCDFH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ChenL97,
  author       = {Weidong Chen and
                  Julie Yu{-}Chih Liu},
  title        = {A Procedural Semantics for Stratified Database Updates},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {187--220},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018965418898},
  doi          = {10.1023/A:1018965418898},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ChenL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CookeL97,
  author       = {Daniel E. Cooke and
                  Luqi},
  title        = {Logic Programming and Software Maintenance},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {221--229},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018917502968},
  doi          = {10.1023/A:1018917502968},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CookeL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/KhamsiM97,
  author       = {Mohamed A. Khamsi and
                  Driss Misane},
  title        = {Fixed Point Theorems in Logic Programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {231--243},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018969519807},
  doi          = {10.1023/A:1018969519807},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/KhamsiM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Koster97,
  author       = {Jan T. A. Koster},
  title        = {Gibbs and Markov Properties of Graphs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {1},
  pages        = {13--26},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018948915264},
  doi          = {10.1023/A:1018948915264},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Koster97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/LauritzenJ97,
  author       = {Steffen L. Lauritzen and
                  Finn Verner Jensen},
  title        = {Local Computation with Valuations from a Commutative Semigroup},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {1},
  pages        = {51--69},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018953016172},
  doi          = {10.1023/A:1018953016172},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/LauritzenJ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/LiP97,
  author       = {Renwei Li and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {Representing and Reasoning about Concurrent Actions with Abductive
                  Logic Programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {245--303},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018921603877},
  doi          = {10.1023/A:1018921603877},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LiP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Lifschitz97,
  author       = {Vladimir Lifschitz},
  title        = {Two Components of an Action Language},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {305--320},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018973620715},
  doi          = {10.1023/A:1018973620715},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Lifschitz97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Lin97,
  author       = {Fangzhen Lin},
  title        = {An Ordering on Subgoals for Planning},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {321--342},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018925704786},
  doi          = {10.1023/A:1018925704786},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Lin97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MarekTT97,
  author       = {V. Wiktor Marek and
                  Jan Treur and
                  Miroslaw Truszczynski},
  title        = {Representation Theory for Default Logic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {343--358},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018977721624},
  doi          = {10.1023/A:1018977721624},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/MarekTT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Matus97,
  author       = {Frantisek Mat{\'{u}}s},
  title        = {Conditional Independence Structures Examined via Minors},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {1},
  pages        = {99--128},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018957117081},
  doi          = {10.1023/A:1018957117081},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Matus97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/PontelliG97,
  author       = {Enrico Pontelli and
                  Gopal Gupta},
  title        = {Parallel Symbolic Computation in {ACE}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {359--395},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018929805694},
  doi          = {10.1023/A:1018929805694},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/PontelliG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ReiterY97,
  author       = {Raymond Reiter and
                  Zheng Yuhua},
  title        = {Scheduling in the Situation Calculus: {A} Case Study},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {397--421},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018981822532},
  doi          = {10.1023/A:1018981822532},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ReiterY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Shafer97,
  author       = {Glenn Shafer},
  title        = {Advances in the Understanding and Use of Conditional Independence},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {1},
  pages        = {1--11},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018996831193},
  doi          = {10.1023/A:1018996831193},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Shafer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Studeny97,
  author       = {Milan Studen{\'{y}}},
  title        = {Semigraphoids and Structures of Probabilistic Conditional Independence},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {1},
  pages        = {71--98},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018905100242},
  doi          = {10.1023/A:1018905100242},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/Studeny97.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.