Search dblp for Publications

• > Home > Search

@article{DBLP:journals/etai/BaralT98,
  author       = {Chitta Baral and
                  Tran Cao Son},
  title        = {Relating Theories of Actions and Reactive Control},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {211--271},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/008/},
  timestamp    = {Mon, 09 May 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/etai/BaralT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/etai/CervesatoFM98,
  author       = {Iliano Cervesato and
                  Massimo Franceschet and
                  Angelo Montanari},
  title        = {The Complexity of Model Checking in Modal Event Calculi with Quantifiers},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {1--23},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/001/},
  timestamp    = {Wed, 05 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/etai/CervesatoFM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/etai/DeneckerDB98,
  author       = {Marc Denecker and
                  Daniele Theseider Dupr{\'{e}} and
                  Kristof Van Belleghem},
  title        = {An Inductive Definition Approach to Ramifications},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {25--67},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/002/},
  timestamp    = {Wed, 05 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/etai/DeneckerDB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/etai/DohertyGKK98,
  author       = {Patrick Doherty and
                  Joakim Gustafsson and
                  Lars Karlsson and
                  Jonas Kvarnstr{\"{o}}m},
  title        = {{TAL:} Temporal Action Logics Language Specification and Tutorial},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {273--306},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/009/},
  timestamp    = {Mon, 18 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/etai/DohertyGKK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/etai/GelfondL98,
  author       = {Michael Gelfond and
                  Vladimir Lifschitz},
  title        = {Action Languages},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {193--210},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/007/},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/etai/GelfondL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/etai/LevesquePR98,
  author       = {Hector J. Levesque and
                  Fiora Pirri and
                  Raymond Reiter},
  title        = {Foundations for the Situation Calculus},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {159--178},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/005/},
  timestamp    = {Wed, 05 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/etai/LevesquePR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/etai/Poole98,
  author       = {David Poole},
  title        = {Decision Theory, the Situation Calculus and Conditional Plans},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {105--158},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/004/},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/etai/Poole98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/etai/Sandewall98,
  author       = {Erik Sandewall},
  title        = {Cognitive Robotics Logic and its Metatheory: Features and Fluents
                  Revisited},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {307--329},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/010/},
  timestamp    = {Wed, 05 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/etai/Sandewall98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/etai/Shanahan98,
  author       = {Murray Shanahan},
  title        = {A Logical Account of the Common Sense Informatic Situation for a Mobile
                  Robot},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {69--104},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/003/},
  timestamp    = {Wed, 05 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/etai/Shanahan98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/etai/Thielscher98,
  author       = {Michael Thielscher},
  title        = {Introduction to the Fluent Calculus},
  journal      = {Electron. Trans. Artif. Intell.},
  volume       = {2},
  pages        = {179--192},
  year         = {1998},
  url          = {http://www.ep.liu.se/ej/etai/1998/006/},
  timestamp    = {Wed, 05 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/etai/Thielscher98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}