Publications

Please respect the copyright-notice (.html .pdf).
Guidelines to submit your REWERSE related publication can be found here.

Research Papers

2008

• REWERSE-RP-2008-041
  Dimitra Alexopoulou, Thomas Wächter, Laura Pickersgill, Cecilia Eyre, and Michael Schroeder:
  Terminologies for text-mining; an experiment in the lipoprotein metabolism domain.
  Complete Text [.pdf, 528KB]
  BMC Bioinformatics 9(Suppl 4) (S2), April 2008
  © BioMed Central

• REWERSE-RP-2008-040
  Rolf Grütter:
  Semantic Web zur Unterstützung von Wissensgemeinschaften.
  Semantic Web zur Unterstützung von Wissensgemeinschaften, April 2008, ISBN 978-3-486-58626-8
  © Oldenbourg Wissenschaftsverlag

• REWERSE-RP-2008-039
  Erik Behrends, Oliver Fritzen, Wolfgang May, and Franz Schenk:
  Embedding Event Algebras and Process Algebras in a Framework for ECA Rules for the Semantic Web.
  Fundamenta Informaticae 82 (3), 237-263, April 2008
  © IOS Press

• REWERSE-RP-2008-038
  Erik Behrends, Oliver Fritzen, and Wolfgang May:
  Integrating and querying distributed XML data via XLINK.
  Information Systems 33 (6), 508-566, September 2008
  © Elsevier

• REWERSE-RP-2008-037
  Piero A. Bonatti and Fabio Mogavero:
  Comparing rule-based policies.
  Proceedings of 2008 IEEE Workshop on Policies for Distributed Systems and Networks (POLICY 2008), Palisades, NY, USA (2nd - 4th June 2008), Organization: IEEE, 11-18, June 2008, ISBN 978-0-7695-3133-5
  © IEEE Computer Society

• REWERSE-RP-2008-036
  David Byers and Nahid Shahmehri:
  A Cause-Based Approach to Preventing Software Vulnerabilities.
  Proceedings of Third International Conference on Availability, Reliability and Security (ARES 2008), Barcelona , Spain (4th - 7th March 2008), 276-283, March 2008
  © IEEE Computer Society

• REWERSE-RP-2008-035
  Shanai Ardi and Nahid Shahmehri:
  Integrating a Security Plug-in with the OpenUP/Basic Development process.
  Proceedings of Third International Conference on Availability, Reliability and Security (ARES 2008), Barcelona, Spain (4th - 7th March 2008), 284-291, March 2008
  © IEEE Computer Society

• REWERSE-RP-2008-034
  Patrick Lambrix and He Tan:
  Albert Burger, Duncan Davidson, and Richard Baldock (editors):
  Ontology Alignment and Merging.
  Anatomy Ontologies for Bioinformatics: Principles and Practice, Computational Biology 6, 133-149, April 2008, ISBN 978-1-84628-884-5
  © Springer

• REWERSE-RP-2008-033
  Richard Baldock and Albert Burger:
  Albert Burger, Duncan Davidson, and Richard Baldock (editors):
  Anatomical Ontologies: Linking Names to Places in Biology.
  Anatomy Ontologies for Bioinformatics: Principles and Practice, Computational Biology 6, 197-211, April 2008, ISBN 978-1-84628-884-5
  © Springer

• REWERSE-RP-2008-032
  Albert Burger and Jonathan Bard:
  Albert Burger, Duncan Davidson, and Richard Baldock (editors):
  XSPAN: A Cross-Species Anatomy Network.
  Anatomy Ontologies for Bioinformatics: Principles and Practice, Computational Biology 6, 163-175, April 2008, ISBN 978-1-84628-884-5
  © Springer

• REWERSE-RP-2008-031
  Albert Burger, Duncan Davidson, and Richard Baldock (editors):
  Anatomy Ontologies for Bioinformatics: Principles and Practice.
  Anatomy Ontologies for Bioinformatics: Principles and Practice, Computational Biology 6, April 2008, ISBN 978-1-84628-884-5
  © Springer

