callback( { "result":{ "query":":facetid:toc:\"db/conf/iclp/iclp2011.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"67.90" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"34", "@dc":"34", "@oc":"34", "@id":"43389924", "text":":facetid:toc:db/conf/iclp/iclp2011.bht" } }, "hits":{ "@total":"34", "@computed":"34", "@sent":"34", "@first":"0", "hit":[{ "@score":"1", "@id":"4693831", "info":{"authors":{"author":[{"@pid":"39/5298","text":"Dalal Alrajeh"},{"@pid":"k/JeffKramer","text":"Jeff Kramer"},{"@pid":"79/683","text":"Alessandra Russo"},{"@pid":"21/1391","text":"Sebastián Uchitel"}]},"title":"An Inductive Approach for Modal Transition System Refinement.","venue":"ICLP","pages":"106-116","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/AlrajehKRU11","doi":"10.4230/LIPICS.ICLP.2011.106","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.106","url":"https://dblp.org/rec/conf/iclp/AlrajehKRU11"}, "url":"URL#4693831" }, { "@score":"1", "@id":"4693832", "info":{"authors":{"author":[{"@pid":"84/4259","text":"Alexander Bochman"},{"@pid":"l/VLifschitz","text":"Vladimir Lifschitz"}]},"title":"Yet Another Characterization of Strong Equivalence.","venue":"ICLP","pages":"11-15","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/BochmanL11","doi":"10.4230/LIPICS.ICLP.2011.11","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.11","url":"https://dblp.org/rec/conf/iclp/BochmanL11"}, "url":"URL#4693832" }, { "@score":"1", "@id":"4693833", "info":{"authors":{"author":{"@pid":"52/9862","text":"Paul Bone"}},"title":"Automatic Parallelism in Mercury.","venue":"ICLP","pages":"251-254","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Bone11","doi":"10.4230/LIPICS.ICLP.2011.251","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.251","url":"https://dblp.org/rec/conf/iclp/Bone11"}, "url":"URL#4693833" }, { "@score":"1", "@id":"4693834", "info":{"authors":{"author":{"@pid":"98/7186","text":"Marco Bottalico"}},"title":"Consistency Techniques for Hybrid Simulations.","venue":"ICLP","pages":"255-260","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Bottalico11","doi":"10.4230/LIPICS.ICLP.2011.255","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.255","url":"https://dblp.org/rec/conf/iclp/Bottalico11"}, "url":"URL#4693834" }, { "@score":"1", "@id":"4693835", "info":{"authors":{"author":{"@pid":"b/StefanBrass","text":"Stefan Brass"}},"title":"Declarative Output by Ordering Text Pieces.","venue":"ICLP","pages":"151-161","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Brass11","doi":"10.4230/LIPICS.ICLP.2011.151","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.151","url":"https://dblp.org/rec/conf/iclp/Brass11"}, "url":"URL#4693835" }, { "@score":"1", "@id":"4693836", "info":{"authors":{"author":{"@pid":"32/9862","text":"Alex Brik"}},"title":"Extensions of Answer Set Programming.","venue":"ICLP","pages":"261-267","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Brik11","doi":"10.4230/LIPICS.ICLP.2011.261","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.261","url":"https://dblp.org/rec/conf/iclp/Brik11"}, "url":"URL#4693836" }, { "@score":"1", "@id":"4693837", "info":{"authors":{"author":[{"@pid":"32/9862","text":"Alex Brik"},{"@pid":"81/1919","text":"Jeffrey B. Remmel"}]},"title":"Hybrid ASP.","venue":"ICLP","pages":"40-50","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/BrikR11","doi":"10.4230/LIPICS.ICLP.2011.40","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.40","url":"https://dblp.org/rec/conf/iclp/BrikR11"}, "url":"URL#4693837" }, { "@score":"1", "@id":"4693838", "info":{"authors":{"author":{"@pid":"36/4781","text":"Lukas Bulwahn"}},"title":"Smart test data generators via logic programming.","venue":"ICLP","pages":"139-150","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Bulwahn11","doi":"10.4230/LIPICS.ICLP.2011.139","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.139","url":"https://dblp.org/rec/conf/iclp/Bulwahn11"}, "url":"URL#4693838" }, { "@score":"1", "@id":"4693839", "info":{"authors":{"author":{"@pid":"89/7116","text":"Paola Campli"}},"title":"A Semiring-based framework for fair resources allocation.","venue":"ICLP","pages":"268-273","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Campli11","doi":"10.4230/LIPICS.ICLP.2011.268","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.268","url":"https://dblp.org/rec/conf/iclp/Campli11"}, "url":"URL#4693839" }, { "@score":"1", "@id":"4693840", "info":{"authors":{"author":[{"@pid":"39/9862","text":"Michael Casolary"},{"@pid":"15/4797-2","text":"Joohyung Lee 0002"}]},"title":"Representing the Language of the Causal Calculator in Answer Set Programming.","venue":"ICLP","pages":"51-61","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/CasolaryL11","doi":"10.4230/LIPICS.ICLP.2011.51","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.51","url":"https://dblp.org/rec/conf/iclp/CasolaryL11"}, "url":"URL#4693840" }, { "@score":"1", "@id":"4693841", "info":{"authors":{"author":[{"@pid":"42/9446","text":"Brandon Chisham"},{"@pid":"p/EnricoPontelli","text":"Enrico Pontelli"},{"@pid":"s/TranCaoSon","text":"Tran Cao Son"},{"@pid":"48/9446-1","text":"Ben Wright 0001"}]},"title":"CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services.","venue":"ICLP","pages":"209-219","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/ChishamPSW11","doi":"10.4230/LIPICS.ICLP.2011.209","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.209","url":"https://dblp.org/rec/conf/iclp/ChishamPSW11"}, "url":"URL#4693841" }, { "@score":"1", "@id":"4693842", "info":{"authors":{"author":[{"@pid":"c/HChristiansen","text":"Henning Christiansen 0001"},{"@pid":"96/7187","text":"Christian Theil Have"},{"@pid":"45/6213","text":"Ole Torp Lassen"},{"@pid":"14/3367","text":"Matthieu Petit"}]},"title":"Bayesian Annotation Networks for Complex Sequence Analysis.","venue":"ICLP","pages":"220-230","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/ChristiansenHLP11","doi":"10.4230/LIPICS.ICLP.2011.220","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.220","url":"https://dblp.org/rec/conf/iclp/ChristiansenHLP11"}, "url":"URL#4693842" }, { "@score":"1", "@id":"4693843", "info":{"authors":{"author":[{"@pid":"d/ADovier","text":"Agostino Dovier"},{"@pid":"50/3517-1","text":"Andrea Formisano 0001"},{"@pid":"p/EnricoPontelli","text":"Enrico Pontelli"}]},"title":"BAAC: A Prolog System for Action Description and Agents Coordination.","venue":"ICLP","pages":"187-197","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/DovierFP11","doi":"10.4230/LIPICS.ICLP.2011.187","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.187","url":"https://dblp.org/rec/conf/iclp/DovierFP11"}, "url":"URL#4693843" }, { "@score":"1", "@id":"4693844", "info":{"authors":{"author":[{"@pid":"66/3792","text":"Christian Drescher"},{"@pid":"86/2576","text":"Toby Walsh"}]},"title":"Modelling Grammar Constraints with Answer Set Programming.","venue":"ICLP","pages":"28-39","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/DrescherW11","doi":"10.4230/LIPICS.ICLP.2011.28","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.28","url":"https://dblp.org/rec/conf/iclp/DrescherW11"}, "url":"URL#4693844" }, { "@score":"1", "@id":"4693845", "info":{"authors":{"author":{"@pid":"66/3818","text":"Michael Eichberg"}},"title":"Compiling Prolog to Idiomatic Java.","venue":"ICLP","pages":"84-94","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Eichberg11","doi":"10.4230/LIPICS.ICLP.2011.84","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.84","url":"https://dblp.org/rec/conf/iclp/Eichberg11"}, "url":"URL#4693845" }, { "@score":"1", "@id":"4693846", "info":{"authors":{"author":[{"@pid":"70/1143","text":"Paul Fodor"},{"@pid":"k/MichaelKifer","text":"Michael Kifer"}]},"title":"Transaction Logic with Defaults and Argumentation Theories.","venue":"ICLP","pages":"162-174","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/FodorK11","doi":"10.4230/LIPICS.ICLP.2011.162","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.162","url":"https://dblp.org/rec/conf/iclp/FodorK11"}, "url":"URL#4693846" }, { "@score":"1", "@id":"4693847", "info":{"authors":{"author":[{"@pid":"g/JPGallagher","text":"John P. Gallagher"},{"@pid":"23/306","text":"Michael Gelfond"}]},"title":"Frontmatter, Table of Contents, Preface, Conference Organization.","venue":"ICLP","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/GallagherG11","doi":"10.4230/LIPICS.ICLP.2011.I","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.i","url":"https://dblp.org/rec/conf/iclp/GallagherG11"}, "url":"URL#4693847" }, { "@score":"1", "@id":"4693848", "info":{"authors":{"author":[{"@pid":"64/2589","text":"Martin Gebser"},{"@pid":"09/1205","text":"Roland Kaminski"},{"@pid":"60/3303","text":"Benjamin Kaufmann"},{"@pid":"s/TorstenSchaub","text":"Torsten Schaub"}]},"title":"Multi-Criteria Optimization in Answer Set Programming.","venue":"ICLP","pages":"1-10","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/GebserKKS11","doi":"10.4230/LIPICS.ICLP.2011.1","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.1","url":"https://dblp.org/rec/conf/iclp/GebserKKS11"}, "url":"URL#4693848" }, { "@score":"1", "@id":"4693849", "info":{"authors":{"author":{"@pid":"h/MichaelHanus","text":"Michael Hanus"}},"title":"Declarative Processing of Semistructured Web Data.","venue":"ICLP","pages":"198-208","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Hanus11","doi":"10.4230/LIPICS.ICLP.2011.198","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.198","url":"https://dblp.org/rec/conf/iclp/Hanus11"}, "url":"URL#4693849" }, { "@score":"1", "@id":"4693850", "info":{"authors":{"author":[{"@pid":"92/6077","text":"Ángel Herranz-Nieva"},{"@pid":"m/JulioMarino","text":"Julio Mariño"}]},"title":"Synthesis of Logic Programs from Object-Oriented Formal Specifications.","venue":"ICLP","pages":"95-105","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Herranz-NievaM11","doi":"10.4230/LIPICS.ICLP.2011.95","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.95","url":"https://dblp.org/rec/conf/iclp/Herranz-NievaM11"}, "url":"URL#4693850" }, { "@score":"1", "@id":"4693851", "info":{"authors":{"author":[{"@pid":"16/762","text":"Ethan K. Jackson"},{"@pid":"51/912","text":"Nikolaj S. Bjørner"},{"@pid":"s/WolframSchulte","text":"Wolfram Schulte"}]},"title":"Canonical Regular Types.","venue":"ICLP","pages":"73-83","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/JacksonBS11","doi":"10.4230/LIPICS.ICLP.2011.73","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.73","url":"https://dblp.org/rec/conf/iclp/JacksonBS11"}, "url":"URL#4693851" }, { "@score":"1", "@id":"4693852", "info":{"authors":{"author":[{"@pid":"98/199","text":"Leslie De Koninck"},{"@pid":"04/1098","text":"Sebastian Brand"},{"@pid":"s/PeterJStuckey","text":"Peter J. Stuckey"}]},"title":"Constraints in Non-Boolean Contexts.","venue":"ICLP","pages":"117-127","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/KoninckBS11","doi":"10.4230/LIPICS.ICLP.2011.117","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.117","url":"https://dblp.org/rec/conf/iclp/KoninckBS11"}, "url":"URL#4693852" }, { "@score":"1", "@id":"4693853", "info":{"authors":{"author":{"@pid":"07/2478","text":"Thomas Krennwallner"}},"title":"Promoting Modular Nonmonotonic Logic Programs.","venue":"ICLP","pages":"274-279","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Krennwallner11","doi":"10.4230/LIPICS.ICLP.2011.274","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.274","url":"https://dblp.org/rec/conf/iclp/Krennwallner11"}, "url":"URL#4693853" }, { "@score":"1", "@id":"4693854", "info":{"authors":{"author":{"@pid":"15/9861","text":"Jael Kriener"}},"title":"Correct Reasoning about Logic Programs.","venue":"ICLP","pages":"280-283","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Kriener11","doi":"10.4230/LIPICS.ICLP.2011.280","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.280","url":"https://dblp.org/rec/conf/iclp/Kriener11"}, "url":"URL#4693854" }, { "@score":"1", "@id":"4693855", "info":{"authors":{"author":[{"@pid":"16/4005","text":"Jiefei Ma"},{"@pid":"79/683","text":"Alessandra Russo"},{"@pid":"11/6335","text":"Krysia Broda"},{"@pid":"l/ECLupu","text":"Emil Lupu"}]},"title":"Multi-agent Confidential Abductive Reasoning.","venue":"ICLP","pages":"175-186","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/MaRBL11","doi":"10.4230/LIPICS.ICLP.2011.175","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.175","url":"https://dblp.org/rec/conf/iclp/MaRBL11"}, "url":"URL#4693855" }, { "@score":"1", "@id":"4693856", "info":{"authors":{"author":[{"@pid":"06/6866","text":"Cristian Molinaro"},{"@pid":"67/3213","text":"Amy Sliva"},{"@pid":"s/VSSubrahmanian","text":"V. S. Subrahmanian"}]},"title":"Abduction in Annotated Probabilistic Temporal Logic.","venue":"ICLP","pages":"240-250","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/MolinaroSS11","doi":"10.4230/LIPICS.ICLP.2011.240","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.240","url":"https://dblp.org/rec/conf/iclp/MolinaroSS11"}, "url":"URL#4693856" }, { "@score":"1", "@id":"4693857", "info":{"authors":{"author":[{"@pid":"24/9862","text":"Colin J. Nicholson"},{"@pid":"s/DannyDeSchreye","text":"Danny De Schreye"},{"@pid":"56/2725","text":"Jon Sneyers"}]},"title":"Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise.","venue":"ICLP","pages":"231-239","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/NicholsonSS11","doi":"10.4230/LIPICS.ICLP.2011.231","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.231","url":"https://dblp.org/rec/conf/iclp/NicholsonSS11"}, "url":"URL#4693857" }, { "@score":"1", "@id":"4693858", "info":{"authors":{"author":[{"@pid":"92/5961","text":"Max Ostrowski"},{"@pid":"21/5088","text":"Giorgos Flouris"},{"@pid":"s/TorstenSchaub","text":"Torsten Schaub"},{"@pid":"a/GrigorisAntoniou","text":"Grigoris Antoniou"}]},"title":"Evolution of Ontologies using ASP.","venue":"ICLP","pages":"16-27","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/OstrowskiFSA11","doi":"10.4230/LIPICS.ICLP.2011.16","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.16","url":"https://dblp.org/rec/conf/iclp/OstrowskiFSA11"}, "url":"URL#4693858" }, { "@score":"1", "@id":"4693859", "info":{"authors":{"author":{"@pid":"41/9862","text":"Alexander Simko"}},"title":"Accepting the natural order of rules in a logic program with preferences.","venue":"ICLP","pages":"284-289","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Simko11","doi":"10.4230/LIPICS.ICLP.2011.284","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.284","url":"https://dblp.org/rec/conf/iclp/Simko11"}, "url":"URL#4693859" }, { "@score":"1", "@id":"4693860", "info":{"authors":{"author":[{"@pid":"24/1633","text":"Peter Wang"},{"@pid":"s/ZoltanSomogyi","text":"Zoltan Somogyi"}]},"title":"Minimizing the overheads of dependent {AND}-parallelism.","venue":"ICLP","pages":"128-138","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/WangS11","doi":"10.4230/LIPICS.ICLP.2011.128","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.128","url":"https://dblp.org/rec/conf/iclp/WangS11"}, "url":"URL#4693860" }, { "@score":"1", "@id":"4693861", "info":{"authors":{"author":{"@pid":"19/6566","text":"Walter W. Wilson"}},"title":"Implementation of Axiomatic Language.","venue":"ICLP","pages":"290-295","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Wilson11","doi":"10.4230/LIPICS.ICLP.2011.290","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.290","url":"https://dblp.org/rec/conf/iclp/Wilson11"}, "url":"URL#4693861" }, { "@score":"1", "@id":"4693862", "info":{"authors":{"author":{"@pid":"79/1535","text":"Zsolt Zombori"}},"title":"Two Phase Description Logic Reasoning for Efficient Information Retrieval.","venue":"ICLP","pages":"296-300","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/Zombori11","doi":"10.4230/LIPICS.ICLP.2011.296","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.296","url":"https://dblp.org/rec/conf/iclp/Zombori11"}, "url":"URL#4693862" }, { "@score":"1", "@id":"4693863", "info":{"authors":{"author":[{"@pid":"79/1535","text":"Zsolt Zombori"},{"@pid":"18/9862","text":"János Csorba"},{"@pid":"s/PeterSzeredi","text":"Péter Szeredi"}]},"title":"Static Type Checking for the Q Functional Language in Prolog.","venue":"ICLP","pages":"62-72","year":"2011","type":"Conference and Workshop Papers","access":"open","key":"conf/iclp/ZomboriCS11","doi":"10.4230/LIPICS.ICLP.2011.62","ee":"https://doi.org/10.4230/LIPIcs.ICLP.2011.62","url":"https://dblp.org/rec/conf/iclp/ZomboriCS11"}, "url":"URL#4693863" }, { "@score":"1", "@id":"4765330", "info":{"authors":{"author":[{"@pid":"g/JPGallagher","text":"John P. Gallagher"},{"@pid":"23/306","text":"Michael Gelfond"}]},"title":"Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA","venue":["ICLP","LIPIcs"],"volume":"11","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2011","type":"Editorship","key":"conf/iclp/2011","ee":"http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11006","url":"https://dblp.org/rec/conf/iclp/2011"}, "url":"URL#4765330" } ] } } } )