default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 46

> 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 46, Number 1-2, February 2006

- view
  authority control:
- export record
  dblp key:
  - journals/amai/X06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/X06
Preface. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ArieliDNB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ArieliDNB06
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe:
Computational methods for database repair by signed formulae. 4-37
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Hegner06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Hegner06
Stephen J. Hegner:
The complexity of embedded axiomatization for a class of closed database views. 38-97
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DemetrovicsKM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DemetrovicsKM06
János Demetrovics, Gyula O. H. Katona, Dezsö Miklós:
On the security of individual data. 98-113
- view
  authority control:
- export record
  dblp key:
  - journals/amai/HartmannLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HartmannLS06
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Functional and multivalued dependencies in nested databases generated by record and list constructor. 114-164
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GrahneT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GrahneT06
Gösta Grahne, Alex Thomo:
Regular path queries under approximate semantics. 165-190
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Lyaletski06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Lyaletski06
Alexander V. Lyaletski:
Sequent forms of Herbrand theorem and their applications. 191-230

Volume 46, Number 3, March 2006

- view
  authority control:
- export record
  dblp key:
  - journals/amai/BouzidCFL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BouzidCFL06
Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat:
Guest editorial: Temporal representation and reasoning. 231-234
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BolotovB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BolotovB06
Alexander Bolotov, Artie Basukoski:
A clausal resolution method for branching-time logic ECTL⁺. 235-263
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Artale06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Artale06
Alessandro Artale:
Reasoning on temporal class diagrams: Undecidability results. 265-288
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GiordanoM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GiordanoM06
Laura Giordano, Alberto Martelli:
Tableau-based automata construction for dynamic linear time temporal logic*. 289-315
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EgidiT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EgidiT06
Lavinia Egidi, Paolo Terenziani:
A mathematical framework for the semantics of symbolic languages representing periodic time. 317-347
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BohlenGJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BohlenGJ06
Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
An algebraic framework for temporal attribute characteristics. 349-374

Volume 46, Number 4, April 2006

- view
  authority control:
- export record
  dblp key:
  - journals/amai/Prokopenko06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Prokopenko06
Mikhail Prokopenko:
A preferential semantics for causal reasoning about action. 375-413
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ZivanM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ZivanM06
Roie Zivan, Amnon Meisels:
Message delay and DisCSP search algorithms. 415-439

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.