• REWERSE-RP-2008-030
  Kenneth McLeod and Albert Burger:
  Towards the use of Argumentation in Bioinformatics: A Gene Expression Case Study.
  Complete Text [.pdf, 438KB]
  Proceedings of 16th Annual International Conference Intelligent Systems for Molecular Biology (ISMB 2008), Toronto, Canada (19th - 23rd July 2008), Organization: ISCB 24 (13), i304-i312, July 2008
  © Oxford University Press

• REWERSE-RP-2008-029
  Magdalena Ortiz, Mantas Šimkus, and Thomas Eiter:
  Conjunctive Query Answering in SH using Knots.
  Complete Text [.pdf, 140KB]
  Proceedings of 21st International Workshop on Description Logics (DL2008), Dresden, Germany (13th - 16th May 2008) 353, May 2008
  © CEUR Workshop Proceedings

• REWERSE-RP-2008-028
  Magdalena Ortiz, Mantas Šimkus, and Thomas Eiter:
  Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
  Complete Text [.pdf, 159KB]
  Proceedings of Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), Chicago, Illinois, USA (13th - 17th July 2008), Organization: AAAI, 504-510, July 2008, ISBN 978-1-57735-368-3
  © AAAI Press

• REWERSE-RP-2008-027
  Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits:
  Combining Answer Set Programming with Description Logics for the Semantic Web.
  Artificial Intelligence 172 (12-13), 1495-1539, August 2008
  © Elsevier

• REWERSE-RP-2008-026
  François Fages and Aurélien Rizk:
  On Temporal Logic Constraint Solving for Analyzing Numerical Data Time Series.
  Complete Text [.pdf, 238KB]
  Transactions on Computational Systems Biology, 2008
  © Springer

• REWERSE-RP-2008-025
  François Fages and Sylvain Soliman:
  From Reaction Models to Influence Graphs and Back: a Theorem.
  Complete Text [.pdf, 346KB]
  Proceedings of First International Workshop on Formal Methods in Systems Biology (FMSB 2008), Cambridge, UK (4th - 5th June 2008), LNCS 5054, June 2008, ISBN 978-3-540-68410-7
  © Springer

• REWERSE-RP-2008-024
  François Fages and Sylvain Soliman:
  Formal Cell Biology in Biocham.
  Complete Text [.pdf, 552KB]
  Proceedings of 8th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology (SFM-08:Bio), Bertinoro, Italy (2nd - 7th June 2008), LNCS 5016, 54-80, June 2008, ISBN 978-3-540-68892-1
  © Springer

• REWERSE-RP-2008-023
  François Fages and Sylvain Soliman:
  Abstract Interpretation and Types for Systems Biology.
  Complete Text [.pdf, 412KB]
  Theoretical Computer Science, 2008
  © Elsevier

• REWERSE-RP-2008-022
  Edgar-Philipp Stoffel and Hans Jürgen Ohlbach:
  Versatile Route Descriptions for Pedestrian Guidance in Buildings - Conceptual Model and Systematic Method.
  Proceedings of 11th AGILE International Conference on Geographic Information Science (AGILE 2008), Girona, Spain (5th - 8th May 2008), Organization: AGILE, LNGC, May 2008, ISBN 978-3-540-78945-1
  © Springer

• REWERSE-RP-2008-021
  Abdel-Rahman H. Tawil, Matthew Montebello, Rami Bahsoon, W. Alex Gray, and Nick J. Fiddian:
  Interschema Correspondence Establishment in a Cooperative OWL-Based Multi-Information Server Grid Environment.
  Information Sciences 178 (4), 1011-1031, February 2008
  © Elsevier

• REWERSE-RP-2008-020
  Sacha Berger:
  Regular Rooted Graph Grammars - A Web Type and Schema Language.
  Complete Text [.pdf, 3.98MB]
  PhD Thesis, Institute for Informatics, University of Munich, February 2008
  Regular Rooted Graph Grammars - A Web Type and Schema Language, February 2008
  © University Library Munich

• REWERSE-RP-2008-019
  Artur Wilk:
  Types for XML with Application to Xcerpt.
  Complete Text [.pdf, 1.25MB]
  PhD Thesis, Linköping University, Department of Computer and Information Science, February 2008
  Types for XML with Application to Xcerpt, Linköping studies in science and technology. Dissertations 1156, February 2008, ISBN 978-91-85895-08-3
  © Linköping University, Department of Computer and Information Science

