Logic Programming with Graded Introspection
- 期刊名称Fundamenta Informaticae
- 作者Zhang, Zhizheng; Wang, Bin; Zhang, Shutao; Inclezan, Daniela; Maratea, Marco; Marek, Victor
- 卷第147卷
- 期第1期
- 印刷ISSN0169-2968
- 电子ISSN1875-8681
- 文件大小306.43KB
- 发表时间2016-11-17
- DOI10.3233/FI-2016-1400
- 页码133-158
Continuous Pairwise ComparisonsSaaty, Thomas L.; Janicki, Ryszard; Kułakowski, Konrad · Fundamenta Informaticae · 2016
Multiple Controlled Random Testing*Mrozek, Ireneusz; Yarmolik, Vyacheslav · Fundamenta Informaticae · 2016
Parikh Matrices and Parikh Rewriting SystemsTeh, Wen Chean · Fundamenta Informaticae · 2016
Remarks on Memory Consistency DescriptionCzaja, Ludwik; Czaja, Ludwik; Penczek, Wojciech; Stencel, Krzysztof · Fundamenta Informaticae · 2016
Reversible Queue AutomataKutrib, Martin; Malcher, Andreas; Wendlandt, Matthias; Bensch, Suna; Freund, Rudolf; Hirvensalo, Mika; Otto, Friedrich · Fundamenta Informaticae · 2016
Strongly Limited AutomataPighizzini, Giovanni; Bensch, Suna; Freund, Rudolf; Hirvensalo, Mika; Otto, Friedrich · Fundamenta Informaticae · 2016
Tiered ObjectsAlessi, Fabio; Cardone, Felice · Fundamenta Informaticae · 2016
Instruction Sequence Size Complexity of ParityBergstra, J.A.; Middelburg, C.A. · Fundamenta Informaticae · 2016