Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Transactions on Artificial Intelligence (ETAI), Volume 2

> Home > Journals > Electronic Transactions on Artificial Intelligence (ETAI)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 2, 1998

- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/CervesatoFM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/CervesatoFM98
Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. 1-23
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/DeneckerDB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/DeneckerDB98
Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem:
An Inductive Definition Approach to Ramifications. 25-67
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/Shanahan98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/Shanahan98
Murray Shanahan:
A Logical Account of the Common Sense Informatic Situation for a Mobile Robot. 69-104
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/Poole98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/Poole98
David Poole:
Decision Theory, the Situation Calculus and Conditional Plans. 105-158
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/LevesquePR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/LevesquePR98
Hector J. Levesque, Fiora Pirri, Raymond Reiter:
Foundations for the Situation Calculus. 159-178
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/Thielscher98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/Thielscher98
Michael Thielscher:
Introduction to the Fluent Calculus. 179-192
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/GelfondL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/GelfondL98
Michael Gelfond, Vladimir Lifschitz:
Action Languages. 193-210
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/BaralT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/BaralT98
Chitta Baral, Tran Cao Son:
Relating Theories of Actions and Reactive Control. 211-271
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/DohertyGKK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/DohertyGKK98
Patrick Doherty, Joakim Gustafsson, Lars Karlsson, Jonas Kvarnström:
TAL: Temporal Action Logics Language Specification and Tutorial. 273-306
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/Sandewall98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/Sandewall98
Erik Sandewall:
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. 307-329

a service of

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.