default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 22

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 22, Numbers 1-2, 1998

Temporal Representation and Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/amai/ChittaroM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ChittaroM98
Luca Chittaro, Angelo Montanari:
Editorial: Temporal Representation and Reasoning. 1-4
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BacchusK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BacchusK98
Fahiem Bacchus, Froduald Kabanza:
Planning for Temporally Extended Goals. 5-27
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BettiniWJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BettiniWJ98
Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia:
A General Framework for Time Granularity and Its Application to Temporal Reasoning. 29-58
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BrajnikC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BrajnikC98
Giorgio Brajnik, Daniel J. Clancy:
Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations. 59-86
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Dixon98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Dixon98
Clare Dixon:
Temporal Resolution Using a Breadth-First Search Algorithm. 87-115
- view
  authority control:
- export record
  dblp key:
  - journals/amai/KayserM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/KayserM98
Daniel Kayser, Aïcha Mokhtari:
Time in a Causal Theory. 117-138
- view
  authority control:
- export record
  dblp key:
  - journals/amai/LammaMM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/LammaMM98
Evelina Lamma, Michela Milano, Paola Mello:
Extending Constraint Logic Programming for Temporal Reasoning. 139-158
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Shahar98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Shahar98
Yuval Shahar:
Dynamic Temporal Interpretation Contexts for Temporal Abstraction. 159-192

Volume 22, Numbers 3-4, 1998

- view
  authority control:
- export record
  dblp key:
  - journals/amai/CowenFK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CowenFK98
Lenore Cowen, Joan Feigenbaum, Sampath Kannan:
A Formal Framework for Evaluating Heuristic Programs. 193-206
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CayrolLS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CayrolLS98
Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex:
Nonmonotonic Reasoning: From Complexity to Algorithms. 207-236
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BirkendorfS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BirkendorfS98
Andreas Birkendorf, Hans Ulrich Simon:
Using Computational Learning Strategies as a Tool for Combinatorial Optimization. 237-257
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ArmandoGSB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ArmandoGSB98
Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy:
Automating the Synthesis of Decision Procedures in a Constructive Metatheory. 259-279
- view
  authority control:
- export record
  dblp key:
  - journals/amai/JonssonB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/JonssonB98
Peter Jonsson, Christer Bäckström:
Tractable Plan Existence Does Not Imply Tractable Plan Generation. 281-296
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Dalal98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Dalal98
Mukesh Dalal:
Anytime Clausal Reasoning. 297-318
- view
  authority control:
- export record
  dblp key:
  - journals/amai/MazureSG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MazureSG98
Bertrand Mazure, Lakhdar Sais, Éric Grégoire:
Boosting Complete Techniques Thanks to Local Search Methods. 319-331
- view
  authority control:
- export record
  dblp key:
  - journals/amai/RuizM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/RuizM98
Carolina Ruiz, Jack Minker:
Logic Knowledge Bases With Two Default Rules. 333-361

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.