@inproceedings{ahmadi2011lifted,
  added-at = {2012-01-11T13:01:15.000+0100},
  author = {Ahmadi, Babak and Mladenov, Martin and Kersting, Kristian and Sanner, Scott},
  biburl = {http://www.bibsonomy.org/bibtex/2353bcdd1e09d48cc89bc265f0ea92eee/lwa_2011},
  booktitle = {Working Notes of the LWA 2011 - Learning, Knowledge, Adaptation},
  interhash = {2f1d5cb962cedd330188767aae587326},
  intrahash = {353bcdd1e09d48cc89bc265f0ea92eee},
  keywords = {2011 LWA LWA_2011 filter kalman lifted linear pagerank program solving towards},
  timestamp = {2012-01-11T13:01:15.000+0100},
  title = {On Lifted PageRank, Kalman Filter and Towards Lifted Linear Program Solving},
  year = 2011
}

@inproceedings{keim2011solving,
  added-at = {2012-01-11T13:01:15.000+0100},
  author = {Keim, Daniel},
  biburl = {http://www.bibsonomy.org/bibtex/23bb460409ac5a54b00cf43ddbd7ecd5c/lwa_2011},
  booktitle = {Working Notes of the LWA 2011 - Learning, Knowledge, Adaptation},
  interhash = {78ef56e51334a7a8a483d67a339bc41c},
  intrahash = {3bb460409ac5a54b00cf43ddbd7ecd5c},
  keywords = {2011 LWA LWA_2011 analytics applications challenges problems solving visual},
  timestamp = {2012-01-11T13:01:15.000+0100},
  title = {Solving Problems with Visual Analytics: Challenges and Applications},
  year = 2011
}

@article{Duran-Novoa2011437,
  abbrev_source_title = {Comput Ind},
  abstract = {The ability to solve inventive problems is at the core of the innovation process; however, the standard procedure to deal with them is to utilize random trial and error, despite the existence of several theories and methods. TRIZ and evolutionary algorithms (EA) have shown results that support the idea that inventiveness can be understood and developed systematically. This article presents a strategy based on dialectical negation in which both approaches converge, creating a new conceptual framework for enhancing computer-aided problem solving. Two basic ideas presented are the inversion of the traditional EA selection ("survival of the fittest"), and the incorporation of new dialectical negation operators in evolutionary algorithms based on TRIZ principles. Two case studies are the starting point to discuss what kind of results can be expected using this "Dialectical Negation Algorithm" (DNA). Β© 2010 Elsevier B.V. All rights reserved.},
  added-at = {2011-12-22T11:51:38.000+0100},
  affiliation = {Instituto TecnolΓ³gico de Monterrey, Sur Col. TecnolΓ³gico, Ave. Eugenio Garza Sada 2501, C.P. 64849, Monterrey, Nuevo LeΓ³n, Mexico},
  author = {D., Duran-Novoa R. Leon-Rovira N. Aguayo-Tellez H. Said},
  author_keywords = {Design;  Dialectics;  Evolutionary algorithms;  Invention;  TRIZ},
  biburl = {http://www.bibsonomy.org/bibtex/241d013af4ea6644fcf2ddcdcc4f60690/georges_p},
  coden = {CINUD},
  correspondence_address = {Duran-Novoa, R.; Instituto TecnolΓ³gico de Monterrey, Sur Col. TecnolΓ³gico, Ave. Eugenio Garza Sada 2501, C.P. 64849, Monterrey, Nuevo LeΓ³n, Mexico; email: robertodn@gmail.com},
  document_type = {Article},
  doi = {10.1016/j.compind.2010.12.006},
  interhash = {04c87c6c017cc6ad8d29c3df8dc62e2c},
  intrahash = {41d013af4ea6644fcf2ddcdcc4f60690},
  issn = {01663615},
  journal = {Computers in Industry},
  keywords = {Basic Computer Conceptual Dialectics; Evolutionary Innovation Invention; Inventive Mathematical Patents Problem Standard TRIZ TRIZ; Trial aided algorithms; analysis; and error; frameworks; idea; inventions, operators; principles, problems; procedures; process; solving},
  language = {English},
  note = {cited By (since 1996) 0},
  number = 4,
  pages = {437-445},
  references = {Altshuller, G., (1999) The Innovation Algorithm: TRIZ, Systematic Innovation and Technical Creativity, , Technical Innovation Ctr; Polya, G., (1988) How to Solve It: A New Aspect of Mathematical Method, , Princeton University Press; Lewis, J., Engels, F., Marx, K., (1932) IntroducciΓ³n Al Estudio de la FilosofΓ­a y Del Materialismo DialΓ©ctico (VersiΓ³n de M.Ortuzar), , Ediciones Frente Cultural MΓ©xico, D.F; Engels, F., Dutt, C., Haldane, J.B., (1964) Dialectics of Nature, , Progress Publishers; Pahl, G., Beitz, W., Wallace, K., Blessing, L., Bauert, F., (1996) Engineering Design: A Systematic Approach, , Springer Verlag; Novak, J.D., CaΓ±as, A.J., (2008) The Theory Underlying Concept Maps and How to Construct and Use Them, , http://www.cmap.ihmc.us/Publications/ResearchPapers/TheoryCmaps/ TheoryUnderlyingConceptMaps.htm, Florida Institute for Human and Machine Cognition Pensacola FL; Hatchuel, A., Weil, B., A new approach of innovative design: An introduction to CK theory (2003) Proceedings International Conference on Engineering Design; Gero, J.S., Creativity, emergence and evolution in design (1996) Knowledge-Based Systems, 9 (7), pp. 435-448. , DOI 10.1016/S0950-7051(96)01054-4, PII S0950705196010544; Williams, S., Unnatural selection (2005) Technology Review, 108 (FEBRUARY), p. 54; Leon-Rovira, N., (2008) The Future of Computer Aided Innovation, , Springer-Verlag New York Inc; Koza, J., Akeane, M., Jstreeter, M., Padams, T., Wjones, L., Invention and creativity in automated design by means of genetic programming (2004) Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AI EDAM, 18 (AUGUST), p. 245; Koza, J.R., Keane, M.A., Streeter, M.J., Mydlowec, W., Yu, J., Lanza, G., (2005) Genetic Programming IV: Routine Human-Competitive Machine Intelligence, , Springer; Otto, K.N., Wood, K.L., (2001) Product Design: Techniques in Reverse Engineering and New Product Development, , Prentice Hall; Altshuller, G., (1984) Creativity As An Exact Science, , Gordon and Breach Science Publishers; Goldberg, D.E., (1989) Genetic Algorithms in Search, Optimization and Machine Learning, , Addison-Wesley Professional; Coello, C.A., An updated survey of GA-based multiobjective optimization techniques (2000) ACM Computing Surveys (CSUR), 32, pp. 109-143; Khomenko, N., Mansour, A., Classical TRIZ and OTSM as a scientific theoretical background for nontypical problem solving instruments (2007) Proceedings of the TRIZ-future Conference, Germany, pp. 73-80. , Kassel University Press; Altshuller, G., Shulyak, L., (1998) 40 Principles: TRIZ Keys to Technical Innovation Translated by Lev Shulyak, , Technical Innovation Center Worcester, MA; Malmqvist, J., Axelsson, R., Johansson, M., A comparative analysis of the theory of inventive problem solving and the systematic approach of pahl and beitz (1996) The 1996 ASME Design Engineering Technical Conferences and Computers in Engineering Conference, , Irvine, CA; Goldberg, D.E., (2002) The Design of Innovation: Lessons from and for Competent Genetic Algorithms, , Springer; Duran-Novoa, R., Leon-Rovira, N., Uresti, E., A dialectical approach to solve inventive problems using genetic algorithms and TRIZ: Searching for a computer aided innovation shell (2009) Proceedings of the 17th International Conference on Engineering Design (ICED'09), pp. 415-426. , Stanford University, Stanford, CA, USA: The Design Society; Yildiz, A.R., A new design optimization framework based on immune algorithm and Taguchi's method (2009) Computers in Industry, 60, pp. 613-620; Ball, P., Life's lessons in design (2001) Nature, 409 (JANUARY), p. 413; Platt, J.R., Strong inference (1964) Science, 146, pp. 347-353; Infinite Monkey Theorem, , http://www.en.wikipedia.org/wiki/Infinite_monkey_theorem; Deb, K., Srinivasan, A., Innovization: Innovating design principles through optimization (2006) Proceedings of the 8th Annual Conference on Genetic and Evolutionary Computation, p. 1636; Deb, K., Pratap, A., Agarwal, S., Meyarivan, T., A fast and elitist multiobjective genetic algorithm: NSGA-II (2002) IEEE Transactions on Evolutionary Computation, 6 (2), pp. 182-197. , DOI 10.1109/4235.996017, PII S1089778X02041012; Valenzuela-Rendon, M., The virtual gene genetic algorithm (2003) Lecture Notes in Computer Science, pp. 1457-1468; Albers, A., Leon-Rovira, N., Aguayo, H., Maier, T., Development of an engine crankshaft in a framework of computer-aided innovation (2009) Computers in Industry, 60, pp. 604-612; Eder, W.E., Design engineering and needs for methodology (2009) Proceedings of the 17th International Conference on Engineering Design (ICED'09), pp. 1-12. , Stanford University, Stanford, CA, USA: The Design Society; Poli, R., Langdon, W.B., McPhee, N.F., (2008) A Field Guide to Genetic Programming, , Lulu Enterprises UK Ltd},
  source = {Scopus},
  timestamp = {2011-12-22T11:51:38.000+0100},
  title = {Inventive problem solving based on dialectical negation, using evolutionary algorithms and TRIZ heuristics},
  url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-79953703982&partnerID=40&md5=36c9cf84a19ca9c4209723ea06d9adc8},
  volume = 62,
  year = 2011
}

@article{Yan2011445,
  abbrev_source_title = {Lect. Notes Comput. Sci.},
  abstract = {The formalization of the inventive design process has become an important problem to be solved. Formalizing the inventive design process based on ontologies is a good approach, and using the matching approaches available to solve the specific matching problems in inventive design ontologies is worth to be examined. In fact, there are different knowledge sources used for solving inventive design problems. These sources are about similar notions, but the level of detail of their description is very different. We are interested in the formalisation of these knowledge sources (for the moment described in natural language) and to make the whole body complete and coherent. It is needed, therefore, to make the links among them explicit. It is a typical problem of ontology matching. This article presents a survey of the possible ontology matching approaches for the specific characteristics of this problem. Β© 2011 Springer-Verlag.},
  added-at = {2011-12-22T11:51:38.000+0100},
  address = {Kaiserslautern},
  affiliation = {LGECO/INSA Strasbourg, 24 Boulevard de la Victoire, 67084 Strasbourg Cedex, France; LSIIT/FDBT Team (UMR CNRS 7005) - PΓ΄le API, BP 10413, 67412 Illkirch Cedex, France},
  author = {F.b, Yan W.a Zanni-Merk C.b Rousselot},
  author_keywords = {inventive design;  ontology matching;  TRIZ},
  biburl = {http://www.bibsonomy.org/bibtex/20fb9eaffae73aedcd98193fca6c7d9ae/georges_p},
  correspondence_address = {Yan, W.; LGECO/INSA Strasbourg, 24 Boulevard de la Victoire, 67084 Strasbourg Cedex, France; email: wei.yan@insa-strasbourg.fr},
  document_type = {Conference Paper},
  doi = {10.1007/978-3-642-23866-6_47},
  interhash = {a6cdd839b85ebb9b2426d639209d1252},
  intrahash = {0fb9eaffae73aedcd98193fca6c7d9ae},
  isbn = {9783642238659},
  issn = {03029743},
  journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  keywords = {Abstraction Design Design; Formalisation; Knowledge Level Matching Natural Ontology, Problem TRIZ; Whole based body, detail; languages; level; matching; of ontology problems; process; solving sources; systems;},
  language = {English},
  note = {cited By (since 1996) 0; Conference of 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2011; Conference Date: 12 September 2011 through 14 September 2011; Conference Code: 86591},
  number = {PART 4},
  pages = {445-454},
  references = {Altshuller, G.S., (1973) The Innovation Algorithm; TRIZ, Systematic Innovation and Technical Creativity; Altshuller, G.S., (1984) Creativity As An Exact Science, , Gordon and Breach Scientific Publishers, New York; Zanni-Merk, C., Cavallucci, D., Rousselot, F., An Ontological Basis for Computer Aided Innovation (2009) J. Computers in Industry, 60, pp. 563-574; Zanni-Merk, C., Cavallucci, D., Rousselot, F., Use of Formal Ontologies as a Foundation for Inventive Design Studies (2010) J. Computers in Industry, 62 (3), pp. 323-336; Kalfoglou, Y., Schorlemmer, M., Ontology Mapping: The State of the Art (2003) J. KER, 18, pp. 1-31; Rahm, E., Bernstein, P., A Survey of Approaches to Automatic Schema Matching (2001) The International Journal on Very Large Data Bases (VLDB), 10, pp. 334-350; Wache, H., Voegele, T., Visser, U., Stuckenschmidt, H., Schuster, G., Neumann, H., Huebner, S., Ontology-based Integration of Information - A Survey of Existing Approaches (2001) Proceeding of the Workshop on Ontologies and Information Sharing at the International Joint Conference on Artificial Intelligence (IJCAI), pp. 108-117; Bonjour, E., Renaud, J., Pilotage des Systeme de Connaissances de Competences: Comment Definir les Concepts Principaux Proceedings of Colloque Interrnational de GΓ©nie Industriel, CIGI (2005); Cavalluci, D., Eltzer, T., Parameters network as a means for driving problem solving process (2007) International Journal of Computer Applications in Technology, 30 (1-2), pp. 125-136; Cong, H., Tong, L.H., Similarities between TRIZ Principles (2005) TRIZ Jounal; Lu, S.J., Zhen, Z., (2007) Study on Fundamental Theoretical Framework of Ontology Matching. New Technology of Library and Information Service; Shvaiko, P., Euzenat, J., A Survey of Schema-based Matching Approaches (2005) Journal on Data Semantics, pp. 146-171; Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., Schneider, L., The WonderWeb Library of Foundational ontologies and the DOLCE ontology (2003) WonderWeb Deliverable; Rousselot, F., Zanni-Merk, C., Cavallucci, D., Une Ontologie pour l'Acquisition et Exploitation des Connaissances en Conception Inventive (2010) Revue des Nouvelles Technologies de l'Information, 19, pp. 717-738; Madhavan, J., Bernstein, P., Rahm, E., Generic Schema Matching with Cupid (2001) Proceedings of the Very Large Data Bases Conference (VLDB), pp. 49-58; Wu, Z.B., Palmer, M., Verb Semantics and Lexical Selection (1994) Proceeding of the 32nd Annual Meeting of the Associations for Computational Linguistics, pp. 133-138; Bouquet, P., Serafini, L., Zanobini, S., Semantic coordination: A new approach and an application (2003) LNCS, 2870, pp. 130-145. , Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. Springer, Heidelberg; Embley, D.W., Jackman, D., Xu, L., Multifaceted Exploitation of Metadata for Attribute Match Discovery in Information Integration (2001) Proc. Int. Workshop on Information Integration on the Web, pp. 110-117},
  source = {Scopus},
  sponsors = {Univ. Kaiserslautern, Cent. Comput. Math. Model. (CM)2; German Research Center for Artificial Intelligence (DFKI) GmbH; Univ. Kaiserslautern, Inst. Integr. Sens. Syst.},
  timestamp = {2011-12-22T11:51:38.000+0100},
  title = {Matching of different abstraction level knowledge sources: The case of inventive design},
  url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-80053139382&partnerID=40&md5=acf2e533b97398e0885ded10757e5dba},
  volume = {6884 LNAI},
  year = 2011
}

@article{Runhua2011414,
  abbrev_source_title = {Comput Ind},
  abstract = {Ill-structured problems are difficult types to solve. When this type of problem is faced in an innovation pipeline, a technical obstacle emerges. Comparison between the definitions of ill-structured and inventive problems in theory of inventive problem solving (TRIZ) shows that the latter is a sub-set of the former in engineering. As a result, computer-aided innovation (CAI) systems (CAIs) based on TRIZ can be applied to solve some ill-structured problems that appear in an innovation pipeline. A model including two technical obstacles is developed for an innovation pipeline, and a case study is carried out to show how to eliminate the technical obstacles using the model. Β© 2010 Elsevier B.V. All rights reserved.},
  added-at = {2011-12-20T14:36:06.000+0100},
  affiliation = {Institute of Design for Innovation, Hebei University of Technology, Tianjin 300130, China},
  author = {Runhua, T.},
  author_keywords = {Ill-structured problems;  Innovation pipeline;  Inventive problems;  Technical obstacles},
  biburl = {http://www.bibsonomy.org/bibtex/23f7d98c2e51f544ed27154ab70df6b46/georges_p},
  coden = {CINUD},
  correspondence_address = {Runhua, T.; Institute of Design for Innovation, Hebei University of Technology, Tianjin 300130, China; email: rhtan@hebut.edu.cn},
  document_type = {Article},
  doi = {10.1016/j.compind.2010.12.004},
  interhash = {42de6f34438b22f417c00993090041b5},
  intrahash = {3f7d98c2e51f544ed27154ab70df6b46},
  issn = {01663615},
  journal = {Computers in Industry},
  keywords = {Inventive Pipelines, Problem Structured Technical Theory inventive obstacles; of problem problems; solving solving,},
  language = {English},
  note = {cited By (since 1996) 0},
  number = 4,
  pages = {414-422},
  references = {Cooper, J., Greenberg, D., Zuk, J., (2002) Reshaping the Funnel: Making Innovation More Profitable for High-tech Manufacturers, , IBM Institute for Business Value; Jost, A., Lorenz, T., Mischke, G., Modeling the innovation-pipeline (2005) Proceedings of the 23rd International Conference of the System Dynamics Society, , Boston; Henderson, A., The innovation pipeline-design collaborations between research and development (2005) Interactions, 12, pp. 24-29; Sahin, K.E., Restart the innovation pipeline (2003) R&D Magazine, pp. 8-9; McMahan, C., Hovland, R., McMillan, S., How to Measure Innovation (2009) Marketing NPV Journal, 6, pp. 3-12; Varma, V.A., Pekny, J.F., Blau, G.E., Reklaitis, G.V., A framework for addressing stochastic and combinatorial aspects of scheduling and resource allocation in pharmaceutical R&D pipelines (2008) Computers and Chemical Engineering, 32 (4-5), pp. 1000-1015. , DOI 10.1016/j.compchemeng.2007.05.006, PII S0098135407001330; Cormican, K., O'Sullivan, D., Auditing best practice for effective product innovation management (2004) Technovation, 24, pp. 819-829; Cooper, R.G., From experience: The invisible success factors in product innovation (1999) Journal of Product Innovation Management, 16, pp. 115-133; Liberatone, M.J., Stylianou, A.C., Expert support systems for new product development decision making: A modeling framework and applications (1995) Management Science, 41, pp. 1296-1316; Evans, J.R., (1991) Creative Thinking in the Decision and Management Sciences, , South-Western Publishing Cincinnati, OH; Simon, H.A., (1960) The New Science of Management, , Harper & Row New York, NY; Rittle, H.W.J., Webber, M.M., Dilemmas in a general theory of planning (1973) Policy Sciences, 4, pp. 155-169; Issel, S., Uttormsen, G., Cha, S.R., The influence of the user interface on solving well- and ill-defined problems (1996) International Journal of Human-Computer Studies, 44, pp. 1-18; Lynch, C., Ashley, K.D., Pinkwart, N., Aleven, V., Concepts structures goals: Redefining ill-definedness (2009) International Journal of Artificial Intelligence in Education, 19 (3), pp. 253-266; Lynch, C., Ashley, K.D., Aleven, V., Pinkwart, N., Defining ill-defined domains; A literature survey (2006) Proceedings of the First International Workshop on Intelligent Tutoring Systems for Ill-Defined Domains, , V. Aleven, K.D. Ashley, C. Lynch, N. Pinkwart (Eds.) Taiwan; Coyne, R., Wicked problems revisited (2005) Design Studies, 26, pp. 5-17; Ellspermann, S.J., Evans, G., Basadur, M., The impact of training on the formulation of ill-structured problems (2007) Omega, 35, pp. 221-223; Voss, J.F., Toulmin's model and the solving of ill-structured problems (2006) Arguing on the Toulmin Model: New Essays in Argument Analysis and Evaluation, pp. 303-311; Hamel, G., The why? what and how of management innovation (2006) Harvard Business Review, pp. 72-84; Brem, A., Voigt, K.I., Integration of market pull and technology push in the corporate front end and innovation management - Insights from the German software industry (2009) Technovation, 29, pp. 351-367; Lipson, H., Shpitalni, M., Conceptual design and analysis by sketching (2000) Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 14 (5), pp. 391-401. , DOI 10.1017/S0890060400145044; Pahl, G., Beitz, W., (1996) Engineering Design - A Systematic Approach, , 2nd ed. Springer London; Tan, R.H., Ma, J.H., Liu, F., Wei, Z.H., UXDs-driven conceptual design process model for contradiction solving using CAIs (2009) Computers in Industry, 60, pp. 584-591; Cao, G.Z., Guo, H.X., Tan, R.H., E-CAFD: Extended-effect driven computer-aided functional design (2008) ASME 2008 Design Engineering Technical Conferences and Computers and Information in Engineering Conference (DETC2008-49382), , New York; Hlsson, O., The interaction between knowledge and practice in the acquisition of cognitive skills (1993) Foundations of Knowledge Acquisition. Cognitive Models of Complex Learning, pp. 147-208; Stein, B., (1995) Functional Models in Configuration Systems Thesis, , University of Paderborn Germany; Tomiyama, T., Gu, P., Jin, Y., Lutters, D., Kind, C., Kimura, F., Design methodologies: Industrial and educational applications (2009) CIRP Annals - Manufacturing Technology, 58, pp. 543-565; Savransky, S.D., Attributes of the inventive problems (1999) AAAI Spring Symposium on Search Techniques for Problem Solving under Uncertainty and Incomplete Information, , Stanford University; Karni, R., Shalev, S., Fostering Innovation in Conceptual Product Design through Ideation (2004) Information, Knowledge, Systems Management, 4 (1), pp. 15-33; Smith, G.F., Idea generation techniques: A formulary of active ingredients (1998) Journal of Creative Behavior, 32, pp. 107-133; Cavallucci, D., Nikolai, K., From TRIZ to OTSM-TRIZ: Addressing complexity challenges in inventive design (2007) International Journal of Product Development, 4, pp. 4-21; Benami, O., Jin, Y., Creative stimulation in conceptual design (2002) ASME 2002 Design Engineering Technical Conference (DETC2002/DTM-34023), 20, pp. 1-13. , Montreal, Canada; Noel, L., The future of computer-aided innovation (2009) Computers in Industry, 60, pp. 539-550; Husig, S., Kohn, S., Computer aided innovation - State of the art from a new product development perspective (2009) Computers in Industry, 60, pp. 551-562; Cavallucci, D., Integrating Altshuller's development laws for technical systems into the design process (2009) CIRP Annals - Manufacturing Technology, 58, pp. 543-565; Fry, V., Rivin, E., (2005) Innovation on Demand, , Cambridge University Press New York; Mann, D., (2007) Hands on Systematic Innovation, , IFR Press Clevedon; Savransky, S.D., (2000) Engineering of Creativity, , CRC Press New York; Tan, R.H., Ma, L.H., Yang, B.J., Systematic method to generate new ideas in fuzzy front end using TRIZ (2008) Chinese Journal of Mechanical Engineering, 21, pp. 114-119; Tan, R.H., Process of two stages analogy-based design employing TRIZ (2007) International Journal of Product Development, 4, pp. 122-135},
  source = {Scopus},
  timestamp = {2011-12-20T14:36:06.000+0100},
  title = {Eliminating technical obstacles in innovation pipelines using CAIs},
  url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-79953728434&partnerID=40&md5=b0cd8be6aa3b308e2c97d8fd42992982},
  volume = 62,
  year = 2011
}

@article{springerlink:10.1023/A:1010660502130,
  abstract = {Children with autism have difficulty in solving social problems and in generating multiple solutions to problems. They are, however, relatively skilled in responding to visual cues such as pictures and animations. Eight distinct social problems were presented on a computer, along with a choice of possible solutions, and an option to produce alternative solutions. Eight preschool children with autism and eight matched normal children went through 10 training sessions interleaved with 6 probe sessions. Children were asked to provide solutions to animated problem scenes in all the sessions. Unlike the probe sessions, in the training sessions problem solutions were first explained thoroughly by the trainer. Subsequently these explanations were illustrated using dynamic animations of the solutions. Although children with autism produced significantly fewer alternative solutions compared to their normal peers, a steady increase across probe sessions was observed for the autistic group. The frequency of new ideas was directly predicted by the diagnostic category of autism. Results suggest young children with autism and their normal peers can be taught problem-solving strategies with the aid of computer interfaces. More research is required to establish whether such computer-assisted instruction will generalize to nontrained problem situations in real-life contexts.},
  added-at = {2011-10-25T18:10:28.000+0200},
  author = {Bernard-Opitz, Vera and Sriram, N. and Nakhoda-Sapuan, Sharul},
  biburl = {http://www.bibsonomy.org/bibtex/2bd7f613219d32091b0fe5a5507f12722/enricostano},
  interhash = {d82a959eee2bb8999ffa83db4465658c},
  intrahash = {bd7f613219d32091b0fe5a5507f12722},
  issn = {0162-3257},
  issue = {4},
  journal = {Journal of Autism and Developmental Disorders},
  keyword = {Behavioral Science},
  keywords = {autism children enhancing problem social solving},
  note = {10.1023/A:1010660502130},
  pages = {377-384},
  publisher = {Springer Netherlands},
  timestamp = {2011-10-25T18:10:28.000+0200},
  title = {Enhancing Social Problem Solving in Children with Autism and Normal Children Through Computer-Assisted Instruction},
  url = {http://dx.doi.org/10.1023/A:1010660502130},
  volume = 31,
  year = 2001
}

@inproceedings{DBLP:conf/ppsn/Joan-ArinyoLS02,
  added-at = {2010-11-12T10:45:16.000+0100},
  author = {Joan-Arinyo, Robert and Luzón, M. V. and Soto-Riera, Antoni},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  biburl = {http://www.bibsonomy.org/bibtex/26d4b047fbf6ddf90b97db77a0115ac75/toni},
  booktitle = {PPSN},
  crossref = {DBLP:conf/ppsn/2002},
  editor = {Guervós, Juan J. Merelo and Adamidis, Panagiotis and Beyer, Hans-Georg and Martín, José Luis Fernández-Villacañas and Schwefel, Hans-Paul},
  ee = {http://link.springer.de/link/service/series/0558/bibs/2439/24390759.htm},
  interhash = {225203d9d4c4d3f14edb82f9e6e76ff7},
  intrahash = {6d4b047fbf6ddf90b97db77a0115ac75},
  isbn = {3-540-44139-5},
  keywords = {constraint geometric myown pt root selection solving},
  pages = {759-768},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2010-11-12T10:45:16.000+0100},
  title = {Constructive Geometric Constraint Solving: A New Application
               of Genetic Algorithms},
  volume = 2439,
  year = 2002
}

@article{journals/jcise/Joan-ArinyoMS01,
  added-at = {2010-11-12T10:34:09.000+0100},
  author = {Joan-Arinyo, Robert and Mata, Nuria and Soto-Riera, Antoni},
  biburl = {http://www.bibsonomy.org/bibtex/28ce3aacf6847d584228d3bb98d78c3fc/toni},
  description = {dblp},
  ee = {http://ojps.aip.org/getabs/servlet/GetabsServlet?prog=normal&id=JCISB6000001000004000341000001&idtype=cvips&gifs=Yes},
  interhash = {5c65c117cd43aa40bc927388934e421f},
  intrahash = {8ce3aacf6847d584228d3bb98d78c3fc},
  journal = {J. Comput. Inf. Sci. Eng.},
  keywords = {2d arithmetic constraint geometric interval myown solving},
  number = 4,
  pages = {341-346},
  timestamp = {2010-11-12T10:34:09.000+0100},
  title = {A Constraint Solving-Based Approach to Analyze 2D Geometric Problems With Interval Parameters.},
  url = {http://dblp.uni-trier.de/db/journals/jcise/jcise1.html#Joan-ArinyoMS01},
  volume = 1,
  year = 2001
}

@inproceedings{1859087,
  added-at = {2010-09-26T11:46:55.000+0200},
  address = {New York, NY, USA},
  author = {Trezentos, Paulo and Lynce, In\^{e}s and Oliveira, Arlindo L.},
  biburl = {http://www.bibsonomy.org/bibtex/2c195a51e1a952be1f7abbf38d75f6e2a/paulotrezentos},
  booktitle = {ASE '10: Proceedings of the IEEE/ACM international conference on Automated software engineering},
  doi = {http://doi.acm.org/10.1145/1858996.1859087},
  interhash = {12da2f7d6f0d0bc38f888632e41d5fb8},
  intrahash = {c195a51e1a952be1f7abbf38d75f6e2a},
  isbn = {978-1-4503-0116-9},
  keywords = {PBO dependency linux mancoosi solving},
  location = {Antwerp, Belgium},
  pages = {427--436},
  publisher = {ACM},
  timestamp = {2010-09-26T11:46:55.000+0200},
  title = {Apt-pbo: solving the software dependency problem using pseudo-boolean optimization},
  year = 2010
}

@book{marshall1995schemas,
  added-at = {2010-01-15T15:45:41.000+0100},
  author = {Marshall, Sandra P.},
  biburl = {http://www.bibsonomy.org/bibtex/2258eb88f201dca7a07a853f8cd256955/yish},
  interhash = {e235fbabf2ef95db2ae570ca31eddf57},
  intrahash = {258eb88f201dca7a07a853f8cd256955},
  keywords = {problem schank schemas solving},
  publisher = {Cambridge Univ Press},
  timestamp = {2010-01-15T15:45:41.000+0100},
  title = {Schemas in problem solving},
  url = {http://books.google.co.uk/books?id=T908rEXN7pcC},
  year = 1995
}

@phdthesis{meiden2008semantics,
  abstract = {In current Computer-Aided Design (CAD) systems for mechanical and industrial design, a model is built from parametric features. Such a parametric model can be interpreted as representing a family of objects, where the members of the family are all possible objects that can be obtained by varying the parameters. A model of a family of objects is useful for manufacturing series of products, for customisation of products, and for reuse of part models. However, there are several major obstacles when using current CAD systems for modelling families.

Firstly, the semantics of features and families cannot be adequately specified in and maintained by current CAD systems. As a result, a modelled family may contain undesirable members or may not contain all desirable members. Therefore, we present a new Declarative Family of Objects Model, in which semantics are specified by geometric and topological constraints. Members of the model are determined by solving the those constraints, for which we have developed new methods.

Secondly, current CAD systems do not provide sufficient tools for creating and using families of objects. We present a method to determine the range of allowable values for any parameter of a model, which can help users with instantiating family members. We also present a method to determine the critical parameter values for which topological changes occur in the model. These critical values can help users inspect the semantics of families.},
  added-at = {2009-11-27T11:23:14.000+0100},
  author = {der Meiden, H.A. Van},
  biburl = {http://www.bibsonomy.org/bibtex/2d457e9827b32afdc126e77bcfd9c05a6/toni},
  interhash = {5d695c567f0d61df3f08b4f466a8325d},
  intrahash = {d457e9827b32afdc126e77bcfd9c05a6},
  keywords = {constraint geometric solving},
  school = {Delft University of Technology},
  timestamp = {2009-11-27T11:23:14.000+0100},
  title = {Semantics of families of objects},
  url = {http://resolver.tudelft.nl/uuid:bc1278ca-851f-45d7-9495-45e3f79c0214},
  year = 2008
}

@article{Shoham:2009p113,
  abstract = {Multiagent systems consist of multiple autonomous entities having different information and/or diverging interests. This comprehensive introduction to the field offers a computer science perspective, but also draws on ideas from game theory, economics, operations research, logic, philosophy and linguistics. It will serve as a reference for researchers in each of these fields, and be used as a text for advanced undergraduate and graduate courses. Emphasizing foundations, the authors offer a broad and rigorous treatment of their subject, with thorough presentations of distributed problem solving, non-cooperative game theory, multiagent communication and learning, social choice, mechanism design, auctions, coalitional game theory, and logical theories of knowledge, belief, and other aspects of rational agency. For each topic, basic concepts are introduced, examples are given, proofs of key results are offered, and algorithmic considerations are examined. An appendix covers background material in probability theory, classical logic, Markov decision processes, and mathematical programming.},
  added-at = {2009-11-23T13:25:47.000+0100},
  author = {Shoham, Yoav and Leyton-Brown, Kevin},
  biburl = {http://www.bibsonomy.org/bibtex/26c35f7536794672441badf325e752073/achimpassen},
  date-added = {2009-05-03 18:51:38 +0200},
  date-modified = {2009-05-03 18:51:38 +0200},
  interhash = {16fd1c64a5808e6bfa8a6e6d38f6530c},
  intrahash = {6c35f7536794672441badf325e752073},
  keywords = {algorithms, auctions, choice, communication, competition, cooperation, design, distributed game learning, logic, mechanism problem social solving theory,},
  local-url = {file://localhost/Users/achim/Documents/Papers/2009/Shoham/2009%20Multiagent%20Systems%20Algorithmic%20Game-Theoretic%20and.pdf},
  month = Feb,
  pages = {1--532},
  rating = {0},
  timestamp = {2009-11-23T13:25:47.000+0100},
  title = {Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations},
  uri = {papers://C3D2787C-59DE-4F5F-B604-503052CE153D/Paper/p113},
  year = 2009
}

@inproceedings{michelucci2009,
  abstract = {Classically, geometric constraint solvers use graph-based methods to analyze systems of geometric constraints. These methods have intrinsic limitations, which the witness method overcomes. This paper details the computation of a basis of the vector space of the free infinitesimal motions of a typical witness, and explains how to use this basis to interrogate the witness for detecting all dependencies between constraints: structural dependencies already detectable by graph-based methods, and also non-structural dependencies, due to known or unknown geometric theorems, which are undetectable with graph-based methods. The paper also discusses how to decide about the rigidity of a witness.},
  added-at = {2009-10-08T12:13:17.000+0200},
  address = {New York, NY, USA},
  author = {Michelucci, Dominique and Foufou, Sebti},
  biburl = {http://www.bibsonomy.org/bibtex/2eb97c96b80eab2ed79c5ed5990efc76f/toni},
  booktitle = {SPM '09: 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling},
  description = {SM: SPM '09, Interrogating witnesses for geometric ...},
  doi = {http://doi.acm.org/10.1145/1629255.1629301},
  interhash = {a8655526d1f9384b85df12db8f344d26},
  intrahash = {eb97c96b80eab2ed79c5ed5990efc76f},
  isbn = {978-1-60558-711-0},
  keywords = {constraint geometric interrogation solving},
  location = {San Francisco, California},
  pages = {343--348},
  publisher = {ACM},
  timestamp = {2009-10-08T12:13:17.000+0200},
  title = {Interrogating witnesses for geometric constraint solving},
  url = {http://portal.acm.org/citation.cfm?id=1629255.1629301&coll=portal&dl=ACM&type=series&idx=SERIES534&part=series&WantType=series&title=SPM%3A%20ACM%20Symposium%20on%20Solid%20and%20Physical%20Modeling&CFID=505755575&CFTOKEN=505755575},
  year = 2009
}

@inproceedings{Benanzera08,
  added-at = {2009-06-29T18:33:40.000+0200},
  address = {Blue Mountains, NSW, Australia},
  author = {Benazera, Emmanuel and Chanthery, Elodie},
  biburl = {http://www.bibsonomy.org/bibtex/2d5cd36ae34638a2fbd9df2a6f616a522/mandel},
  booktitle = {Procedings of the 19th International Workshop on Principles of Diagnosis (DX'08)},
  editor = {Grastien, Wolfgang Mayer Alban and Stumpter, Markus},
  interhash = {0fad80ca7326c89c692f16b023714571},
  intrahash = {d5cd36ae34638a2fbd9df2a6f616a522},
  keywords = {control dx'08 monitoring pompds solving},
  month = {September},
  pages = {15-22},
  timestamp = {2009-06-29T18:33:40.000+0200},
  title = {The Challenge of Solving POMPDs for Control, Monitoring and Repair of Complex Systems},
  url = {http://www.cis.unisa.edu.au/~dx08/},
  year = 2008
}

@article{NealHeskethAndrews95,
  added-at = {2008-09-16T23:39:07.000+0200},
  author = {Neal, A. and Hesketh, B. and Andrews, S.},
  biburl = {http://www.bibsonomy.org/bibtex/29b7452915df51c8637704406f08d7e3e/brian.mingus},
  description = {CCNLab BibTeX},
  institution = {University of New South Wales, Sydney, Australia.},
  interhash = {cf4d942be1eecbbd5eba022f6fa03630},
  intrahash = {9b7452915df51c8637704406f08d7e3e},
  journal = {Mem Cognit},
  keywords = {(Psychology); Adult; Attention; Concept Decision Female; Formation; Generalization Humans; Making; Male; Mental Practice Problem Recall; Solving Theory;},
  month = Mar,
  number = 2,
  owner = {bdoll},
  pages = {227--242},
  pmid = {7731367},
  timestamp = {2008-09-16T23:39:07.000+0200},
  title = {Instance-based categorization: automatic versus intentional forms
	of retrieval.},
  volume = 23,
  year = 1995
}

@incollection{Larkin89,
  added-at = {2008-09-16T23:39:07.000+0200},
  address = {Cambridge, MA},
  author = {Larkin, Jill H.},
  biburl = {http://www.bibsonomy.org/bibtex/28bd002fb1069e26a614d67a82bb4386a/brian.mingus},
  booktitle = {Complex Information Processing},
  chapter = 3,
  description = {CCNLab BibTeX},
  editor = {Klahr, David and Kotovsky, Kenneth},
  interhash = {a724fb0ae7751b5ec009e06205eb62d8},
  intrahash = {8bd002fb1069e26a614d67a82bb4386a},
  keywords = {cogn, problem solving},
  pages = {69-108},
  publisher = {Lawrence Erlbaum Associates},
  timestamp = {2008-09-16T23:39:07.000+0200},
  title = {Display Based Problem Solving},
  year = 1989
}

@article{KotovskyHayesSimon85,
  added-at = {2008-09-16T23:39:07.000+0200},
  author = {Kotovsky, K. and Hayes, J. R. and Simon, H. A.},
  biburl = {http://www.bibsonomy.org/bibtex/22ce291271ccef91d0a2af6fc914b06a3/brian.mingus},
  description = {CCNLab BibTeX},
  interhash = {f7d54e87c28bab7500e70fe6a9f382d8},
  intrahash = {2ce291271ccef91d0a2af6fc914b06a3},
  journal = {Cognitive Psychology},
  keywords = {cogn, problem solving},
  pages = {248-294},
  timestamp = {2008-09-16T23:39:07.000+0200},
  title = {Why are some problems hard? Evidence from Tower of Hanoi.},
  volume = 17,
  year = 1985
}

@incollection{KotovskyFallside89,
  added-at = {2008-09-16T23:39:07.000+0200},
  address = {Cambridge, MA},
  author = {Kotovsky, Kenneth and Fallside, David},
  biburl = {http://www.bibsonomy.org/bibtex/2562e309a4c7f02b704f37eb2a8ab1406/brian.mingus},
  booktitle = {Complex Information Processing},
  chapter = 3,
  description = {CCNLab BibTeX},
  editor = {Klahr, David and Kotovsky, Kenneth},
  interhash = {5007c96e5caeb54c5c66b8ee0cb77423},
  intrahash = {562e309a4c7f02b704f37eb2a8ab1406},
  keywords = {analogy, cogn, problem solving},
  pages = {69-108},
  publisher = {Lawrence Erlbaum Associates},
  timestamp = {2008-09-16T23:39:07.000+0200},
  title = {Representation and Transfer in Problem Solving},
  year = 1989
}

@article{Karat82,
  added-at = {2008-09-16T23:39:07.000+0200},
  author = {Karat, John},
  biburl = {http://www.bibsonomy.org/bibtex/21abfc99da41b789f6120cf411d0f4756/brian.mingus},
  description = {CCNLab BibTeX},
  interhash = {c7812644b3d48498889598131e6a7eae},
  intrahash = {1abfc99da41b789f6120cf411d0f4756},
  journal = {Cognitive Psychology},
  keywords = {cogn, problem solving},
  pages = {538-559},
  timestamp = {2008-09-16T23:39:07.000+0200},
  title = {A model of problem solving with incomplete constraint knowledge.},
  volume = 14,
  year = 1982
}

@incollection{CardosoParks98,
  added-at = {2008-09-16T23:39:07.000+0200},
  address = {Cambridge, MA},
  author = {Cardoso and Parks, R. W.},
  biburl = {http://www.bibsonomy.org/bibtex/2e10e17c54a79a06dc2b9895fadd1a121/brian.mingus},
  booktitle = {Fundamentals of Neural Network Modeling},
  chapter = 9,
  description = {CCNLab BibTeX},
  editor = {Parks, R. W. and Levine, D. S. and Long, D. L.},
  interhash = {b2d5789f113f35729c8b721b0c40e4b9},
  intrahash = {e10e17c54a79a06dc2b9895fadd1a121},
  keywords = {nnets, pfc, problem solving},
  pages = {209-231},
  publisher = {MIT Press},
  timestamp = {2008-09-16T23:39:07.000+0200},
  title = {Neural Network Modeling of Executive Functioning with Tower of Hanoi
	Test in Frontal Lobe-Lesioned Patients},
  year = 1998
}