<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="http://www.bibsonomy.org/tag/solving"><title>BibSonomy publications for /tag/solving</title><link>BibSonomypublrss/tag/solving</link><description>BibSonomy RSS feed for /tag/solving</description><dc:date>2012-02-15T19:55:28+01:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2353bcdd1e09d48cc89bc265f0ea92eee/lwa_2011"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23bb460409ac5a54b00cf43ddbd7ecd5c/lwa_2011"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/241d013af4ea6644fcf2ddcdcc4f60690/georges_p"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/20fb9eaffae73aedcd98193fca6c7d9ae/georges_p"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23f7d98c2e51f544ed27154ab70df6b46/georges_p"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2bd7f613219d32091b0fe5a5507f12722/enricostano"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26d4b047fbf6ddf90b97db77a0115ac75/toni"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28ce3aacf6847d584228d3bb98d78c3fc/toni"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2c195a51e1a952be1f7abbf38d75f6e2a/paulotrezentos"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2258eb88f201dca7a07a853f8cd256955/yish"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2d457e9827b32afdc126e77bcfd9c05a6/toni"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26c35f7536794672441badf325e752073/achimpassen"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2eb97c96b80eab2ed79c5ed5990efc76f/toni"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2d5cd36ae34638a2fbd9df2a6f616a522/mandel"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/29b7452915df51c8637704406f08d7e3e/brian.mingus"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28bd002fb1069e26a614d67a82bb4386a/brian.mingus"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/22ce291271ccef91d0a2af6fc914b06a3/brian.mingus"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2562e309a4c7f02b704f37eb2a8ab1406/brian.mingus"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/21abfc99da41b789f6120cf411d0f4756/brian.mingus"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2e10e17c54a79a06dc2b9895fadd1a121/brian.mingus"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/2353bcdd1e09d48cc89bc265f0ea92eee/lwa_2011"><title>On Lifted PageRank, Kalman Filter and Towards Lifted Linear Program Solving</title><link>http://www.bibsonomy.org/bibtex/2353bcdd1e09d48cc89bc265f0ea92eee/lwa_2011</link><dc:creator>lwa_2011</dc:creator><dc:date>2012-01-11T13:01:15+01:00</dc:date><dc:subject>2011 LWA LWA_2011 filter kalman lifted linear pagerank program solving towards </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Ahmadi&#034;&gt;Babak Ahmadi&lt;/a&gt;, &lt;a href=&#034;/author/Mladenov&#034;&gt;Martin Mladenov&lt;/a&gt;, &lt;a href=&#034;/author/Kersting&#034;&gt;Kristian Kersting&lt;/a&gt;,  and &lt;a href=&#034;/author/Sanner&#034;&gt;Scott Sanner&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Working Notes of the LWA 2011 - Learning, Knowledge, Adaptation, &lt;/em&gt;(&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/2011"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/LWA"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/LWA_2011"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/filter"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/kalman"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/lifted"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/linear"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pagerank"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/program"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/towards"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/23bb460409ac5a54b00cf43ddbd7ecd5c/lwa_2011"><title>Solving Problems with Visual Analytics: Challenges and Applications</title><link>http://www.bibsonomy.org/bibtex/23bb460409ac5a54b00cf43ddbd7ecd5c/lwa_2011</link><dc:creator>lwa_2011</dc:creator><dc:date>2012-01-11T13:01:15+01:00</dc:date><dc:subject>2011 LWA LWA_2011 analytics applications challenges problems solving visual </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Keim&#034;&gt;Daniel Keim&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Working Notes of the LWA 2011 - Learning, Knowledge, Adaptation, &lt;/em&gt;(&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/2011"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/LWA"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/LWA_2011"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/analytics"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/applications"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/challenges"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problems"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/visual"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/241d013af4ea6644fcf2ddcdcc4f60690/georges_p"><title>Inventive problem solving based on dialectical negation, using evolutionary algorithms and TRIZ heuristics</title><link>http://www.bibsonomy.org/bibtex/241d013af4ea6644fcf2ddcdcc4f60690/georges_p</link><dc:creator>georges_p</dc:creator><dc:date>2011-12-22T11:51:38+01:00</dc:date><dc:subject>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 </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/D.&#034;&gt;Duran-Novoa R. Leon-Rovira N. Aguayo-Tellez H. Said D.&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Computers in Industry&lt;/em&gt; &lt;em&gt;62(4):437-445&lt;/em&gt; (&lt;em&gt;2011&lt;/em&gt;)&lt;em&gt;cited By since 1996 0
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Basic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Computer"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Conceptual"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Dialectics;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Evolutionary"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Innovation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Invention;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Inventive"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Mathematical"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Patents"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Standard"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/TRIZ"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/TRIZ;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Trial"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/aided"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/algorithms;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/analysis;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/and"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/error;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/frameworks;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/idea;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inventions,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/operators;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/principles,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problems;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/procedures;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/process;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/20fb9eaffae73aedcd98193fca6c7d9ae/georges_p"><title>Matching of different abstraction level knowledge sources: The case of inventive design</title><link>http://www.bibsonomy.org/bibtex/20fb9eaffae73aedcd98193fca6c7d9ae/georges_p</link><dc:creator>georges_p</dc:creator><dc:date>2011-12-22T11:51:38+01:00</dc:date><dc:subject>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; </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/F.b&#034;&gt;Yan W.a Zanni-Merk C.b Rousselot F.b&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Lecture Notes in Computer Science including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics&lt;/em&gt; &lt;em&gt;6884 LNAI(PART 4):445-454&lt;/em&gt; (&lt;em&gt;2011&lt;/em&gt;)&lt;em&gt;cited By since 1996 0; Conference of 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2011; Confer&lt;span class=&#034;info&#034;&gt;...&lt;div&gt;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&lt;/div&gt;&lt;/span&gt;
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Abstraction"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Design"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Design;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Formalisation;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Knowledge"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Level"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Matching"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Natural"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Ontology,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/TRIZ;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Whole"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/based"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/body,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/detail;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/languages;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/level;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/matching;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/of"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problems;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/process;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/sources;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/systems;"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/23f7d98c2e51f544ed27154ab70df6b46/georges_p"><title>Eliminating technical obstacles in innovation pipelines using CAIs</title><link>http://www.bibsonomy.org/bibtex/23f7d98c2e51f544ed27154ab70df6b46/georges_p</link><dc:creator>georges_p</dc:creator><dc:date>2011-12-20T14:36:06+01:00</dc:date><dc:subject>Inventive Pipelines, Problem Structured Technical Theory inventive obstacles; of problem problems; solving solving, </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Runhua&#034;&gt;T. Runhua&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Computers in Industry&lt;/em&gt; &lt;em&gt;62(4):414-422&lt;/em&gt; (&lt;em&gt;2011&lt;/em&gt;)&lt;em&gt;cited By since 1996 0
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Inventive"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Pipelines,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Structured"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Technical"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Theory"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inventive"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/obstacles;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/of"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problems;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving,"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2bd7f613219d32091b0fe5a5507f12722/enricostano"><title>Enhancing Social Problem Solving in Children with Autism and Normal Children Through Computer-Assisted Instruction</title><link>http://www.bibsonomy.org/bibtex/2bd7f613219d32091b0fe5a5507f12722/enricostano</link><dc:creator>enricostano</dc:creator><dc:date>2011-10-25T18:10:28+02:00</dc:date><dc:subject>autism children enhancing problem social solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Bernard-Opitz&#034;&gt;Vera Bernard-Opitz&lt;/a&gt;, &lt;a href=&#034;/author/Sriram&#034;&gt;N. Sriram&lt;/a&gt;,  and &lt;a href=&#034;/author/Nakhoda-Sapuan&#034;&gt;Sharul Nakhoda-Sapuan&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Journal of Autism and Developmental Disorders&lt;/em&gt;  (&lt;em&gt;2001&lt;/em&gt;)&lt;em&gt;10.1023/A:1010660502130
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/autism"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/children"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/enhancing"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/social"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/26d4b047fbf6ddf90b97db77a0115ac75/toni"><title>Constructive Geometric Constraint Solving: A New Application
               of Genetic Algorithms</title><link>http://www.bibsonomy.org/bibtex/26d4b047fbf6ddf90b97db77a0115ac75/toni</link><dc:creator>toni</dc:creator><dc:date>2010-11-12T10:45:16+01:00</dc:date><dc:subject>constraint geometric myown pt root selection solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Joan-Arinyo&#034;&gt;Robert Joan-Arinyo&lt;/a&gt;, &lt;a href=&#034;/author/Luzón&#034;&gt;M. V. Luzón&lt;/a&gt;,  and &lt;a href=&#034;/author/Soto-Riera&#034;&gt;Antoni Soto-Riera&lt;/a&gt; &lt;/span&gt;&lt;em&gt;PPSN, &lt;/em&gt;&lt;em&gt;volume 2439 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 759-768. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/constraint"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/geometric"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/myown"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pt"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/root"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/selection"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/28ce3aacf6847d584228d3bb98d78c3fc/toni"><title>A Constraint Solving-Based Approach to Analyze 2D Geometric Problems With Interval Parameters.</title><link>http://www.bibsonomy.org/bibtex/28ce3aacf6847d584228d3bb98d78c3fc/toni</link><dc:creator>toni</dc:creator><dc:date>2010-11-12T10:34:09+01:00</dc:date><dc:subject>2d arithmetic constraint geometric interval myown solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Joan-Arinyo&#034;&gt;Robert Joan-Arinyo&lt;/a&gt;, &lt;a href=&#034;/author/Mata&#034;&gt;Nuria Mata&lt;/a&gt;,  and &lt;a href=&#034;/author/Soto-Riera&#034;&gt;Antoni Soto-Riera&lt;/a&gt; &lt;/span&gt;&lt;em&gt;J. Comput. Inf. Sci. Eng.&lt;/em&gt; &lt;em&gt;1(4):341-346&lt;/em&gt; (&lt;em&gt;2001&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/2d"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/arithmetic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/constraint"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/geometric"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/interval"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/myown"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2c195a51e1a952be1f7abbf38d75f6e2a/paulotrezentos"><title>Apt-pbo: solving the software dependency problem using pseudo-boolean optimization</title><link>http://www.bibsonomy.org/bibtex/2c195a51e1a952be1f7abbf38d75f6e2a/paulotrezentos</link><dc:creator>paulotrezentos</dc:creator><dc:date>2010-09-26T11:46:55+02:00</dc:date><dc:subject>PBO dependency linux mancoosi solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Trezentos&#034;&gt;Paulo Trezentos&lt;/a&gt;, &lt;a href=&#034;/author/Lynce&#034;&gt;Inês Lynce&lt;/a&gt;,  and &lt;a href=&#034;/author/Oliveira&#034;&gt;Arlindo L. Oliveira&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ASE &amp;#039;10: Proceedings of the IEEE/ACM international conference on Automated software engineering, &lt;/em&gt;&lt;em&gt;page 427--436. &lt;/em&gt;&lt;em&gt;New York, NY, USA, &lt;/em&gt;&lt;em&gt;ACM, &lt;/em&gt;(&lt;em&gt;2010&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/PBO"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dependency"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/linux"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/mancoosi"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2258eb88f201dca7a07a853f8cd256955/yish"><title>Schemas in problem solving</title><link>http://www.bibsonomy.org/bibtex/2258eb88f201dca7a07a853f8cd256955/yish</link><dc:creator>yish</dc:creator><dc:date>2010-01-15T15:45:41+01:00</dc:date><dc:subject>problem schank schemas solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Marshall&#034;&gt;Sandra P. Marshall&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Cambridge Univ Press, &lt;/em&gt;(&lt;em&gt;1995&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/schank"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/schemas"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2d457e9827b32afdc126e77bcfd9c05a6/toni"><title>Semantics of families of objects</title><link>http://www.bibsonomy.org/bibtex/2d457e9827b32afdc126e77bcfd9c05a6/toni</link><dc:creator>toni</dc:creator><dc:date>2009-11-27T11:23:14+01:00</dc:date><dc:subject>constraint geometric solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/der Meiden&#034;&gt;H.A. Van der Meiden&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Delft University of Technology, &lt;/em&gt;(&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/constraint"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/geometric"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/26c35f7536794672441badf325e752073/achimpassen"><title>Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations</title><link>http://www.bibsonomy.org/bibtex/26c35f7536794672441badf325e752073/achimpassen</link><dc:creator>achimpassen</dc:creator><dc:date>2009-11-23T13:25:47+01:00</dc:date><dc:subject>algorithms, auctions, choice, communication, competition, cooperation, design, distributed game learning, logic, mechanism problem social solving theory, </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Shoham&#034;&gt;Yoav Shoham&lt;/a&gt;,  and &lt;a href=&#034;/author/Leyton-Brown&#034;&gt;Kevin Leyton-Brown&lt;/a&gt; &lt;/span&gt;  (&lt;em&gt;February 2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/algorithms,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/auctions,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/choice,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/communication,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/competition,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/cooperation,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/design,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/distributed"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/game"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/learning,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logic,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/mechanism"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/social"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/theory,"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2eb97c96b80eab2ed79c5ed5990efc76f/toni"><title>Interrogating witnesses for geometric constraint solving</title><link>http://www.bibsonomy.org/bibtex/2eb97c96b80eab2ed79c5ed5990efc76f/toni</link><dc:creator>toni</dc:creator><dc:date>2009-10-08T12:13:17+02:00</dc:date><dc:subject>constraint geometric interrogation solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Michelucci&#034;&gt;Dominique Michelucci&lt;/a&gt;,  and &lt;a href=&#034;/author/Foufou&#034;&gt;Sebti Foufou&lt;/a&gt; &lt;/span&gt;&lt;em&gt;SPM &amp;#039;09: 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling, &lt;/em&gt;&lt;em&gt;page 343--348. &lt;/em&gt;&lt;em&gt;New York, NY, USA, &lt;/em&gt;&lt;em&gt;ACM, &lt;/em&gt;(&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/constraint"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/geometric"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/interrogation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics><description>SM: SPM &#039;09, Interrogating witnesses for geometric ...</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2d5cd36ae34638a2fbd9df2a6f616a522/mandel"><title>The Challenge of Solving POMPDs for Control, Monitoring and Repair of Complex Systems</title><link>http://www.bibsonomy.org/bibtex/2d5cd36ae34638a2fbd9df2a6f616a522/mandel</link><dc:creator>mandel</dc:creator><dc:date>2009-06-29T18:33:40+02:00</dc:date><dc:subject>control dx&amp;#039;08 monitoring pompds solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Benazera&#034;&gt;Emmanuel Benazera&lt;/a&gt;,  and &lt;a href=&#034;/author/Chanthery&#034;&gt;Elodie Chanthery&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Procedings of the 19th International Workshop on Principles of Diagnosis DX&amp;#039;08, &lt;/em&gt;&lt;em&gt;page 15-22. &lt;/em&gt;&lt;em&gt;Blue Mountains, NSW, Australia, &lt;/em&gt;(&lt;em&gt;September 2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/control"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dx&#039;08"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/monitoring"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pompds"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/29b7452915df51c8637704406f08d7e3e/brian.mingus"><title>Instance-based categorization: automatic versus intentional forms
	of retrieval.</title><link>http://www.bibsonomy.org/bibtex/29b7452915df51c8637704406f08d7e3e/brian.mingus</link><dc:creator>brian.mingus</dc:creator><dc:date>2008-09-16T23:39:07+02:00</dc:date><dc:subject>(Psychology); Adult; Attention; Concept Decision Female; Formation; Generalization Humans; Making; Male; Mental Practice Problem Recall; Solving Theory; </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Neal&#034;&gt;A. Neal&lt;/a&gt;, &lt;a href=&#034;/author/Hesketh&#034;&gt;B. Hesketh&lt;/a&gt;,  and &lt;a href=&#034;/author/Andrews&#034;&gt;S. Andrews&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Mem Cognit&lt;/em&gt; &lt;em&gt;23(2):227--242&lt;/em&gt; (&lt;em&gt;March 1995&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/(Psychology);"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Adult;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Attention;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Concept"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Decision"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Female;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Formation;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Generalization"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Humans;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Making;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Male;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Mental"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Practice"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Recall;"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Solving"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Theory;"/></rdf:Bag></taxo:topics><description>CCNLab BibTeX</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/28bd002fb1069e26a614d67a82bb4386a/brian.mingus"><title>Display Based Problem Solving</title><link>http://www.bibsonomy.org/bibtex/28bd002fb1069e26a614d67a82bb4386a/brian.mingus</link><dc:creator>brian.mingus</dc:creator><dc:date>2008-09-16T23:39:07+02:00</dc:date><dc:subject>cogn, problem solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Larkin&#034;&gt;Jill H. Larkin&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Complex Information Processing, &lt;/em&gt;&lt;em&gt;chapter 3, &lt;/em&gt;&lt;em&gt;Lawrence Erlbaum Associates, &lt;/em&gt;&lt;em&gt;Cambridge, MA, &lt;/em&gt;(&lt;em&gt;1989&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/cogn,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics><description>CCNLab BibTeX</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/22ce291271ccef91d0a2af6fc914b06a3/brian.mingus"><title>Why are some problems hard? Evidence from Tower of Hanoi.</title><link>http://www.bibsonomy.org/bibtex/22ce291271ccef91d0a2af6fc914b06a3/brian.mingus</link><dc:creator>brian.mingus</dc:creator><dc:date>2008-09-16T23:39:07+02:00</dc:date><dc:subject>cogn, problem solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Kotovsky&#034;&gt;K. Kotovsky&lt;/a&gt;, &lt;a href=&#034;/author/Hayes&#034;&gt;J. R. Hayes&lt;/a&gt;,  and &lt;a href=&#034;/author/Simon&#034;&gt;H. A. Simon&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Cognitive Psychology&lt;/em&gt;  (&lt;em&gt;1985&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/cogn,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics><description>CCNLab BibTeX</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2562e309a4c7f02b704f37eb2a8ab1406/brian.mingus"><title>Representation and Transfer in Problem Solving</title><link>http://www.bibsonomy.org/bibtex/2562e309a4c7f02b704f37eb2a8ab1406/brian.mingus</link><dc:creator>brian.mingus</dc:creator><dc:date>2008-09-16T23:39:07+02:00</dc:date><dc:subject>analogy, cogn, problem solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Kotovsky&#034;&gt;Kenneth Kotovsky&lt;/a&gt;,  and &lt;a href=&#034;/author/Fallside&#034;&gt;David Fallside&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Complex Information Processing, &lt;/em&gt;&lt;em&gt;chapter 3, &lt;/em&gt;&lt;em&gt;Lawrence Erlbaum Associates, &lt;/em&gt;&lt;em&gt;Cambridge, MA, &lt;/em&gt;(&lt;em&gt;1989&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/analogy,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/cogn,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics><description>CCNLab BibTeX</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/21abfc99da41b789f6120cf411d0f4756/brian.mingus"><title>A model of problem solving with incomplete constraint knowledge.</title><link>http://www.bibsonomy.org/bibtex/21abfc99da41b789f6120cf411d0f4756/brian.mingus</link><dc:creator>brian.mingus</dc:creator><dc:date>2008-09-16T23:39:07+02:00</dc:date><dc:subject>cogn, problem solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Karat&#034;&gt;John Karat&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Cognitive Psychology&lt;/em&gt;  (&lt;em&gt;1982&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/cogn,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics><description>CCNLab BibTeX</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2e10e17c54a79a06dc2b9895fadd1a121/brian.mingus"><title>Neural Network Modeling of Executive Functioning with Tower of Hanoi
	Test in Frontal Lobe-Lesioned Patients</title><link>http://www.bibsonomy.org/bibtex/2e10e17c54a79a06dc2b9895fadd1a121/brian.mingus</link><dc:creator>brian.mingus</dc:creator><dc:date>2008-09-16T23:39:07+02:00</dc:date><dc:subject>nnets, pfc, problem solving </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Cardoso&#034;&gt; Cardoso&lt;/a&gt;,  and &lt;a href=&#034;/author/Parks&#034;&gt;R. W. Parks&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Fundamentals of Neural Network Modeling, &lt;/em&gt;&lt;em&gt;chapter 9, &lt;/em&gt;&lt;em&gt;MIT Press, &lt;/em&gt;&lt;em&gt;Cambridge, MA, &lt;/em&gt;(&lt;em&gt;1998&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/nnets,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pfc,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/problem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/solving"/></rdf:Bag></taxo:topics><description>CCNLab BibTeX</description></item></rdf:RDF>
