@inproceedings(Falkner10, author = "Andreas Falkner and Alois Haselb\"{o}ck", year = "2010", title = "{Challenges of Knowledge Evolution in Practice}", booktitle = "Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET 2010)", pages = "1--5", ) @article(Felfernig2004a, author = "Alexander Felfernig and Gerhard Friedrich and Dietmar Jannach and Markus Stumptner", year = "2004", title = "{Consistency-based diagnosis of configuration knowledge bases}", journal = "Artificial Intelligence", volume = "152", number = "2", pages = "213--234", doi = "10.1016/S0004-3702(03)00117-6", ) @misc(Gebser2010a, author = "Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Sven Thiele", year = "2010", title = "{A user's guide to gringo, clasp, clingo and iclingo}", url = "http://potassco.sourceforge.net/", ) @article(Leone2006, author = "Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter and Georg Gottlob and Simona Perri and Francesco Scarcello", year = "2006", title = "{The DLV system for knowledge representation and reasoning}", journal = "ACM Transactions on Computational Logic (TOCL)", volume = "7", number = "3", pages = "499--562", doi = "10.1145/1149114.1149117", ) @inproceedings(Manhart2005, author = "Peter Manhart", year = "2005", title = "{Reconfiguration - A problem in search of solutions}", editor = "Dietmar Jannach and Alexander Felfernig", booktitle = "IJCAI'05 Configuration Workshop", pages = "64--67", ) @inproceedings(Mannisto1999, author = "Tomi M\"{a}nnist\"{o} and Timo Soininen and Juha Tiihonen and Reijo Sulonen", year = "1999", title = "{Framework and conceptual model for reconfiguration}", editor = "Boi Faltings and Eugence C. Freuder and Gerhard Friedrich", booktitle = "AAAI'99 Workshop on Configuration", volume = "99", pages = "59--64", ) @article(Simons2002, author = "Patrik Simons and Ilkka Niemel\"{a} and Timo Soininen", year = "2002", title = "{Extending and implementing the stable model semantics}", journal = "Artificial Intelligence", volume = "138", number = "1-2", pages = "181--234", doi = "10.1016/S0004-3702(02)00187-X", ) @inproceedings(Soininen2001, author = "Timo Soininen and Ilkka Niemel\"{a} and Juha Tiihonen and Reijo Sulonen", year = "2001", title = "{Representing configuration knowledge with weight constraint rules}", booktitle = "1st International Workshop on Answer Set Programming: Towards Efficient and Scalable Knowledge", pages = "195--201", ) @inproceedings(Stumptner1998a, author = "Markus Stumptner and Franz Wotawa", year = "1998", title = "{Model-based reconfiguration}", editor = "John S. Gero and Fay Sudweeks", booktitle = "5th International Conference on Artificial Intelligence in Design", pages = "45--64", )