• REWERSE-RP-2008-018
  Tobias Kuhn:
  AceWiki: A Natural and Expressive Semantic Wiki.
  Complete Text [.pdf, 496KB]
  Proceedings of Workshop Semantic Web User Interaction at CHI 2008: Exploring HCI Challenges, Florence, Italy (5th April 2008), April 2008
  © CEUR Workshop Proceedings

• REWERSE-RP-2008-017
  Rolf Schwitter, Kaarel Kaljurand, Anne Cregan, Catherine Dolbear, and Glen Hart:
  A Comparison of three Controlled Natural Languages for OWL 1.1.
  Complete Text [.pdf, 146KB]
  Proceedings of Fourth International Workshop on OWL: Experiences and Directions (OWLED 2008), Washington, D.C., USA (1st - 2nd April 2008), April 2008

• REWERSE-RP-2008-016
  Federico Banti:
  Evolving Reactive Logic Programs.
  PhD Thesis, Department of Computer Science, New University of Lisbon, February 2008
  Evolving Reactive Logic Programs, February 2008

• REWERSE-RP-2008-015
  Oliver Fritzen:
  Modeling and Querying of Distributed XML Data in Presence of 3rd Party Links.
  Complete Text [.pdf, 1.31MB]
  PhD Thesis, Faculty of Mathematics, Goettingen University, January 2008
  Modeling and Querying of Distributed XML Data in Presence of 3rd Party Links, January 2008
  © Goettingen State and University Library

• REWERSE-RP-2008-014
  Rolf Grütter, Bettina Bauer-Messmer, and Marcel Frehner:
  First Experiences with an Ontology-Based Search for Environmental Data.
  Proceedings of 11th AGILE International Conference on Geographic Information Science (AGILE 2008), Girona, Spain (5th - 8th May 2008), Organization: AGILE, LNGC, May 2008, ISBN 978-3-540-78945-1
  © Springer

• REWERSE-RP-2008-013
  Aida Vitória, Andrzej Szałas, and Jan Małuszyński:
  Four-valued Extension of Rough Sets.
  Complete Text [.pdf, 158KB]
  Proceedings of Third International Conference on Rough Sets and Knowledge Technology (RSKT 2008), Chengdu, China (17th - 19th May 2008), LNCS 5009, 106-114, May 2008, ISBN 978-3-540-79720-3
  © Springer

• REWERSE-RP-2008-012
  Kaarel Kaljurand:
  Attempto Controlled English as a Semantic Web Language.
  Complete Text [.pdf, 1.42MB]
  PhD Thesis, Faculty of Mathematics and Computer Science, University of Tartu, January 2008
  Attempto Controlled English as a Semantic Web Language, January 2008
  © Tartu University Press

• REWERSE-RP-2008-011
  Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, and Gerd Wagner:
  Extended RDF as a Semantic Foundation of Rule Markup Languages.
  Complete Text [.pdf, 559KB]
  Journal of Artificial Intelligence Research 32, 37-94, May 2008
  © AAAI Press

• REWERSE-RP-2008-010
  Fabian Abel, Nicola Henze, and Daniel Krause:
  A Novel Approach to Social Tagging: GroupMe!.
  Proceedings of 4th International Conference on Web Information Systems and Technologies (WEBIST 2008), Funchal, Madeira, Portugal (4th - 7th May 2008), May 2008

• REWERSE-RP-2008-009
  Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, and Giovambattista Ianni:
  Exploiting Conjunctive Queries in Description Logic Programs.
  Complete Text [.pdf, 171KB]
  Proceedings of Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, Florida, USA (2nd - 4th January 2008), January 2008

• REWERSE-RP-2008-008
  Grigoris Antoniou and Martin Doerr:
  Challenges and Principles in Teaching Semantic Web Technologies.
  International Journal of Teaching and Case Studies (IJTCS), 2008
  © Inderscience Publishers

