Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/BaralG97,
  author       = {Chitta Baral and
                  Michael Gelfond},
  title        = {Reasoning About Effects of Concurrent Actions},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {85--117},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00140-9},
  doi          = {10.1016/S0743-1066(96)00140-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BaralG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BaralGP97,
  author       = {Chitta Baral and
                  Michael Gelfond and
                  Alessandro Provetti},
  title        = {Representing Actions: Laws, Observations and Hypotheses},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {201--243},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00141-0},
  doi          = {10.1016/S0743-1066(96)00141-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BaralGP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BelleghemDS97,
  author       = {Kristof Van Belleghem and
                  Marc Denecker and
                  Danny De Schreye},
  title        = {On the Relation Between Situation Calculus and Event Calculus},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {3--37},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00123-9},
  doi          = {10.1016/S0743-1066(96)00123-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BelleghemDS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BornscheuerT97,
  author       = {Sven{-}Erik Bornscheuer and
                  Michael Thielscher},
  title        = {Explicit and Implicit Indeterminism: Reasoning About Uncertain and
                  Contradictory Specifications of Dynamic Systems},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {119--155},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00124-0},
  doi          = {10.1016/S0743-1066(96)00124-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BornscheuerT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/KakasM97,
  author       = {Antonis C. Kakas and
                  Rob Miller},
  title        = {A Simple Declarative Language for Describing Narratives With Actions},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {157--200},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00138-0},
  doi          = {10.1016/S0743-1066(96)00138-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/KakasM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/KowalskiS97,
  author       = {Robert A. Kowalski and
                  Fariba Sadri},
  title        = {Reconciling the Event Calculus With the Situation Calculus},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {39--58},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00137-9},
  doi          = {10.1016/S0743-1066(96)00137-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/KowalskiS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LevesqueRLLS97,
  author       = {Hector J. Levesque and
                  Raymond Reiter and
                  Yves Lesp{\'{e}}rance and
                  Fangzhen Lin and
                  Richard B. Scherl},
  title        = {{GOLOG:} {A} Logic Programming Language for Dynamic Domains},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {59--83},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00121-5},
  doi          = {10.1016/S0743-1066(96)00121-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LevesqueRLLS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LinR97,
  author       = {Fangzhen Lin and
                  Raymond Reiter},
  title        = {Rules as Actions: {A} Situation Calculus Semantics for Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {299--330},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00122-7},
  doi          = {10.1016/S0743-1066(96)00122-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LinR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Turner97,
  author       = {Hudson Turner},
  title        = {Representing Actions in Logic Programs and Default Theories: {A} Situation
                  Calculus Approach},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {245--298},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00125-2},
  doi          = {10.1016/S0743-1066(96)00125-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Turner97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}