default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 46
Volume 46, Number 1-2, February 2006
- Preface. 1-3
- Ofer Arieli, Marc Denecker
, Bert Van Nuffelen, Maurice Bruynooghe:
Computational methods for database repair by signed formulae. 4-37 - Stephen J. Hegner:
The complexity of embedded axiomatization for a class of closed database views. 38-97 - János Demetrovics, Gyula O. H. Katona, Dezsö Miklós:
On the security of individual data. 98-113 - Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Functional and multivalued dependencies in nested databases generated by record and list constructor. 114-164 - Gösta Grahne, Alex Thomo:
Regular path queries under approximate semantics. 165-190 - Alexander V. Lyaletski:
Sequent forms of Herbrand theorem and their applications. 191-230
Volume 46, Number 3, March 2006
- Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat:
Guest editorial: Temporal representation and reasoning. 231-234 - Alexander Bolotov, Artie Basukoski:
A clausal resolution method for branching-time logic ECTL+. 235-263 - Alessandro Artale:
Reasoning on temporal class diagrams: Undecidability results. 265-288 - Laura Giordano, Alberto Martelli:
Tableau-based automata construction for dynamic linear time temporal logic*. 289-315 - Lavinia Egidi, Paolo Terenziani:
A mathematical framework for the semantics of symbolic languages representing periodic time. 317-347 - Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
An algebraic framework for temporal attribute characteristics. 349-374
Volume 46, Number 4, April 2006
- Mikhail Prokopenko:
A preferential semantics for causal reasoning about action. 375-413 - 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.
last updated on 2024-12-12 20:48 CET 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:
