KR 2012 accepted papers list
Stefano Moretti and Alexis Tsoukiàs. Ranking sets of possibly interacting objects using Shapley extensions
Jinbo Huang. Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning
Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner and Stefan Woltran. Complexity-Sensitive Decision Procedures for Abstract Argumentation
Wolfgang Faber, Mirek Truszczynski and Stefan Woltran. Strong Equivalence of Qualitative Optimization Problems
Nicola Leone, Marco Manna, Giorgio Terracina and Pierfrancesco Veltri. Efficiently Computable Datalog^E Programs
Zhiqiang Zhuang and Maurice Pagnucco. Model Based Horn Contraction
Bernardo Cuenca Grau, Ernesto Jimenez-Ruiz, Evgeny Kharlamov and Dmitriy Zheleznyakov. Ontology Evolution under Semantic Constraints
Patrick Doherty, Jonas Kvarnström and Andrzej Szalas. Temporal Composite Actions with Constraints
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik and Zhe Wang. Acyclicity Conditions and their Application to Query Answering in Description Logics
Didier Dubois, Henri Prade and Steven Schockaert. Stable models in generalized possibilistic logic
Joseph Halpern and Willemien Kets. Ambiguous Language and Differences in Beliefs
Sebastian Haufe and Michael Thielscher. Automated Verification of Epistemic Properties for General Game Playing
Francesco Belardinelli, Alessio Lomuscio and Fabio Patrizi. An Abstraction Technique for the Verification of Artifact-Centric Systems
Stefan Borgwardt and Rafael Peñaloza. Undecidability of Fuzzy Description Logics
Nadia Creignou, Odile Papini, Reinhard Pichler and Stefan Woltran. Belief revision within fragments of propositional logic
Carsten Lutz and Frank Wolter. Non-Uniform Data Complexity of Query Answering in Description Logics
Carsten Lutz, Inanc Seylan and Frank Wolter. An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL
Christer Bäckström and Peter Jonsson. Abstracting Abstraction in Search with Applications to Planning
Nic Wilson and Radu Marinescu. An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities
Martin Lackner and Andreas Pfandler. Fixed-Parameter Algorithms for Finding Minimal Models
Georg Gottlob and Thomas Schwentick. Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva and Pierre Marquis. On Unit-Refutation Complete Formulae with Existentially Quantified Variables
Zeinab Bahmani, Leopoldo Bertossi, Solmaz Kolahi and Laks Lakshmanan. Declarative Entity Resolution via Matching Dependencies and Answer Set Programs
Yevgeny Kazakov, Markus Krötzsch and Frantisek Simancik. Practical Reasoning with Nominals in the EL Family of Description Logics
Vladimir Lifschitz. Logic Programs with Intensional Functions
Vincent Conitzer and Lirong Xia. Paradoxes of Multiple Elections: An Approximation Approach
Grastien Alban, Patrik Haslum and Sylvie Thiebaux. Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice
Jonathan Lawry and Didier Dubois. A Bipolar Framework for Combining Beliefs about Vague Propositions
Kira Adaricheva, Robert Sloan, Gyorgy Turan and Balazs Szorenyi. Horn Belief Contraction: Remainders, Envelopes and Complexity
Davide Grossi. Fixpoints and Iterated Updates in Abstract Argumentation
Michaë l Thomazo, Jean-François Baget, Marie-Laure Mugnier and Sebastian Rudolph. A generic querying algorithm for greedy sets of existential rules
Meghyn Bienvenu, Carsten Lutz and Frank Wolter. Query Containment in Description Logics Reconsidered
Silvano Colombo Tosatto, Guido Boella, Leon Van Der Torre and Serena Villata. Abstract Normative Systems: Semantics and Proof Theory
Giuseppe De Giacomo, Paolo Felli and Alessio Lomuscio. Synthesizing agent protocols for LTL specifications against multiple partially-observable environments
Mariano Rodriguez-Muro and Diego Calvanese. High Performance Query Answering over DL-Lite Ontologies
Michael Fink. Paraconsistent Hybrid Theories
Giuseppe De Giacomo, Yves Lespérance and Fabio Patrizi. Bounded Situation Calculus Action Theories and Decidable Verification
Stanislav Kikot, Roman Kontchakov and Michael Zakharyaschev. Conjunctive Query Answering with OWL 2 QL
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer and Hans Tompits. On the Small-Scope Hypothesis for Testing Answer-Set Programs
Gerhard Lakemeyer and Hector J. Levesque. Only-Knowing Meets Nonmonotonic Modal Logic
Henri Prade and Gilles Richard. Homogeneous logical proportions: Their unicity and their role in similarity-based prediction
Guohua Liu, Tomi Janhunen and Ilkka Niemela. Answer Set Programming via Mixed Integer Programming
Richard Booth, Eduardo Ferme, Sébastien Konieczny and Ramon Pino Perez. Credibility limited revision operators in propositional logic
James Delgrande and Hector Levesque. Belief revision with sensing and fallible actions
Onofrio Febbraro, Giovanni Grasso, Nicola Leone and Francesco Ricca. JASP: a framework for integrating Answer Set Programming with Java
Michael Bartholomew and Joohyung Lee. Stable Models of Formulas with Intensional Functions
Riccardo Rosati and Enrico Franconi. Generalized ontology-based production systems
Chitta Baral and Shanshan Liang. From Knowledge Represented in Frame-based Languages to Declarative Representation & Reasoning via Answer Set Programming
Tran Cao Son and Vinay Chaudhri. Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming
Martin Slota and Joao Leite. Robust Equivalence Models for Semantic Updates of Answer-Set Programs
Jochen Renz. Implicit Constraints for Qualitative Spatial and Temporal Reasoning
Hector Levesque, Ernest Davis and Leora Morgenstern. The Winograd Schema Challenge
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe and Marc Denecker. Ordered Epistemic Logic
KR2012 Accepted Short Papers
Jinbo Huang. Search Strategy Simulation in Constraint Booleanization
Yisong Wang, Yan Zhang, Yi Zhou and Mingyi Zhang. Forgetting in Logic Programs under Strong Equivalence
Diego Calvanese, Magdalena Ortiz, Mantas Simkus and Giorgio Stefanoni. The Complexity of Explaining Negative Query Answers in DL-Lite
Matthew Horridge, Bijan Parsia and Ulrike Sattler. Justification Masking in Ontologies
Franz Baader, Stefan Borgwardt and Barbara Morawska. Extending Unification in EL towards General TBoxes
Maximiliano Celmo David Budán, Mauro Gómez Lucero, Carlos Iván Chesñevar and Guillermo Ricardo Simari. Modelling Time añtured Argumentation Frameworks
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris and Spyros Kotoulas. Towards Parallel Nonmonotonic Reasoning with Billions of Facts
Cristina Feier. Worst-case Optimal Reasoning with Forest Logic Programs
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov and Evgeny Sherkhonov. Exchanging Description Logic Knowledge Bases
Robert Craven, Francesca Toni, Adrian Hadad and Matthew Williams. Efficient Support for Medical Argumentation
Laura Giordano, Alberto Martelli and Daniele Theseider Dupre'. Achieving completeness in bounded model checking of action theories in ASP
Jiewen Wu, Alexander Hudek, David Toman and Grant Weddell. Assertion Absorption in Object Queries over Knowledge Bases
Jianbing Ma, Salem Benferhat and Weiru Liu. Revising partial pre-orders with partial pre-orders: A unit-based revision framework
Patricia Everaere, Sébastien Konieczny and Pierre Marquis. Compositional Belief Merging
Chitta Baral and Juraj Dzifcak. Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning how to do that Translation
Anthony G. Cohn, Jochen Renz and Muralikrishna Sridhar. Thinking inside the box: A comprehensive spatial representation for video analysis
Sylvie Coste-Marquis, Sébastien Konieczny and Pierre Marquis. Weighted Attacks in Argumentation Frameworks
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu and Torsten Schaub. Stream Reasoning with Answer Set Programming
ESWC 2012 accepted papers list
Research & Special Tracks
Nuno Freire, Jose Borbinha and Pável Calado. An approach for Named Entity Recognition in Poorly Structured Data.
Craig Knoblock, Pedro Szekely, José Luis Ambite, Aman Goel, Shubham Gupta, Kristina Lerman, Parag Mallick, Maria Muslea and Mohsen Taheriyan. Semi-Automatically Mapping Structured Sources into the Semantic Web.
Stefan Schulte, Ulrich Lampe, Matthias Klusch and Ralf Steinmetz. COV4SWS.KOM: Information Quality-aware Matchmaking for Semantic Services C.
Maria Keet, Francis De La C. Fernandez Reyes and Annette Morales Gonzalez-Quevedo. Representing mereotopological relations in OWL ontologies with OntoPartS.
Vianney Le Clément De Saint-Marcq, Yves Deville, Christine Solnon and Pierre-Antoine Champin. Castor: a Constraint-based SPARQL Engine with Active Filter Processing.
Emilio Rubiera, Luis Polo, Diego Berrueta and Adil El Ghali. TELIX: An RDF-based Model for Linguistic Annotation.
Olaf Hartig. Is SPARQL suitable for Linked Data on the Web?
Francois Picalausa, Yongming Luo, George H. L. Fletcher, Jan Hidders and Stijn Vansummeren. A Structural Approach to Indexing Triples.
Yves Raimond and Mark Sandler. Evaluation of the Music Ontology framework.
Despoina Magka, Boris Motik and Ian Horrocks. Modelling Structured Domains Using Description Graphs and Logic Programming.
Danica Damljanovic, Milan Stankovic and Philippe Laublet. Linked Data-based Concept Recommendation: Comparison of Different Methods in Open Innovation Scenario.
Milan Stankovic, Matthew Rowe and Philippe Laublet. Finding Co-solvers on Twitter, with a Little Help from Linked Data.
David Carral Martínez and Pascal Hitzler. Extending Description Logic Rules.
Isabelle Augenstein, Sebastian Padó and Sebastian Rudolph. LODifier: Generating Linked Data from Unstructured Text.
Gregoire Burel, Yulan He and Harith Alani. Automatic Identification of Best Answers in Online Enquiry Communities.
Fadi Maali, Richard Cyganiak and Vassilios Peristeras. A publishing pipeline for Linked Government Data.
Andriy Nikolov, Mathieu D'Aquin and Enrico Motta. Unsupervised Learning of Data Linking Configuration.
Tuukka Ruotsalo. Domain Specific Data Retrieval on the Semantic Web.
Miguel A. Martinez-Prieto, Mario Arias Gallego and Javier D. Fernández. Exchange and Consumption of Huge RDF Data
Andreas Wagner, Thanh Tran, Günter Ladwig and Andreas Harth. Top-K Linked Data Query Processing.
Carlo Allocca, Mathieu D'Aquin and Enrico Motta. Using Relationships Between Ontologies To Enhance Ontology Search.
Uta Lösch, Stephan Bloehdorn and Achim Rettinger. Graph Kernels for RDF data.
Lorena Etcheverry and Alejandro A. Vaisman. Enhancing OLAP Analysis with Web Cubes.
Audun Stolpe and Martin G. Skjæveland. Preserving Information Content in RDF using Bounded Homomorphisms.
Nor Azlinayati Abdul Manaf, Sean Bechhofer and Robert Stevens. The current state of SKOS vocabularies on the Web.
Andrés García-Silva, Jeon-Hyung Kang, Kristina Lerman and Oscar Corcho. Characterising Emergent Semantics in Twitter Lists.
Axel-Cyrille Ngonga Ngomo and Klaus Lyko. EAGLE: Efficient Active Learning of Link Specifications using Genetic Programming.
Peter Triantafillou and Dimitris Karampinas. Crowdsourcing Taxonomies.
Claus Zinn, Christina Hoppermann and Thorsten Trippel. The ISOcat Registry Reloaded.
Xueyan Jiang, Yi Huang, Maximilian Nickel and Volker Tresp. Exploiting Information Extraction, Reasoning and Machine Learning for Relation Prediction.
Christophe Guéret, Paul Groth, Claus Stadler and Jens Lehmann. Assessing Linked Data Mappings using Network Measures.
Melike Sah and Vincent Wade. A Novel Concept-based Search for the Web of Data using UMBEL and a Fuzzy Retrieval Model.
Victor De Boer, Jan Wielemaker, Judith Van Gent, Michiel Hildebrand, Antoine Isaac, Jacco Van Ossenbruggen and Guus Schreiber. Supporting Linked Data Production for Cultural Heritage institutes: The Amsterdam Museum Case Study.
Paul Mulholland, Annika Wolff and Trevor Collins. curate and storyspace: An ontology and web-based environment for describing curatorial narratives.
Steven Aanen, Lennart Nederstigt, Damir Vandic and Flavius Frasincar. SCHEMA - An Algorithm for Automated Product Taxonomy Mapping in E-commerce.
Isabel F. Cruz, Alessio Fabiani, Federico Caimi, Cosmin Stroe and Matteo Palmonari. Automatic Configuration Selection Using Ontology Matching Task Profiling.
Christian Chiarcos. POWLA: Modeling linguistic corpora in OWL/DL.
Amal Zouaq, Dragan Gasevic and Marek Hatala. Voting Theory for Concept Detection.
Lorand Dali, Blaz Fortuna, Thanh Tran Duc and Dunja Mladenic. Learning the Query-Independent Ranking of RDF Entity Search Results.
Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Wolfram Sperber, Michael Kohlhase and Ioannis Antoniou. Getting Mathematics Towards the Web of Data: the Case of the Mathematics Subject Classification.
Riccardo Rosati. Prexto: Query Rewriting under Extensional Constraints in DL-Lite.
In-Use & Industrial Track
Heiko Paulheim. Generating Possible Interpretations for Statistics from Linked Open Data.
Takahiro Kawamura. Green-Thumb Camera: LOD Application for Field IT.
Guillermo González-Moriyón, Luis Polo, Diego Berrueta, Carlos Tejo-Alonso and Miguel Iglesias. Assembling Rule Mashups in the Semantic Web.
Edouard Chevalier and François-Paul Servant. Product customization as Linked Data.
Thomas Meilender, Jean Lieber, Fabien Palomares and Nicolas Jay. From Web 1.0 to Social Semantic Web: Lessons Learnt from a Migration to a Medical Semantic Wiki.
Christian Stab, Kawa Nazemi, Matthias Breyer and Dirk Burkhardt. Semantics Visualization for Fostering Search Result Comprehension.
Alison Callahan and Michel Dumontier. Evaluating scientific hypotheses using the SPARQL Inferencing Notation.
Stefan Scheglmann, Ansgar Scherp and Steffen Staab. Declarative Representation of Programming Access to Ontologies.
Daniel Sonntag, Jochen Setz and Sonja Zillner. Clinical Trial and Disease Search With Ad Hoc Interactive Ontology Alignments.
Aidan Hogan, Marc Mellotte, Gavin Powell and Dafni Stampouli. Towards Inductive Query-Relaxation for RDF.
Rahul Parundekar and Kentaro Oguchi. Learning Driver Preferences of POIs using a Semantic Web Knowledge System.
[返回] 中文XML论坛 - 专业的XML技术讨论区 →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → KR 2012 & ESWC 2012 accepted papers
(订阅本版)
2012/3/6 18:24:00
新浪微博
KR 2012 & ESWC 2012 accepted papers
