Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 63
Volume 63, Number 1, September 2011
- Manuela-Luminita Bujorianu, Michael Fisher
, Corina S. Pasareanu:
Preface. 1-3 - Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere:
Formal testing for separation assurance. 5-30 - Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski:
Kripke modelling and verification of temporal specifications of a multiple UAV system. 31-52 - Henson Graves, Yvonne Bijan:
Using formal methods with SysML in aerospace design and engineering. 53-102
Volume 63, Number 2, October 2011
- Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Aggregated Fuzzy Answer Set Programming. 103-147 - Leila Amgoud, Srdjan Vesic:
A new approach for preference-based argumentation frameworks. 149-183 - Junaid Ali Khan, Raja Muhammad Asif Zahoor, Ijaz Mansoor Qureshi:
Numerical treatment of nonlinear Emden-Fowler equation using stochastic technique. 185-207
Volume 63, Numbers 3-4, December 2011
- Sven Hartmann, Gabriele Kern-Isberner:
Preface. 209-211 - Joachim Biskup, Sebastian Link:
Appropriate inferences of data dependencies in relational databases. 213-255 - Henning Köhler:
Autonomous sets for the hypergraph of all canonical covers. 257-285 - Paolo Atzeni, Giorgio Gianforme, Paolo Cappellari:
Data model descriptions and translation signatures in a multi-model framework. 287-315 - Stephen J. Hegner:
Information-based distance measures and the canonical reflection of view updates. 317-355 - Allel HadjAli, Souhila Kaci, Henri Prade:
Database preference queries - a possibilistic logic approach with symbolic priorities. 357-383 - Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt:
Tightly integrated probabilistic description logic programs for representing ontology mappings. 385-425
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-22 20:02 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:
