callback( { "result":{ "query":":facetid:toc:\"db/conf/ki/ki2014.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"197.58" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"31", "@dc":"31", "@oc":"31", "@id":"43412019", "text":":facetid:toc:db/conf/ki/ki2014.bht" } }, "hits":{ "@total":"31", "@computed":"31", "@sent":"31", "@first":"0", "hit":[{ "@score":"1", "@id":"3913908", "info":{"authors":{"author":[{"@pid":"b/FBaader","text":"Franz Baader"},{"@pid":"16/5240","text":"Barbara Morawska 0001"}]},"title":"Matching with Respect to General Concept Inclusions in the Description Logic EL.","venue":"KI","pages":"135-146","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/BaaderM14","doi":"10.1007/978-3-319-11206-0_14","ee":"https://doi.org/10.1007/978-3-319-11206-0_14","url":"https://dblp.org/rec/conf/ki/BaaderM14"}, "url":"URL#3913908" }, { "@score":"1", "@id":"3913909", "info":{"authors":{"author":{"@pid":"61/7871","text":"Tarek Richard Besold"}},"title":"A Note on Chances and Limitations of Psychometric AI.","venue":"KI","pages":"49-54","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/Besold14","doi":"10.1007/978-3-319-11206-0_5","ee":"https://doi.org/10.1007/978-3-319-11206-0_5","url":"https://dblp.org/rec/conf/ki/Besold14"}, "url":"URL#3913909" }, { "@score":"1", "@id":"3913910", "info":{"authors":{"author":[{"@pid":"61/7871","text":"Tarek Richard Besold"},{"@pid":"78/701","text":"Kai-Uwe Kühnberger"}]},"title":"Applying AI for Modeling and Understanding Analogy-Based Classroom Teaching Tools and Techniques.","venue":"KI","pages":"55-61","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/BesoldK14","doi":"10.1007/978-3-319-11206-0_6","ee":"https://doi.org/10.1007/978-3-319-11206-0_6","url":"https://dblp.org/rec/conf/ki/BesoldK14"}, "url":"URL#3913910" }, { "@score":"1", "@id":"3913911", "info":{"authors":{"author":[{"@pid":"05/8743-1","text":"Siqi Chen 0001"},{"@pid":"21/7664","text":"Jianye Hao"},{"@pid":"07/2055","text":"Gerhard Weiss 0001"},{"@pid":"t/KTuyls","text":"Karl Tuyls"},{"@pid":"l/HofungLeung","text":"Ho-fung Leung"}]},"title":"Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game Theory.","venue":"KI","pages":"147-158","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/ChenHWTL14","doi":"10.1007/978-3-319-11206-0_15","ee":"https://doi.org/10.1007/978-3-319-11206-0_15","url":"https://dblp.org/rec/conf/ki/ChenHWTL14"}, "url":"URL#3913911" }, { "@score":"1", "@id":"3913912", "info":{"authors":{"author":[{"@pid":"150/7501","text":"Shoubhik Debnath"},{"@pid":"150/7399","text":"Shiv Sankar Baishya"},{"@pid":"85/443","text":"Rudolph Triebel"},{"@pid":"80/9838","text":"Varun Dutt"},{"@pid":"c/DanielCremers","text":"Daniel Cremers"}]},"title":"Environment-Adaptive Learning: How Clustering Helps to Obtain Good Training Data.","venue":"KI","pages":"68-79","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/DebnathBTDC14","doi":"10.1007/978-3-319-11206-0_8","ee":"https://doi.org/10.1007/978-3-319-11206-0_8","url":"https://dblp.org/rec/conf/ki/DebnathBTDC14"}, "url":"URL#3913912" }, { "@score":"1", "@id":"3913913", "info":{"authors":{"author":{"@pid":"v/HansPvanDitmarsch","text":"Hans van Ditmarsch"}},"title":"The Ditmarsch Tale of Wonders.","venue":"KI","pages":"1-12","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/Ditmarsch14","doi":"10.1007/978-3-319-11206-0_1","ee":"https://doi.org/10.1007/978-3-319-11206-0_1","url":"https://dblp.org/rec/conf/ki/Ditmarsch14"}, "url":"URL#3913913" }, { "@score":"1", "@id":"3913914", "info":{"authors":{"author":[{"@pid":"98/3919","text":"Stefan Edelkamp"},{"@pid":"133/2633","text":"Max Gath"},{"@pid":"150/7568","text":"Moritz Rohde"}]},"title":"Monte-Carlo Tree Search for 3D Packing with Object Orientation.","venue":"KI","pages":"285-296","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/EdelkampGR14","doi":"10.1007/978-3-319-11206-0_28","ee":"https://doi.org/10.1007/978-3-319-11206-0_28","url":"https://dblp.org/rec/conf/ki/EdelkampGR14"}, "url":"URL#3913914" }, { "@score":"1", "@id":"3913915", "info":{"authors":{"author":[{"@pid":"150/7558","text":"Frederik Hartmann"},{"@pid":"f/StefanFunke","text":"Stefan Funke"}]},"title":"Energy-Efficient Routing: Taking Speed into Account.","venue":"KI","pages":"86-97","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/HartmannF14","doi":"10.1007/978-3-319-11206-0_10","ee":"https://doi.org/10.1007/978-3-319-11206-0_10","url":"https://dblp.org/rec/conf/ki/HartmannF14"}, "url":"URL#3913915" }, { "@score":"1", "@id":"3913916", "info":{"authors":{"author":[{"@pid":"118/2629","text":"Andreas Hertle"},{"@pid":"29/211","text":"Christian Dornhege"},{"@pid":"48/2739-1","text":"Thomas Keller 0001"},{"@pid":"94/1789","text":"Robert Mattmüller"},{"@pid":"01/8221","text":"Manuela Ortlieb"},{"@pid":"n/BernhardNebel","text":"Bernhard Nebel"}]},"title":"An Experimental Comparison of Classical, FOND and Probabilistic Planning.","venue":"KI","pages":"297-308","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/HertleD0MON14","doi":"10.1007/978-3-319-11206-0_29","ee":"https://doi.org/10.1007/978-3-319-11206-0_29","url":"https://dblp.org/rec/conf/ki/HertleD0MON14"}, "url":"URL#3913916" }, { "@score":"1", "@id":"3913917", "info":{"authors":{"author":[{"@pid":"150/7509","text":"Jacqueline Hofmann"},{"@pid":"28/135","text":"Emanuel Kitzelmann"},{"@pid":"s/UteSchmid","text":"Ute Schmid"}]},"title":"Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2.","venue":"KI","pages":"25-36","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/HofmannKS14","doi":"10.1007/978-3-319-11206-0_3","ee":"https://doi.org/10.1007/978-3-319-11206-0_3","url":"https://dblp.org/rec/conf/ki/HofmannKS14"}, "url":"URL#3913917" }, { "@score":"1", "@id":"3913918", "info":{"authors":{"author":[{"@pid":"150/7474","text":"Nico Höft"},{"@pid":"12/2966","text":"Hannes Schulz"},{"@pid":"16/6112","text":"Sven Behnke"}]},"title":"Fast Semantic Segmentation of RGB-D Scenes with GPU-Accelerated Deep Neural Networks.","venue":"KI","pages":"80-85","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/HoftSB14","doi":"10.1007/978-3-319-11206-0_9","ee":"https://doi.org/10.1007/978-3-319-11206-0_9","url":"https://dblp.org/rec/conf/ki/HoftSB14"}, "url":"URL#3913918" }, { "@score":"1", "@id":"3913919", "info":{"authors":{"author":[{"@pid":"42/3464","text":"Julien Hué"},{"@pid":"25/4612","text":"Matthias Westphal"},{"@pid":"155/0922","text":"Stefan Wölfl 0001"}]},"title":"Towards a New Semantics for Possibilistic Answer Sets.","venue":"KI","pages":"159-170","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/HueWW14","doi":"10.1007/978-3-319-11206-0_16","ee":"https://doi.org/10.1007/978-3-319-11206-0_16","url":"https://dblp.org/rec/conf/ki/HueWW14"}, "url":"URL#3913919" }, { "@score":"1", "@id":"3913920", "info":{"authors":{"author":[{"@pid":"47/7963","text":"Ruth Janning"},{"@pid":"118/8235","text":"Carlotta Schatten"},{"@pid":"s/LarsSchmidtThieme","text":"Lars Schmidt-Thieme"}]},"title":"Local Feature Extractors Accelerating HNNP for Phoneme Recognition.","venue":"KI","pages":"231-242","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/JanningSS14","doi":"10.1007/978-3-319-11206-0_23","ee":"https://doi.org/10.1007/978-3-319-11206-0_23","url":"https://dblp.org/rec/conf/ki/JanningSS14"}, "url":"URL#3913920" }, { "@score":"1", "@id":"3913921", "info":{"authors":{"author":[{"@pid":"145/3130","text":"Valeriy Khakhutskyy"},{"@pid":"h/MarkusHegland","text":"Markus Hegland"}]},"title":"Parallel Fitting of Additive Models for Regression.","venue":"KI","pages":"243-254","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/KhakhutskyyH14","doi":"10.1007/978-3-319-11206-0_24","ee":"https://doi.org/10.1007/978-3-319-11206-0_24","url":"https://dblp.org/rec/conf/ki/KhakhutskyyH14"}, "url":"URL#3913921" }, { "@score":"1", "@id":"3913922", "info":{"authors":{"author":{"@pid":"35/8612","text":"Norbert Manthey"}},"title":"CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing.","venue":"KI","pages":"98-110","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/Manthey14","doi":"10.1007/978-3-319-11206-0_11","ee":"https://doi.org/10.1007/978-3-319-11206-0_11","url":"https://dblp.org/rec/conf/ki/Manthey14"}, "url":"URL#3913922" }, { "@score":"1", "@id":"3913923", "info":{"authors":{"author":[{"@pid":"35/8612","text":"Norbert Manthey"},{"@pid":"51/10890","text":"Tobias Philipp"}]},"title":"Formula Simplifications as DRAT Derivations.","venue":"KI","pages":"111-122","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/MantheyP14","doi":"10.1007/978-3-319-11206-0_12","ee":"https://doi.org/10.1007/978-3-319-11206-0_12","url":"https://dblp.org/rec/conf/ki/MantheyP14"}, "url":"URL#3913923" }, { "@score":"1", "@id":"3913924", "info":{"authors":{"author":[{"@pid":"35/8612","text":"Norbert Manthey"},{"@pid":"51/10890","text":"Tobias Philipp"},{"@pid":"93/7416","text":"Peter Steinke"}]},"title":"A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained.","venue":"KI","pages":"123-134","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/MantheyPS14","doi":"10.1007/978-3-319-11206-0_13","ee":"https://doi.org/10.1007/978-3-319-11206-0_13","url":"https://dblp.org/rec/conf/ki/MantheyPS14"}, "url":"URL#3913924" }, { "@score":"1", "@id":"3913925", "info":{"authors":{"author":[{"@pid":"94/1789","text":"Robert Mattmüller"},{"@pid":"01/8221","text":"Manuela Ortlieb"},{"@pid":"150/7494","text":"Erik Wacker"}]},"title":"Minimizing Necessary Observations for Nondeterministic Planning.","venue":"KI","pages":"309-320","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/MattmullerOW14","doi":"10.1007/978-3-319-11206-0_30","ee":"https://doi.org/10.1007/978-3-319-11206-0_30","url":"https://dblp.org/rec/conf/ki/MattmullerOW14"}, "url":"URL#3913925" }, { "@score":"1", "@id":"3913926", "info":{"authors":{"author":[{"@pid":"150/7536","text":"Dorian Merz"},{"@pid":"56/3960","text":"Rafael Peñaloza"},{"@pid":"76/3237","text":"Anni-Yasmin Turhan"}]},"title":"Reasoning in ALC with Fuzzy Concrete Domains.","venue":"KI","pages":"171-182","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/MerzPT14","doi":"10.1007/978-3-319-11206-0_17","ee":"https://doi.org/10.1007/978-3-319-11206-0_17","url":"https://dblp.org/rec/conf/ki/MerzPT14"}, "url":"URL#3913926" }, { "@score":"1", "@id":"3913927", "info":{"authors":{"author":[{"@pid":"145/4994","text":"Daniel Moos"},{"@pid":"00/3150-1","text":"Sebastian Bader 0001"},{"@pid":"73/1192","text":"Thomas Kirste"}]},"title":"From Intelligibility to Debuggability in Context-Aware Systems.","venue":"KI","pages":"219-224","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/MoosBK14","doi":"10.1007/978-3-319-11206-0_21","ee":"https://doi.org/10.1007/978-3-319-11206-0_21","url":"https://dblp.org/rec/conf/ki/MoosBK14"}, "url":"URL#3913927" }, { "@score":"1", "@id":"3913928", "info":{"authors":{"author":[{"@pid":"23/11174","text":"Özgür Lütfü Özçep"},{"@pid":"m/RalfMoller","text":"Ralf Möller 0001"},{"@pid":"132/5819","text":"Christian Neuenstadt"}]},"title":"A Stream-Temporal Query Language for Ontology Based Data Access.","venue":"KI","pages":"183-194","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/OzcepMN14","doi":"10.1007/978-3-319-11206-0_18","ee":"https://doi.org/10.1007/978-3-319-11206-0_18","url":"https://dblp.org/rec/conf/ki/OzcepMN14"}, "url":"URL#3913928" }, { "@score":"1", "@id":"3913929", "info":{"authors":{"author":[{"@pid":"133/2609","text":"Jendrik Poloczek"},{"@pid":"34/4776","text":"Oliver Kramer 0001"}]},"title":"Multi-stage Constraint Surrogate Models for Evolution Strategies.","venue":"KI","pages":"255-266","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/PoloczekK14","doi":"10.1007/978-3-319-11206-0_25","ee":"https://doi.org/10.1007/978-3-319-11206-0_25","url":"https://dblp.org/rec/conf/ki/PoloczekK14"}, "url":"URL#3913929" }, { "@score":"1", "@id":"3913930", "info":{"authors":{"author":[{"@pid":"51/11204","text":"Pol Schumacher"},{"@pid":"m/MirjamMinor","text":"Mirjam Minor"}]},"title":"Towards a Trace Index Based Workflow Similarity Function.","venue":"KI","pages":"225-230","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/SchumacherM14","doi":"10.1007/978-3-319-11206-0_22","ee":"https://doi.org/10.1007/978-3-319-11206-0_22","url":"https://dblp.org/rec/conf/ki/SchumacherM14"}, "url":"URL#3913930" }, { "@score":"1", "@id":"3913931", "info":{"authors":{"author":[{"@pid":"20/9448","text":"Felix Steffenhagen"},{"@pid":"150/7464","text":"Rebecca Albrecht"},{"@pid":"98/813","text":"Marco Ragni"}]},"title":"Automatic Identification of Human Strategies by Cognitive Agents.","venue":"KI","pages":"62-67","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/SteffenhagenAR14","doi":"10.1007/978-3-319-11206-0_7","ee":"https://doi.org/10.1007/978-3-319-11206-0_7","url":"https://dblp.org/rec/conf/ki/SteffenhagenAR14"}, "url":"URL#3913931" }, { "@score":"1", "@id":"3913932", "info":{"authors":{"author":[{"@pid":"150/7506","text":"Volker Strobel"},{"@pid":"18/5025","text":"Alexandra Kirsch"}]},"title":"Planning in the Wild: Modeling Tools for PDDL.","venue":"KI","pages":"273-284","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/StrobelK14","doi":"10.1007/978-3-319-11206-0_27","ee":"https://doi.org/10.1007/978-3-319-11206-0_27","url":"https://dblp.org/rec/conf/ki/StrobelK14"}, "url":"URL#3913932" }, { "@score":"1", "@id":"3913933", "info":{"authors":{"author":{"@pid":"07/1317","text":"Matthias Thimm"}},"title":"Towards Large-Scale Inconsistency Measurement.","venue":"KI","pages":"195-206","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/Thimm14","doi":"10.1007/978-3-319-11206-0_19","ee":"https://doi.org/10.1007/978-3-319-11206-0_19","url":"https://dblp.org/rec/conf/ki/Thimm14"}, "url":"URL#3913933" }, { "@score":"1", "@id":"3913934", "info":{"authors":{"author":[{"@pid":"134/4231","text":"Nils André Treiber"},{"@pid":"34/4776","text":"Oliver Kramer 0001"}]},"title":"Evolutionary Turbine Selection for Wind Power Predictions.","venue":"KI","pages":"267-272","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/TreiberK14","doi":"10.1007/978-3-319-11206-0_26","ee":"https://doi.org/10.1007/978-3-319-11206-0_26","url":"https://dblp.org/rec/conf/ki/TreiberK14"}, "url":"URL#3913934" }, { "@score":"1", "@id":"3913935", "info":{"authors":{"author":{"@pid":"86/2576","text":"Toby Walsh"}},"title":"Allocation in Practice.","venue":"KI","pages":"13-24","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/Walsh14","doi":"10.1007/978-3-319-11206-0_2","ee":"https://doi.org/10.1007/978-3-319-11206-0_2","url":"https://dblp.org/rec/conf/ki/Walsh14"}, "url":"URL#3913935" }, { "@score":"1", "@id":"3913936", "info":{"authors":{"author":[{"@pid":"25/4612","text":"Matthias Westphal"},{"@pid":"42/3464","text":"Julien Hué"},{"@pid":"155/0922","text":"Stefan Wölfl 0001"}]},"title":"On the Scope of Qualitative Constraint Calculi.","venue":"KI","pages":"207-218","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/WestphalHW14","doi":"10.1007/978-3-319-11206-0_20","ee":"https://doi.org/10.1007/978-3-319-11206-0_20","url":"https://dblp.org/rec/conf/ki/WestphalHW14"}, "url":"URL#3913936" }, { "@score":"1", "@id":"3913937", "info":{"authors":{"author":{"@pid":"61/6434","text":"Claus Zinn"}},"title":"Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems.","venue":"KI","pages":"37-48","year":"2014","type":"Conference and Workshop Papers","access":"closed","key":"conf/ki/Zinn14","doi":"10.1007/978-3-319-11206-0_4","ee":"https://doi.org/10.1007/978-3-319-11206-0_4","url":"https://dblp.org/rec/conf/ki/Zinn14"}, "url":"URL#3913937" }, { "@score":"1", "@id":"3964668", "info":{"authors":{"author":[{"@pid":"l/CarstenLutz","text":"Carsten Lutz"},{"@pid":"t/MichaelThielscher","text":"Michael Thielscher"}]},"title":"KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings","venue":["KI","Lecture Notes in Computer Science"],"volume":"8736","publisher":"Springer","year":"2014","type":"Editorship","key":"conf/ki/2014","doi":"10.1007/978-3-319-11206-0","ee":"https://doi.org/10.1007/978-3-319-11206-0","url":"https://dblp.org/rec/conf/ki/2014"}, "url":"URL#3964668" } ] } } } )