• REWERSE-RP-2008-007
  Giorgos Flouris, Dimitris Manakanatas, Haridimos Kondylakis, Dimitris Plexousakis, and Grigoris Antoniou:
  Ontology change: classification and survey.
  Complete Text [.pdf, 1.66MB]
  The Knowledge Engineering Review 23 (2), 117-152, May 2008
  © Cambridge University Press

• REWERSE-RP-2008-006
  Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, and Dimitris Zeginis:
  Proof Explanation for a Nonmonotonic Semantic Web Rules Language.
  Data & Knowledge Engineering 64 (3), 662-687, March 2008
  © Elsevier

• REWERSE-RP-2008-005
  François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, and Marc Weinberger:
  The Facility Control Markup Language FCML.
  Proceedings of Second International Conference on the Digital Society (ICDS 2008), Sainte Luce, Martinique (10th - 15th February 2008), Organization: IARIA, 117-122, February 2008, ISBN 978-0-7695-3087-1
  © IEEE Computer Society

• REWERSE-RP-2008-004
  Rolf Grütter, Bettina Bauer-Messmer, and Martin Hägeli:
  Extending an Ontology-based Search with a Formalism for Spatial Reasoning.
  Proceedings of 23rd Annual ACM Symposium on Applied Computing (SAC 2008), Fortaleza, Brazil (16th - 20th March 2008), Organization: ACM, 2266-2270, March 2008, ISBN 978-1-59593-753-7
  © ACM Press

• REWERSE-RP-2008-003
  Włodzimierz Drabent and Jan Małuszyński:
  Well-Founded Semantics for Hybrid Rules.
  Knowledge and Information Systems, 2008
  © Springer

• REWERSE-RP-2008-002
  Pedro Barahona and Ludwig Krippahl:
  Constraint Programming in Structural Bioinformatics.
  Complete Text [.pdf, 597KB]
  Constraints Journal - Special Issue on Constraint based methods for Bioinformatics 13 (1), 3-20, March 2008
  © Springer

• REWERSE-RP-2008-001
  Sebastian Will, Anke Busch, and Rolf Backofen:
  Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination.
  Complete Text [.pdf, 397KB]
  Constraints Journal - Special Issue on Constraint based methods for Bioinformatics 13 (1), 110-129, April 2008
  © Springer

2007

• REWERSE-RP-2007-164
  Grigoris Antoniou:
  Jorge Cardoso (editor):
  Web Ontology Languages.
  Semantic Web Services - Theory, Tools, and Applications, March 2007, ISBN 978-1-59904-045-5
  © IGI Publishing

• REWERSE-RP-2007-163
  Aitor Arnaiz Irigaray, Benoit Iung, Erkki Jantunen, Eric Levrat, and Eduardo Gilabert:
  DYNAWeb, a Web Platform for Flexible Provision of E-Maintenance Services.
  Proceedings of Second World Congress on Engineering Asset Management and Fourth International Conference on Condition Monitoring (WCEAM-CM2007), Harrogate, UK (11th - 14th June 2007), 174-182, June 2007, ISBN 978-1-901892-22-2
  © The Coxmoor Publishing Company

