default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 63

> 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 63, Number 1, September 2011

Special Issue: Formal Methods in Aerospace

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/BujorianuFP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BujorianuFP11
Manuela-Luminita Bujorianu, Michael Fisher, Corina S. Pasareanu:
Preface. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GiannakopoulouBSEH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GiannakopoulouBSEH11
Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere:
Formal testing for separation assurance. 5-30
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SirigineediTWZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SirigineediTWZ11
Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski:
Kripke modelling and verification of temporal specifications of a multiple UAV system. 31-52
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GravesB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GravesB11
Henson Graves, Yvonne Bijan:
Using formal methods with SysML in aerospace design and engineering. 53-102

Volume 63, Number 2, October 2011

- view
  authority control:
- export record
  dblp key:
  - journals/amai/JanssenSVC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/JanssenSVC11
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Aggregated Fuzzy Answer Set Programming. 103-147
- view
  authority control:
- export record
  dblp key:
  - journals/amai/AmgoudV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/AmgoudV11
Leila Amgoud, Srdjan Vesic:
A new approach for preference-based argumentation frameworks. 149-183
- view
  authority control:
- export record
  dblp key:
  - journals/amai/KhanZQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/KhanZQ11
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

- view
  authority control:
- export record
  dblp key:
  - journals/amai/HartmannK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HartmannK11
Sven Hartmann, Gabriele Kern-Isberner:
Preface. 209-211
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BiskupL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BiskupL11
Joachim Biskup, Sebastian Link:
Appropriate inferences of data dependencies in relational databases. 213-255
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Kohler11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Kohler11
Henning Köhler:
Autonomous sets for the hypergraph of all canonical covers. 257-285
- view
  authority control:
- export record
  dblp key:
  - journals/amai/AtzeniGC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/AtzeniGC11
Paolo Atzeni, Giorgio Gianforme, Paolo Cappellari:
Data model descriptions and translation signatures in a multi-model framework. 287-315
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Hegner11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Hegner11
Stephen J. Hegner:
Information-based distance measures and the canonical reflection of view updates. 317-355
- view
  authority control:
- export record
  dblp key:
  - journals/amai/HadjAliKP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HadjAliKP11
Allel HadjAli, Souhila Kaci, Henri Prade:
Database preference queries - a possibilistic logic approach with symbolic priorities. 357-383
- view
  authority control:
- export record
  dblp key:
  - journals/amai/LukasiewiczPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/LukasiewiczPS11
Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt:
Tightly integrated probabilistic description logic programs for representing ontology mappings. 385-425

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.