callback( { "result":{ "query":":facetid:toc:\"db/conf/kr/kr2006.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"829.48" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"53", "@dc":"53", "@oc":"53", "@id":"43399353", "text":":facetid:toc:db/conf/kr/kr2006.bht" } }, "hits":{ "@total":"53", "@computed":"53", "@sent":"53", "@first":"0", "hit":[{ "@score":"1", "@id":"5768404", "info":{"authors":{"author":[{"@pid":"47/424","text":"Thomas Ågotnes"},{"@pid":"a/NatashaAlechina","text":"Natasha Alechina"}]},"title":"Semantics for Dynamic Syntactic Epistemic Logics.","venue":"KR","pages":"411-419","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/AgotnesA06","ee":"http://www.aaai.org/Library/KR/2006/kr06-043.php","url":"https://dblp.org/rec/conf/kr/AgotnesA06"}, "url":"URL#5768404" }, { "@score":"1", "@id":"5768405", "info":{"authors":{"author":[{"@pid":"85/5866","text":"Jorge A. Baier"},{"@pid":"66/3221","text":"Sheila A. McIlraith"}]},"title":"On Planning with Programs that Sense.","venue":"KR","pages":"492-502","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/BaierM06","ee":"http://www.aaai.org/Library/KR/2006/kr06-051.php","url":"https://dblp.org/rec/conf/kr/BaierM06"}, "url":"URL#5768405" }, { "@score":"1", "@id":"5768406", "info":{"authors":{"author":{"@pid":"87/6153","text":"Jonathan Ben-Naim"}},"title":"Lack of Finite Characterizations for the Distance-Based Revision.","venue":"KR","pages":"239-248","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Ben-Naim06","ee":"http://www.aaai.org/Library/KR/2006/kr06-026.php","url":"https://dblp.org/rec/conf/kr/Ben-Naim06"}, "url":"URL#5768406" }, { "@score":"1", "@id":"5768407", "info":{"authors":{"author":{"@pid":"87/2029","text":"Brandon Bennett"}},"title":"A Theory of Vague Adjectives Grounded in Relevant Observables.","venue":"KR","pages":"36-45","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Bennett06","ee":"http://www.aaai.org/Library/KR/2006/kr06-007.php","url":"https://dblp.org/rec/conf/kr/Bennett06"}, "url":"URL#5768407" }, { "@score":"1", "@id":"5768408", "info":{"authors":{"author":[{"@pid":"b/PhilippeBesnard","text":"Philippe Besnard"},{"@pid":"23/4530","text":"Anthony Hunter"}]},"title":"Knowledgebase Compilation for Efficient Logical Argumentation.","venue":"KR","pages":"123-133","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/BesnardH06","ee":"http://www.aaai.org/Library/KR/2006/kr06-015.php","url":"https://dblp.org/rec/conf/kr/BesnardH06"}, "url":"URL#5768408" }, { "@score":"1", "@id":"5768409", "info":{"authors":{"author":[{"@pid":"80/28","text":"Meghyn Bienvenu"},{"@pid":"38/6-1","text":"Christian Fritz 0001"},{"@pid":"66/3221","text":"Sheila A. McIlraith"}]},"title":"Planning with Qualitative Temporal Preferences.","venue":"KR","pages":"134-144","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/BienvenuFM06","ee":"http://www.aaai.org/Library/KR/2006/kr06-016.php","url":"https://dblp.org/rec/conf/kr/BienvenuFM06"}, "url":"URL#5768409" }, { "@score":"1", "@id":"5768410", "info":{"authors":{"author":[{"@pid":"47/5148","text":"Lawrence E. Blume"},{"@pid":"130/6581","text":"David A. Easley"},{"@pid":"h/JosephYHalpern","text":"Joseph Y. Halpern"}]},"title":"Redoing the Foundations of Decision Theory.","venue":"KR","pages":"14-24","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/BlumeEH06","ee":"http://www.aaai.org/Library/KR/2006/kr06-005.php","url":"https://dblp.org/rec/conf/kr/BlumeEH06"}, "url":"URL#5768410" }, { "@score":"1", "@id":"5768411", "info":{"authors":{"author":[{"@pid":"b/PABonatti","text":"Piero A. Bonatti"},{"@pid":"l/CarstenLutz","text":"Carsten Lutz"},{"@pid":"w/FrankWolter","text":"Frank Wolter"}]},"title":"Description Logics with Circumscription.","venue":"KR","pages":"400-410","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/BonattiLW06","ee":"http://www.aaai.org/Library/KR/2006/kr06-042.php","url":"https://dblp.org/rec/conf/kr/BonattiLW06"}, "url":"URL#5768411" }, { "@score":"1", "@id":"5768412", "info":{"authors":{"author":[{"@pid":"b/BBonet","text":"Blai Bonet"},{"@pid":"g/HectorGeffner","text":"Hector Geffner"}]},"title":"Heuristics for Planning with Penalties and Rewards using Compiled Knowledge.","venue":"KR","pages":"452-462","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/BonetG06","ee":"http://www.aaai.org/Library/KR/2006/kr06-047.php","url":"https://dblp.org/rec/conf/kr/BonetG06"}, "url":"URL#5768412" }, { "@score":"1", "@id":"5768413", "info":{"authors":{"author":[{"@pid":"58/6050","text":"Richard Booth 0001"},{"@pid":"m/ThomasAndreasMeyer","text":"Thomas Andreas Meyer"},{"@pid":"09/4754","text":"Ka-Shu Wong"}]},"title":"A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder.","venue":"KR","pages":"230-238","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/BoothMW06","ee":"http://www.aaai.org/Library/KR/2006/kr06-025.php","url":"https://dblp.org/rec/conf/kr/BoothMW06"}, "url":"URL#5768413" }, { "@score":"1", "@id":"5768414", "info":{"authors":{"author":[{"@pid":"48/6264","text":"Pedro Cabalar"},{"@pid":"44/465","text":"Sergei P. Odintsov"},{"@pid":"48/768-1","text":"David Pearce 0001"}]},"title":"Logical Foundations of Well-Founded Semantics.","venue":"KR","pages":"25-35","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/CabalarOP06","ee":"http://www.aaai.org/Library/KR/2006/kr06-006.php","url":"https://dblp.org/rec/conf/kr/CabalarOP06"}, "url":"URL#5768414" }, { "@score":"1", "@id":"5768415", "info":{"authors":{"author":[{"@pid":"c/DiegoCalvanese","text":"Diego Calvanese"},{"@pid":"g/GDGiacomo","text":"Giuseppe De Giacomo"},{"@pid":"91/2168","text":"Domenico Lembo"},{"@pid":"l/MLenzerini","text":"Maurizio Lenzerini"},{"@pid":"00/4014","text":"Riccardo Rosati 0001"}]},"title":"Data Complexity of Query Answering in Description Logics.","venue":"KR","pages":"260-270","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/CalvaneseGLLR06","ee":"http://www.aaai.org/Library/KR/2006/kr06-028.php","url":"https://dblp.org/rec/conf/kr/CalvaneseGLLR06"}, "url":"URL#5768415" }, { "@score":"1", "@id":"5768416", "info":{"authors":{"author":[{"@pid":"91/5696","text":"Balder ten Cate"},{"@pid":"61/5134","text":"Willem Conradie"},{"@pid":"m/MaartenMarx","text":"Maarten Marx"},{"@pid":"v/YdeVenema","text":"Yde Venema"}]},"title":"Definitorially Complete Description Logics.","venue":"KR","pages":"79-89","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/CateCMV06","ee":"http://www.aaai.org/Library/KR/2006/kr06-011.php","url":"https://dblp.org/rec/conf/kr/CateCMV06"}, "url":"URL#5768416" }, { "@score":"1", "@id":"5768417", "info":{"authors":{"author":[{"@pid":"32/6098-5","text":"Yin Chen 0005"},{"@pid":"73/6980","text":"Fangzhen Lin"},{"@pid":"53/1449","text":"Yisong Wang"},{"@pid":"66/2146-2","text":"Mingyi Zhang 0002"}]},"title":"First-Order Loop Formulas for Normal Logic Programs.","venue":"KR","pages":"298-307","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/ChenLWZ06","ee":"http://www.aaai.org/Library/KR/2006/kr06-032.php","url":"https://dblp.org/rec/conf/kr/ChenLWZ06"}, "url":"URL#5768417" }, { "@score":"1", "@id":"5768418", "info":{"authors":{"author":[{"@pid":"55/5658","text":"Yann Chevaleyre"},{"@pid":"e/UlrichEndriss","text":"Ulle Endriss"},{"@pid":"55/5701","text":"Jérôme Lang"}]},"title":"Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling.","venue":"KR","pages":"145-152","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/ChevaleyreEL06","ee":"http://www.aaai.org/Library/KR/2006/kr06-017.php","url":"https://dblp.org/rec/conf/kr/ChevaleyreEL06"}, "url":"URL#5768418" }, { "@score":"1", "@id":"5768419", "info":{"authors":{"author":[{"@pid":"85/1549","text":"Jens Claßen"},{"@pid":"l/GerhardLakemeyer","text":"Gerhard Lakemeyer"}]},"title":"Foundations for Knowledge-Based Programs using ES.","venue":"KR","pages":"318-328","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/ClassenL06","ee":"http://www.aaai.org/Library/KR/2006/kr06-034.php","url":"https://dblp.org/rec/conf/kr/ClassenL06"}, "url":"URL#5768419" }, { "@score":"1", "@id":"5768420", "info":{"authors":{"author":[{"@pid":"84/6816","text":"Sylvie Coste-Marquis"},{"@pid":"62/7028","text":"Caroline Devred"},{"@pid":"37/6177","text":"Pierre Marquis"}]},"title":"Constrained Argumentation Frameworks.","venue":"KR","pages":"112-122","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Coste-MarquisDM06","ee":"http://www.aaai.org/Library/KR/2006/kr06-014.php","url":"https://dblp.org/rec/conf/kr/Coste-MarquisDM06"}, "url":"URL#5768420" }, { "@score":"1", "@id":"5768421", "info":{"authors":{"author":[{"@pid":"84/6816","text":"Sylvie Coste-Marquis"},{"@pid":"19/461","text":"Hélène Fargier"},{"@pid":"55/5701","text":"Jérôme Lang"},{"@pid":"02/358","text":"Daniel Le Berre"},{"@pid":"37/6177","text":"Pierre Marquis"}]},"title":"Representing Policies for Quantified Boolean Formulae.","venue":"KR","pages":"286-297","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Coste-MarquisFLBM06","ee":"http://www.aaai.org/Library/KR/2006/kr06-031.php","url":"https://dblp.org/rec/conf/kr/Coste-MarquisFLBM06"}, "url":"URL#5768421" }, { "@score":"1", "@id":"5768422", "info":{"authors":{"author":[{"@pid":"31/4430","text":"Madalina Croitoru"},{"@pid":"22/3711","text":"Ernesto Compatangelo"}]},"title":"A Tree Decomposition Algorithm for Conceptual Graph Projection.","venue":"KR","pages":"271-276","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/CroitoruC06","ee":"http://www.aaai.org/Library/KR/2006/kr06-029.php","url":"https://dblp.org/rec/conf/kr/CroitoruC06"}, "url":"URL#5768422" }, { "@score":"1", "@id":"5768423", "info":{"authors":{"author":[{"@pid":"d/JamesPDelgrande","text":"James P. Delgrande"},{"@pid":"d/DidierDubois","text":"Didier Dubois"},{"@pid":"55/5701","text":"Jérôme Lang"}]},"title":"Iterated Revision as Prioritized Merging.","venue":"KR","pages":"210-220","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/DelgrandeDL06","ee":"http://www.aaai.org/Library/KR/2006/kr06-023.php","url":"https://dblp.org/rec/conf/kr/DelgrandeDL06"}, "url":"URL#5768423" }, { "@score":"1", "@id":"5768424", "info":{"authors":{"author":{"@pid":"d/JonDoyle","text":"Jon Doyle"}},"title":"On Mechanization of Thought Processes (Extended Abstract).","venue":"KR","pages":"2","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Doyle06","ee":"http://www.aaai.org/Library/KR/2006/kr06-001.php","url":"https://dblp.org/rec/conf/kr/Doyle06"}, "url":"URL#5768424" }, { "@score":"1", "@id":"5768425", "info":{"authors":{"author":[{"@pid":"d/DidierDubois","text":"Didier Dubois"},{"@pid":"19/461","text":"Hélène Fargier"}]},"title":"Qualitative Decision Making with Bipolar Information.","venue":"KR","pages":"175-186","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/DuboisF06","ee":"http://www.aaai.org/Library/KR/2006/kr06-020.php","url":"https://dblp.org/rec/conf/kr/DuboisF06"}, "url":"URL#5768425" }, { "@score":"1", "@id":"5768426", "info":{"authors":{"author":[{"@pid":"d/DidierDubois","text":"Didier Dubois"},{"@pid":"30/2518","text":"Angelo Gilio"},{"@pid":"k/GabrieleKernIsberner","text":"Gabriele Kern-Isberner"}]},"title":"Probabilistic Abduction without Priors.","venue":"KR","pages":"420-430","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/DuboisGK06","ee":"http://www.aaai.org/Library/KR/2006/kr06-044.php","url":"https://dblp.org/rec/conf/kr/DuboisGK06"}, "url":"URL#5768426" }, { "@score":"1", "@id":"5768427", "info":{"authors":{"author":[{"@pid":"e/TEiter","text":"Thomas Eiter"},{"@pid":"f/MFink","text":"Michael Fink 0001"},{"@pid":"t/HansTompits","text":"Hans Tompits"},{"@pid":"90/2967","text":"Patrick Traxler"},{"@pid":"39/6130","text":"Stefan Woltran"}]},"title":"Replacements in Non-Ground Answer-Set Programming.","venue":"KR","pages":"340-351","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/EiterFTTW06","ee":"http://www.aaai.org/Library/KR/2006/kr06-036.php","url":"https://dblp.org/rec/conf/kr/EiterFTTW06"}, "url":"URL#5768427" }, { "@score":"1", "@id":"5768428", "info":{"authors":{"author":[{"@pid":"98/3991","text":"Selim T. Erdogan"},{"@pid":"l/VLifschitz","text":"Vladimir Lifschitz"}]},"title":"Actions as Special Cases.","venue":"KR","pages":"377-388","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/ErdoganL06","ee":"http://www.aaai.org/Library/KR/2006/kr06-040.php","url":"https://dblp.org/rec/conf/kr/ErdoganL06"}, "url":"URL#5768428" }, { "@score":"1", "@id":"5768429", "info":{"authors":{"author":[{"@pid":"82/24","text":"Robert Feldmann"},{"@pid":"b/GerhardBrewka","text":"Gerhard Brewka"},{"@pid":"06/6220","text":"Sandro Wenzel"}]},"title":"Planning with Prioritized Goals.","venue":"KR","pages":"503-514","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/FeldmannBW06","ee":"http://www.aaai.org/Library/KR/2006/kr06-052.php","url":"https://dblp.org/rec/conf/kr/FeldmannBW06"}, "url":"URL#5768429" }, { "@score":"1", "@id":"5768430", "info":{"authors":{"author":[{"@pid":"38/6-1","text":"Christian Fritz 0001"},{"@pid":"66/3221","text":"Sheila A. McIlraith"}]},"title":"Decision-Theoretic GOLOG with Qualitative Preferences.","venue":"KR","pages":"153-163","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/FritzM06","ee":"http://www.aaai.org/Library/KR/2006/kr06-018.php","url":"https://dblp.org/rec/conf/kr/FritzM06"}, "url":"URL#5768430" }, { "@score":"1", "@id":"5768431", "info":{"authors":{"author":[{"@pid":"09/2732","text":"Benoit Gaudou"},{"@pid":"h/AndreasHerzig","text":"Andreas Herzig"},{"@pid":"41/3379","text":"Dominique Longin"}]},"title":"Grounding and the Expression of Belief.","venue":"KR","pages":"221-229","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/GaudouHL06","ee":"http://www.aaai.org/Library/KR/2006/kr06-024.php","url":"https://dblp.org/rec/conf/kr/GaudouHL06"}, "url":"URL#5768431" }, { "@score":"1", "@id":"5768432", "info":{"authors":{"author":[{"@pid":"39/922","text":"Silvio Ghilardi"},{"@pid":"l/CarstenLutz","text":"Carsten Lutz"},{"@pid":"w/FrankWolter","text":"Frank Wolter"}]},"title":"Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics.","venue":"KR","pages":"187-197","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/GhilardiLW06","ee":"http://www.aaai.org/Library/KR/2006/kr06-021.php","url":"https://dblp.org/rec/conf/kr/GhilardiLW06"}, "url":"URL#5768432" }, { "@score":"1", "@id":"5768433", "info":{"authors":{"author":[{"@pid":"71/6448","text":"Bernardo Cuenca Grau"},{"@pid":"61/4345","text":"Bijan Parsia"},{"@pid":"85/1413","text":"Evren Sirin"},{"@pid":"64/1388","text":"Aditya Kalyanpur"}]},"title":"Modularity and Web Ontologies.","venue":"KR","pages":"198-209","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/GrauPSK06","ee":"http://www.aaai.org/Library/KR/2006/kr06-022.php","url":"https://dblp.org/rec/conf/kr/GrauPSK06"}, "url":"URL#5768433" }, { "@score":"1", "@id":"5768434", "info":{"authors":{"author":[{"@pid":"h/JosephYHalpern","text":"Joseph Y. Halpern"},{"@pid":"76/5253","text":"Leandro Chaves Rêgo"}]},"title":"Reasoning about Knowledge of Unawareness.","venue":"KR","pages":"6-13","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/HalpernR06","ee":"http://www.aaai.org/Library/KR/2006/kr06-004.php","url":"https://dblp.org/rec/conf/kr/HalpernR06"}, "url":"URL#5768434" }, { "@score":"1", "@id":"5768435", "info":{"authors":{"author":[{"@pid":"h/IanHorrocks","text":"Ian Horrocks 0001"},{"@pid":"38/2192","text":"Oliver Kutz"},{"@pid":"s/UlrikeSattler","text":"Ulrike Sattler"}]},"title":"The Even More Irresistible SROIQ.","venue":"KR","pages":"57-67","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/HorrocksKS06","ee":"http://www.aaai.org/Library/KR/2006/kr06-009.php","url":"https://dblp.org/rec/conf/kr/HorrocksKS06"}, "url":"URL#5768435" }, { "@score":"1", "@id":"5768436", "info":{"authors":{"author":[{"@pid":"23/4530","text":"Anthony Hunter"},{"@pid":"36/1515","text":"Sébastien Konieczny"}]},"title":"Shapley Inconsistency Values.","venue":"KR","pages":"249-259","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/HunterK06","ee":"http://www.aaai.org/Library/KR/2006/kr06-027.php","url":"https://dblp.org/rec/conf/kr/HunterK06"}, "url":"URL#5768436" }, { "@score":"1", "@id":"5768437", "info":{"authors":{"author":{"@pid":"25/1207","text":"Victor Jauregui"}},"title":"Semantical Considerations for a Logic of Actions: An Imperative Manifesto.","venue":"KR","pages":"371-376","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Jauregui06","ee":"http://www.aaai.org/Library/KR/2006/kr06-039.php","url":"https://dblp.org/rec/conf/kr/Jauregui06"}, "url":"URL#5768437" }, { "@score":"1", "@id":"5768438", "info":{"authors":{"author":[{"@pid":"15/3539","text":"Hongkai Liu"},{"@pid":"l/CarstenLutz","text":"Carsten Lutz"},{"@pid":"88/2727","text":"Maja Milicic"},{"@pid":"w/FrankWolter","text":"Frank Wolter"}]},"title":"Updating Description Logic ABoxes.","venue":"KR","pages":"46-56","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/LiuLMW06","ee":"http://www.aaai.org/Library/KR/2006/kr06-008.php","url":"https://dblp.org/rec/conf/kr/LiuLMW06"}, "url":"URL#5768438" }, { "@score":"1", "@id":"5768439", "info":{"authors":{"author":[{"@pid":"l/ThomasLukasiewicz","text":"Thomas Lukasiewicz"},{"@pid":"64/1746","text":"Jörg Schellhase"}]},"title":"Variable-Strength Conditional Preferences for Matchmaking in Description Logics.","venue":"KR","pages":"164-174","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/LukasiewiczS06","ee":"http://www.aaai.org/Library/KR/2006/kr06-019.php","url":"https://dblp.org/rec/conf/kr/LukasiewiczS06"}, "url":"URL#5768439" }, { "@score":"1", "@id":"5768440", "info":{"authors":{"author":[{"@pid":"m/DavidMaier","text":"David Maier 0001"},{"@pid":"h/AlonYHalevy","text":"Alon Y. Halevy"},{"@pid":"f/MJFranklin","text":"Michael J. Franklin"}]},"title":"Dataspaces: Co-existence with Heterogeneity.","venue":"KR","pages":"3","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/MaierHF06","ee":"http://www.aaai.org/Library/KR/2006/kr06-002.php","url":"https://dblp.org/rec/conf/kr/MaierHF06"}, "url":"URL#5768440" }, { "@score":"1", "@id":"5768441", "info":{"authors":{"author":[{"@pid":"98/813","text":"Marco Ragni"},{"@pid":"155/0922","text":"Stefan Wölfl 0001"}]},"title":"Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning.","venue":"KR","pages":"472-480","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/RagniW06","ee":"http://www.aaai.org/Library/KR/2006/kr06-049.php","url":"https://dblp.org/rec/conf/kr/RagniW06"}, "url":"URL#5768441" }, { "@score":"1", "@id":"5768442", "info":{"authors":{"author":[{"@pid":"82/4414","text":"David A. Randell"},{"@pid":"03/5046","text":"Mark Witkowski"}]},"title":"Abductive Visual Perception with Feature Clouds.","venue":"KR","pages":"352-361","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/RandellW06","ee":"http://www.aaai.org/Library/KR/2006/kr06-037.php","url":"https://dblp.org/rec/conf/kr/RandellW06"}, "url":"URL#5768442" }, { "@score":"1", "@id":"5768443", "info":{"authors":{"author":{"@pid":"91/4955","text":"Alan L. Rector"}},"title":"Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable.","venue":"KR","pages":"4","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Rector06","ee":"http://www.aaai.org/Library/KR/2006/kr06-003.php","url":"https://dblp.org/rec/conf/kr/Rector06"}, "url":"URL#5768443" }, { "@score":"1", "@id":"5768444", "info":{"authors":{"author":{"@pid":"00/4014","text":"Riccardo Rosati 0001"}},"title":"DL+log: Tight Integration of Description Logics and Disjunctive Datalog.","venue":"KR","pages":"68-78","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Rosati06","ee":"http://www.aaai.org/Library/KR/2006/kr06-010.php","url":"https://dblp.org/rec/conf/kr/Rosati06"}, "url":"URL#5768444" }, { "@score":"1", "@id":"5768445", "info":{"authors":{"author":[{"@pid":"s/FDdSaintCyr","text":"Florence Dupin de Saint-Cyr"},{"@pid":"p/HenriPrade","text":"Henri Prade"}]},"title":"Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning.","venue":"KR","pages":"440-451","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Saint-CyrP06","ee":"http://www.aaai.org/Library/KR/2006/kr06-046.php","url":"https://dblp.org/rec/conf/kr/Saint-CyrP06"}, "url":"URL#5768445" }, { "@score":"1", "@id":"5768446", "info":{"authors":{"author":[{"@pid":"88/3374","text":"Scott Sanner"},{"@pid":"66/3221","text":"Sheila A. McIlraith"}]},"title":"An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic.","venue":"KR","pages":"100-111","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/SannerM06","ee":"http://www.aaai.org/Library/KR/2006/kr06-013.php","url":"https://dblp.org/rec/conf/kr/SannerM06"}, "url":"URL#5768446" }, { "@score":"1", "@id":"5768447", "info":{"authors":{"author":[{"@pid":"09/129","text":"Sebastian Sardiña"},{"@pid":"g/GDGiacomo","text":"Giuseppe De Giacomo"},{"@pid":"74/5003","text":"Yves Lespérance"},{"@pid":"l/HJLevesque","text":"Hector J. Levesque"}]},"title":"On the Limits of Planning over Belief States under Strict Uncertainty.","venue":"KR","pages":"463-471","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/SardinaGLL06","ee":"http://www.aaai.org/Library/KR/2006/kr06-048.php","url":"https://dblp.org/rec/conf/kr/SardinaGLL06"}, "url":"URL#5768447" }, { "@score":"1", "@id":"5768448", "info":{"authors":{"author":[{"@pid":"85/1413","text":"Evren Sirin"},{"@pid":"71/6448","text":"Bernardo Cuenca Grau"},{"@pid":"61/4345","text":"Bijan Parsia"}]},"title":"From Wine to Water: Optimizing Description Logic Reasoning for Nominals.","venue":"KR","pages":"90-99","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/SirinGP06","ee":"http://www.aaai.org/Library/KR/2006/kr06-012.php","url":"https://dblp.org/rec/conf/kr/SirinGP06"}, "url":"URL#5768448" }, { "@score":"1", "@id":"5768449", "info":{"authors":{"author":[{"@pid":"s/TranCaoSon","text":"Tran Cao Son"},{"@pid":"75/4138","text":"Phan Huy Tu"}]},"title":"On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information.","venue":"KR","pages":"481-491","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/SonT06","ee":"http://www.aaai.org/Library/KR/2006/kr06-050.php","url":"https://dblp.org/rec/conf/kr/SonT06"}, "url":"URL#5768449" }, { "@score":"1", "@id":"5768450", "info":{"authors":{"author":{"@pid":"s/UmbertoStraccia","text":"Umberto Straccia"}},"title":"Query Answering under the Any-World Assumption for Normal Logic Programs.","venue":"KR","pages":"329-339","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Straccia06","ee":"http://www.aaai.org/Library/KR/2006/kr06-035.php","url":"https://dblp.org/rec/conf/kr/Straccia06"}, "url":"URL#5768450" }, { "@score":"1", "@id":"5768451", "info":{"authors":{"author":[{"@pid":"t/MichaelThielscher","text":"Michael Thielscher"},{"@pid":"21/5482","text":"Thomas Witkowski"}]},"title":"The Features-and-Fluents Semantics for the Fluent Calculus.","venue":"KR","pages":"362-370","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/ThielscherW06","ee":"http://www.aaai.org/Library/KR/2006/kr06-038.php","url":"https://dblp.org/rec/conf/kr/ThielscherW06"}, "url":"URL#5768451" }, { "@score":"1", "@id":"5768452", "info":{"authors":{"author":{"@pid":"t/MiroslawTruszczynski","text":"Miroslaw Truszczynski"}},"title":"Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach.","venue":"KR","pages":"389-399","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Truszczynski06","ee":"http://www.aaai.org/Library/KR/2006/kr06-041.php","url":"https://dblp.org/rec/conf/kr/Truszczynski06"}, "url":"URL#5768452" }, { "@score":"1", "@id":"5768453", "info":{"authors":{"author":[{"@pid":"w/MichaelWachter","text":"Michael Wachter 0001"},{"@pid":"41/1008","text":"Rolf Haenni"}]},"title":"Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions.","venue":"KR","pages":"277-285","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/WachterH06","ee":"http://www.aaai.org/Library/KR/2006/kr06-030.php","url":"https://dblp.org/rec/conf/kr/WachterH06"}, "url":"URL#5768453" }, { "@score":"1", "@id":"5768454", "info":{"authors":{"author":[{"@pid":"96/2875","text":"Anna Zamansky"},{"@pid":"35/3010","text":"Arnon Avron"}]},"title":"Non-Deterministic Semantics for First-Order Paraconsistent Logics.","venue":"KR","pages":"431-439","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/ZamanskyA06","ee":"http://www.aaai.org/Library/KR/2006/kr06-045.php","url":"https://dblp.org/rec/conf/kr/ZamanskyA06"}, "url":"URL#5768454" }, { "@score":"1", "@id":"5768455", "info":{"authors":{"author":{"@pid":"04/3348-3","text":"Yan Zhang 0003"}},"title":"Computational Properties of Epistemic Logic Programs.","venue":"KR","pages":"308-317","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"conf/kr/Zhang06","ee":"http://www.aaai.org/Library/KR/2006/kr06-033.php","url":"https://dblp.org/rec/conf/kr/Zhang06"}, "url":"URL#5768455" }, { "@score":"1", "@id":"5799605", "info":{"authors":{"author":[{"@pid":"81/3618","text":"Patrick Doherty 0001"},{"@pid":"m/JohnMylopoulos","text":"John Mylopoulos"},{"@pid":"w/CAWelty","text":"Christopher A. Welty"}]},"title":"Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006","venue":"KR","publisher":"AAAI Press","year":"2006","type":"Editorship","access":"unavailable","key":"conf/kr/2006","url":"https://dblp.org/rec/conf/kr/2006"}, "url":"URL#5799605" } ] } } } )