[Lecture Notes in Computer Science] Logic Programming and Knowledge Representation Volume 1471 || Refining action theories through abductive logic programming
- 作者Dix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C.
- 文件大小878.53KB
- 发表时间1998
- DOI10.1007/BFb0054793
- 页码123-138
[Lecture Notes in Business Information Processing] Business Information Systems Volume 208 ||Abramowicz, Witold · 2015
[Lecture Notes in Business Information Processing] Business Information Systems Volume 47 ||Abramowicz, Witold; Tolksdorf, Robert · 2010
[Lecture Notes in Business Information Processing] Business Information Systems Volume 7 ||Abramowicz, Witold; Fensel, Dieter · 2008
[Lecture Notes in Business Information Processing] Business Information Systems Volume 176 ||Abramowicz, Witold; Kokkinaki, Angelika · 2014
[Lecture Notes in Business Information Processing] Business Information Systems Workshops ||Abramowicz, Witold; Domingue, John; Węcel, Krzysztof · 2012
[Lecture Notes in Business Information Processing] Business Information Systems Volume 255 ||Abramowicz, Witold; Alt, Rainer; Franczyk, Bogdan · 2016
[Lecture Notes in Business Information Processing] Business Information Systems Workshops Volume 228 ||Abramowicz, Witold · 2015
[Lecture Notes in Business Information Processing] Business Information Systems Workshops Volume 183 ||Abramowicz, Witold; Kokkinaki, Angelika · 2014
[Lecture Notes in Business Information Processing] Software Quality. Increasing Value in Software and Systems Development Volume 133 ||Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes · 2013
[Lecture Notes in Business Information Processing] Software Quality. The Future of Systems- and Software Development Volume 238 ||Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes · 2016
[Lecture Notes in Business Information Processing] Software Quality: Methods and Tools for Better Software and Systems Volume 302 ||Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes · 2018
[Lecture Notes in Business Information Processing] Software Quality. Software and Systems Quality in Distributed and Mobile Environments Volume 200 ||Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes · 2015
[Lecture Notes in Business Information Processing] Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies Volume 269 ||Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes · 2017
[Lecture Notes in Business Information Processing] Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering Volume 166 ||Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes · 2014
[Lecture Notes in Business Information Processing] Software Quality. The Future of Systems- and Software Development Volume 238 || Web Service Test EvolutionWinkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes · 2016
[Lecture Notes in Business Information Processing] Software Quality. Increasing Value in Software and Systems Development Volume 133 || Hazard Analysis for Technical SystemsWinkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes · 2013