A verification framework for agent programming with declarative goals
- 作者F.S. de Boer; K.V. Hindriks; W. van der Hoek; J.-J.Ch. Meyer
- 卷第5卷
- 期第2期
- 印刷ISSN1570-8683
- 文件大小286.48KB
- 发表时间2007
- DOI10.1016/j.jal.2005.12.014
- 页码277-302
Using and Understanding Medical Statistics || Contents / Preface 4th Edition, Preface 3rd Edition, Preface 2nd Edition / Preface 1st Edition, · 2007
Preface: Preface for Stiefel IssueJohn H. Dawson; Harry B. Gray · 2007
Preface / Preface / VorwortPaedagogica Europaea · 1965
Preface/PrefaceSen, B. · Uniform Law Review - Revue de droit uniforme · 2005
Vorwon / Preface / PrefaceInternationales Jahrbuch der Erwachsenenbildung · 1973
Preface / PrefaceCurrent Sociology · 1955
Vorwort/Preface/PrefaceInternationales Jahrbuch der Erwachsenenbildung · 1975
PREFAZIONE - PREFACE - PREFACENora Federici and Antonio Golini · Genus · 1995
Repair localization for query answering from inconsistent databasesEiter, Thomas; Fink, Michael; Greco, Gianluigi; Lembo, Domenico · ACM Transactions on Database Systems · 2008
[ACM Press the 2005 ACM SIGMOD international conference - Baltimore, Maryland (2005.06.14-2005.06.16)] Proceedings of the 2005 ACM SIGMOD international conference on Management of data - SIGMOD '05 - The INFOMIX system for advanced integration of incomplete and inconsistent dataLeone, Nicola; Rosati, Riccardo; Lembo, Domenico; Lenzerini, Maurizio; Ruzzi, Marco; Kalka, Edyta; Nowicki, Bartosz; Staniszkis, Witold; Greco, Gianluigi; Ianni, Giovambattista; Lio, Vincenzino; Terracina, Giorgio; Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Gottlob, Georg · 2005