Volume 63, Number 1, September 2011

Special Issue: Formal Methods in Aerospace

• 
  Manuela L. 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

Special Issue: Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2008

• 
  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