Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 50
Volume 50, Numbers 1-2, June 2007
- Jürgen Dix, Stephen J. Hegner:
Preface. 1-3 - Alessandro Artale, Christine Parent, Stefano Spaccapietra:
Evolving objects in temporal information systems. 5-38 - Joachim Biskup, Piero A. Bonatti
:
Controlled query evaluation with open queries for a decidable relational submodel. 39-77 - Jan Chomicki:
Database querying under changing preferences. 79-109 - Flavio Antonio Ferrarotti, Jose Maria Turull Torres:
Arity and alternation: a proper hierarchy in higher order logics. 111-141 - Gianluigi Greco:
Solving abduction by computing joint explanations. 143-194 - Sven Hartmann, Henning Köhler, Sebastian Link:
Full hierarchical dependencies in fixed and undetermined universes. 195-226
Volume 50, Numbers 3-4, August 2007
- Michael Fisher, Wiebe van der Hoek:
Logics in AI: post-proceedings JELIA06 (Editorial). 227-229 - Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Decision procedures for extensions of the theory of arrays. 231-254 - Yulia Korukhova:
An approach to automatic deductive synthesis of functional programs. 255-271 - Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Comparing action descriptions based on semantic preferences. 273-304 - Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
Partial equilibrium logic. 305-331 - Francesco Calimeri, Susanna Cozza, Giovambattista Ianni:
External sources of knowledge and value invention in logic programming. 333-361 - Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir:
An introduction to fuzzy answer set programming. 363-388 - Ofer Arieli, Marc Denecker, Maurice Bruynooghe:
Distance semantics for database repair. 389-415 - Emad Saad, Enrico Pontelli:
A new approach to hybrid probabilistic logic programs. 417-418
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.
last updated on 2024-04-15 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