• REWERSE-RP-2007-162
  Eduardo Gilabert, Susana Ferreiro, and Aitor Arnaiz Irigaray:
  Web Services System for Distributed Technology Upgrade Within an e-Maintenance Framework.
  Proceedings of 3rd International Workshop On Agents and Web Services in Distributed Environments (AWeSOMe '07), Vilamoura, Algarve, Portugal (26th - 27th November 2007), LNCS 4805, 149-157, November 2007, ISBN 978-3-540-76887-6
  © Springer

• REWERSE-RP-2007-161
  Almut Herzog and Nahid Shahmehri:
  Usability and Security of Personal Firewalls.
  Complete Text [.pdf, 213KB]
  Proceedings of 22nd IFIP TC-11 International Information Security Conference (SEC2007), Sandton, South Africa (14th - 16th May 2007), Organization: IFIP, IFIP 232, 37-48, May 2007, ISBN 978-0-387-72366-2
  © Springer

• REWERSE-RP-2007-160
  Manfred Hauswirth, Alberto Montresor, Nahid Shahmehri, Klaus Wehrle, and Adam Wierzbicki (editors):
  Proceedings of the Seventh IEEE International Conference on Peer to Peer Computing (P2P2007).
  Proceedings of The Seventh IEEE International Conference on Peer to Peer Computing (P2P2007), September 2007, ISBN 0-7695-2986-0
  © IEEE Computer Society

• REWERSE-RP-2007-159
  Almut Herzog and Nahid Shahmehri:
  User Help Techniques for Usable Security.
  Proceedings of 1st Symposium on Computer Human Interaction for Management of Information Technology (CHIMIT 07), Cambridge, MA, USA (30th - 31st March 2007), Organization: ACM, March 2007, ISBN 1-59593-635-6
  © ACM Press

• REWERSE-RP-2007-158
  Almut Herzog and Nahid Shahmehri:
  Usable Set-up of Runtime Security Policies.
  Complete Text [.pdf, 161KB]
  Proceedings of International Symposium on Human Aspects of Information Security & Assurance (HAISA 2007), Plymouth, UK (10th July 2007), 99-113, July 2007, ISBN 978-1-84102-174-4
  © University of Plymouth

• REWERSE-RP-2007-157
  Almut Herzog and Nahid Shahmehri:
  Usable Set-up of Runtime Security Policies.
  Information Management & Computer Security 15 (5), 394-407, July 2007
  © Emerald Group Publishing Limited

• REWERSE-RP-2007-156
  David Byers and Nahid Shahmehri:
  Design of a Process for Software Security.
  Complete Text [.pdf, 221KB]
  Proceedings of Second International Conference on Availability, Reliability and Security (ARES 2007), Vienna, Austria (10th - 13th April 2007), 301-309, April 2007, ISBN 0-7695-2775-2
  © IEEE Computer Society

• REWERSE-RP-2007-155
  Shanai Ardi, David Byers, Per Håkon Meland, Inger Anne Tødel, and Nahid Shahmehri:
  How can the developer benefit from security modeling?.
  Proceedings of First International Workshop on Secure Software Engineering (SecSE 2007), Vienna, Austria (10th - 13th April 2007), 1017-1025, April 2007, ISBN 0-7695-2775-2
  © IEEE Computer Society

• REWERSE-RP-2007-154
  Patrick Lambrix, He Tan, Vaida Jakoniene, and Lena Strömbäck:
  Christopher J. O. Baker and Kei-Hoi Cheung (editors):
  Biological Ontologies.
  Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences, 85-99, April 2007, ISBN 978-0-387-48436-5
  © Springer

• REWERSE-RP-2007-153
  Nicholas Micallef and Matthew Montebello:
  Poster: The Deployment of Major Principles of Pervasive Computing on Wearable Devices.
  Proceedings of Second International Conference on Internet Technologies & Applications (ITA07), Wrexham, North Wales, UK (4th - 7th September 2007), 250-253, September 2007, ISBN 978-0-9468-8154-3
  © North East Wales Institute of Higher Education (NEWI)

• REWERSE-RP-2007-152
  Vanessa Camilleri and Matthew Montebello:
  Smart Web Learning Applications: the InDy Assistant.
  Proceedings of IADIS International Conference e-Learning 2007, Lisbon, Portugal (6th - 8th July 2007), Organization: IADIS, July 2007

• REWERSE-RP-2007-151
  Vanessa Camilleri and Matthew Montebello:
  Poster: Enhanced Dynamicity for Web Learning Applications: Web technologies on the move.
  Proceedings of Second International Conference on Internet Technologies & Applications (ITA07), Wrexham, North Wales, UK (4th - 7th September 2007), 254-257, September 2007, ISBN 978-0-9468-8154-3
  © North East Wales Institute of Higher Education (NEWI)

• REWERSE-RP-2007-150
  Jimmy Borg and Matthew Montebello:
  A Personal Semantic Desktop.
  Proceedings of Second International Conference on Internet Technologies & Applications (ITA07), Wrexham, North Wales, UK (4th - 7th September 2007), 258-263, September 2007, ISBN 978-0-9468-8154-3
  © North East Wales Institute of Higher Education (NEWI)

• REWERSE-RP-2007-149
  Juri Luca De Coi, Ekaterini Ioannou, Arne W. Koesling, Wolfgang Nejdl, and Daniel Olmedilla:
  Access Control for Sharing Semantic Data across Desktops.
  Complete Text [.pdf, 460KB]
  Proceedings of 1st International Workshop on Privacy Enforcement and Accountability with Semantics (PEAS07), Busan, Korea (12th November 2007) 320, 36-45, November 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-148
  Juri Luca De Coi and Daniel Olmedilla:
  A Flexible Policy-Driven Trust Negotiation Model.
  Complete Text [.pdf, 384KB]
  Proceedings of 2007 IEEE / WIC / ACM International Conference on Intelligent Agent Technology (IAT 2007), Silicon Valley, USA (2nd - 5th November 2007), Organization: IEEE, WIC, ACM, 450-453, November 2007, ISBN 0-7695-3027-3
  © IEEE Computer Society

• REWERSE-RP-2007-147
  Matteo Baldoni, Guido Boella, and Leendert van der Torre:
  Adding Roles to Relationship Patterns.
  Complete Text [.pdf, 76KB]
  Proceedings of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software (WOA 2007), Genova, Italy (24th - 25th September 2007), 112-125, September 2007, ISBN 978-88-6122-061-4
  © Seneca Edizioni

• REWERSE-RP-2007-146
  Eduardo Torres-Schumann, Uwe Mönnich, and Klaus U. Schulz:
  Integration Languages for Data-Driven Approaches to Ontology Population and Maintenance.
  Complete Text [.pdf, 621KB]
  GLDV-Journal for Computational Linguistics and Language Technology 22 (2), 35-49, December 2007
  © GLDV

• REWERSE-RP-2007-145
  Martin Slota and João A. Leite :
  EVOLP - Transformation-based Implementation.
  Proceedings of Eighth Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Porto, Portugal (10th - 11th September 2007), 290-294, September 2007

• REWERSE-RP-2007-144
  Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, and Claudio Schifanella:
  Service selection by choreography-driven matching.
  Complete Text [.pdf, 444KB]
  Proceedings of 2nd Workshop on Emerging Web Services Technology (WEWST 2007), Halle (Saale), Germany (26th November 2007) 313, November 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-143
  Mantas Šimkus and Thomas Eiter:
  FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.
  Complete Text [.pdf, 292KB]
  Proceedings of 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia (15th - 19th October 2007), LNCS 4790, 514-530, October 2007, ISBN 978-3-540-75558-6
  © Springer

• REWERSE-RP-2007-142
  Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer:
  Exploiting Conjunctive Queries in Description Logic Programs.
  Complete Text [.pdf, 200KB]
  Proceedings of 20th International Workshop on Description Logics (DL2007), Brixen-Bressanone, Italy (8th - 10th June 2007) 250, 259-266, June 2007, ISBN 978-88-6046-008-5
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-141
  Thomas Eiter:
  Answer Set Programming for the Semantic Web (Tutorial).
  Proceedings of 23rd International Conference on Logic Programming (ICLP'2007), Porto, Portugal (8th - 13th September 2007), Organization: ALP, LNCS 4670, 23-26, September 2007, ISBN 978-3-540-74608-9
  © Springer

• REWERSE-RP-2007-140
  Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination:
  Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits.
  Complete Text [.pdf, 174KB]
  Proceedings of Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India (6th - 12th January 2007), Organization: IJCAI, 304-309, January 2007
  © AAAI Press

• REWERSE-RP-2007-139
  Diego Calvanese, Thomas Eiter, and Magdalena Ortiz:
  Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
  Complete Text [.pdf, 227KB]
  Proceedings of Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007), Vancouver, British Columbia (22nd July - 26th February 2007), Organization: AAAI, 391-396, July 2007, ISBN 978-1-57735-323-2
  © AAAI Press

• REWERSE-RP-2007-138
  Martin Brain, Wolfgang Faber, Marco Maratea, Axel Polleres, Torsten Schaub, and Roman Schindlauer:
  What should an ASP Solver output? A Multiple Position Paper.
  Complete Text [.pdf, 142KB]
  Proceedings of 1st International Workshop on Software Engineering for Answer Set Programming (SEA'07), Tempe, Arizona, USA (14th May 2007) 281, 26-37, May 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-137
  Axel Polleres and Roman