default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 50

> 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 50, Numbers 1-2, June 2007

Selected Papers From FOIKS (2006)

- view
  authority control:
- export record
  dblp key:
  - journals/amai/DixH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DixH07
Jürgen Dix, Stephen J. Hegner:
Preface. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ArtalePS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ArtalePS07
Alessandro Artale, Christine Parent, Stefano Spaccapietra:
Evolving objects in temporal information systems. 5-38
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BiskupB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BiskupB07
Joachim Biskup, Piero A. Bonatti:
Controlled query evaluation with open queries for a decidable relational submodel. 39-77
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Chomicki07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Chomicki07
Jan Chomicki:
Database querying under changing preferences. 79-109
- view
  authority control:
- export record
  dblp key:
  - journals/amai/FerrarottiT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/FerrarottiT07
Flavio Antonio Ferrarotti, Jose Maria Turull Torres:
Arity and alternation: a proper hierarchy in higher order logics. 111-141
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Greco07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Greco07
Gianluigi Greco:
Solving abduction by computing joint explanations. 143-194
- view
  authority control:
- export record
  dblp key:
  - journals/amai/HartmannKL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HartmannKL07
Sven Hartmann, Henning Köhler, Sebastian Link:
Full hierarchical dependencies in fixed and undetermined universes. 195-226

Volume 50, Numbers 3-4, August 2007

Logics in AI: Post-Proceedings of JELIA06

- view
  authority control:
- export record
  dblp key:
  - journals/amai/FisherH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/FisherH07
Michael Fisher, Wiebe van der Hoek:
Logics in AI: post-proceedings JELIA06 (Editorial). 227-229
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GhilardiNRZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GhilardiNRZ07
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Decision procedures for extensions of the theory of arrays. 231-254
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Korukhova07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Korukhova07
Yulia Korukhova:
An approach to automatic deductive synthesis of functional programs. 255-271
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterEFS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterEFS07
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Comparing action descriptions based on semantic preferences. 273-304
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CabalarOPV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CabalarOPV07
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
Partial equilibrium logic. 305-331
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CalimeriCI07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CalimeriCI07
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni:
External sources of knowledge and value invention in logic programming. 333-361
- view
  authority control:
- export record
  dblp key:
  - journals/amai/NieuwenborghCV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/NieuwenborghCV07
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir:
An introduction to fuzzy answer set programming. 363-388
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ArieliDB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ArieliDB07
Ofer Arieli, Marc Denecker, Maurice Bruynooghe:
Distance semantics for database repair. 389-415
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SaadP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SaadP07
Emad Saad, Enrico Pontelli:
A new approach to hybrid probabilistic logic programs. 417-418

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.