François Bry

Int. J. Eng. Pedagog., 2019

Organizing Peer Correction in Tertiary STEM Education: An Approach and its Evaluation.

[BibT_eX]

[DOI]

Int. J. Eng. Pedagog., 2019

More than the sum of its parts: designing learning formats from core components.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Pervasive Persuasion for Stress Self-Regulation.

[BibT_eX]

[DOI]

Yingding Wang

Nikolai Fischer

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

Towards an Annotation System for Collaborative Peer Review.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2019

Learning by Fiddling: Patterns of Behaviour in Formal Language Learning.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2019

Audience Response Systems Reimagined.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web-Based Learning - ICWL 2019, 2019

Promoting Active Participation in Large Programming Classes.

[BibT_eX]

[DOI]

Proceedings of the Computer Supported Education - 11th International Conference, 2019

Phased Classroom Instruction: A Case Study on Teaching Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Computer Supported Education, 2019

Nudging by Predicting: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018

Semantic Web Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Human computation.

[BibT_eX]

[DOI]

Clemens Schefels

it Inf. Technol., 2018

In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.

[BibT_eX]

[DOI]

CoRR, 2018

Blending Classroom, Collaborative, and Individual Learning Using Backstage 2.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2018

Predicting Learners' Behaviours to Get It Wrong.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2018

Backstage: A Versatile Platform Supporting Learning and Teaching Format Composition.

[BibT_eX]

[DOI]

Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 2018

CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge.

[BibT_eX]

[DOI]

Christof Schramm

Yingding Wang

Proceedings of the 5th IEEE/ACM International Workshop on Crowd Sourcing in Software Engineering, 2018

Gaming the Lecture Hall: Using Social Gamification to Enhance Student Motivation and Participation.

[BibT_eX]

[DOI]

Proceedings of the Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL 2018), 2018

Peer Teaching in Tertiary STEM Education: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL 2018), 2018

2017

Human Collaboration Reshaped: Applications and Perspectives.

[BibT_eX]

[DOI]

Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017

2014

Interaction in Massive Courses.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2014

Technology Use in Lectures to Enhance Students' Attention.

[BibT_eX]

[DOI]

Proceedings of the Open Learning and Teaching in Educational Communities, 2014

2013

Human Computation-Enabled Network Analysis for a Systemic Credit Risk Rating.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Human Computation, 2013

The HIT Model: Workflow-Aware Event Stream Monitoring.

[BibT_eX]

[DOI]

Olga Poppe

Sandro Giessl

Elke A. Rundensteiner

Trans. Large Scale Data Knowl. Centered Syst., 2013

Crowdsourcing MapReduce: JSMapReduce.

[BibT_eX]

[DOI]

Philipp Langhans

Proceedings of the 22nd International World Wide Web Conference, 2013

Towards complex actions for complex event processing.

[BibT_eX]

[DOI]

Steffen Hausmann

Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

Fostering Concept Maps Awareness as a Means to Learning.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013

2012

Anfragesprachen neu erdacht.

[BibT_eX]

[DOI]

Künstliche Intell., 2012

pest: Fast approximate keyword search in semantic data using eigenvector-based term propagation.

[BibT_eX]

[DOI]

Inf. Syst., 2012

Term-specific eigenvector-centrality in multi-relation networks.

[BibT_eX]

[DOI]

Int. J. Soc. Netw. Min., 2012

Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study.

[BibT_eX]

[DOI]

Alexander Pohl

Vera Gehlen-Baum

Int. J. Emerg. Technol. Learn., 2012

Squaring and Scripting the ESP Game: Trimming a GWAP to Deep Semantics.

[BibT_eX]

[DOI]

Proceedings of the Serious Games Development and Applications, 2012

Semantic Wikis: Approaches, Applications, and Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

Simulation Unification: Beyond Querying Semistructured Data (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Squaring and Scripting the ESP Game.

[BibT_eX]

[DOI]

Proceedings of the 4th Human Computation Workshop, 2012

Speculation and Bluff for Linguistic Field Research - Social Software and Media for Data Gathering.

[BibT_eX]

[DOI]

Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

Discerning Actuality in Backstage - Comprehensible Contextual Aging.

[BibT_eX]

[DOI]

Julia Hadersberger

Alexander Pohl

Proceedings of the 21st Century Learning for 21st Century Skills, 2012

Backstage - Designing a Backchannel for Large Lectures.

[BibT_eX]

[DOI]

Proceedings of the 21st Century Learning for 21st Century Skills, 2012

Keyword-Based Search over Semantic Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Search over the Web, 2012

2011

Introducing Backstage - a digital backchannel for large class lectures.

[BibT_eX]

[DOI]

Alexander Pohl

Vera Gehlen-Baum

Interact. Technol. Smart Educ., 2011

Reasoning as Axioms Change - Incremental View Maintenance Reconsidered.

[BibT_eX]

[DOI]

Simon Brodt

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Liquid decision making: an exploratory study.

[BibT_eX]

[DOI]

Stephan Leutenmayr

Proceedings of the iiWAS'2011, 2011

Do They Really Mean It? Assessing Decision Markets Outcomes.

[BibT_eX]

[DOI]

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Field research for humanities with social media: crowdsourcing and algorithmic data analysis.

[BibT_eX]

[DOI]

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Karido: A GWAP for telling artworks apart.

[BibT_eX]

[DOI]

Bartholomäus Steinmayr

Proceedings of the 16th International Conference on Computer Games, 2011

2010

Rule-based composite event queries: the language XChangeEQ and its semantics.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2010

Semantic Search on Unstructured Data: Explicit Knowledge through Data Recycling.

[BibT_eX]

[DOI]

Alex Kohn

Alexander Manta

Int. J. Semantic Web Inf. Syst., 2010

visKQWL, a visual renderer for a semantic web query language.

[BibT_eX]

[DOI]

Andreas Hartl

Klara A. Weiand

Franziska von dem Bussche

Proceedings of the 19th International Conference on World Wide Web, 2010

Not so creepy crawler: easy crawler generation with standard xml queries.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on World Wide Web, 2010

Flavors of KWQL, a Keyword Query Language for a Semantic Wiki.

[BibT_eX]

[DOI]

Klara A. Weiand

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

A Social Vision of Knowledge Representation and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

PEST: Term-Propagation over Wiki-Structures as Eigenvector Computation.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Semantic Wikis, 2010

A Perfect Match for Reasoning, Explanation, and Reason Maintenance: OWL 2 RL and Semantic Wikis.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Semantic Wikis, 2010

A RPL through RDF: Expressive Navigation in RDF Graphs.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Datalog Relaunched: Simulation Unification and Value Invention.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

10041 Manifesto - Perspectives Workshop: Digital Social Media.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010, 2010

10041 Executive Summary - Perspectives Workshop: Digital Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010, 2010

10041 Abstracts Collection - Perspectives Workshop: Digital Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010, 2010

2009

Semantische Wikis.

[BibT_eX]

[DOI]

Proceedings of the Social Semantic Web: Web 2.0 - Was nun?, 2009

Four Lessons in Versatility or How Query Languages Adapt to the Web.

[BibT_eX]

[DOI]

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Semantic Web Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Complex Event Processing (CEP).

[BibT_eX]

[DOI]

Inform. Spektrum, 2009

Web Queries: From a Web of Data to a Semantic Web.

[BibT_eX]

[DOI]

Klara A. Weiand

Proceedings of the Web Information Systems Engineering, 2009

What the User Interacts With: Reflections on Conceptual Models for Semantic Wikis.

[BibT_eX]

[DOI]

Proceedings of the 4th Semantic Wiki Workshop (SemWiki 2009) at the 6th European Semantic Web Conference (ESWC 2009), 2009

The Perfect Match: RPL and RDF Rule Languages.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Search for More Declarativity.

[BibT_eX]

[DOI]

Simon Brodt

Norbert Eisinger

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Labeling RDF Graphs for Linear Time and Space Querying.

[BibT_eX]

[DOI]

Antonius Weinzierl

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

SPARQLog: SPARQL with Rules and Quantification.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008

Semantic Wikis.

[BibT_eX]

[DOI]

IEEE Softw., 2008

Taming Existence in RDF Querying.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Simulation Subsumption or Déjà vu on the Web.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

The Facility Control Markup Language FCML.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on the Digital Society (ICDS 2008), 2008

Towards Reasoning and Explanations for Social Tagging.

[BibT_eX]

Proceedings of the Explanation-aware Computing, 2008

On static determination of temporal relevance for incremental evaluation of complex event queries.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Distributed Event-Based Systems, 2008

Rules for Making Sense of Events: Design Issues for High-Level Event Query and Reasoning Languages (Position Paper).

[BibT_eX]

[DOI]

Proceedings of the AI Meets Business Rules and Process Management, 2008

2007

Semantic Wiki.

[BibT_eX]

[DOI]

Inform. Spektrum, 2007

Visual Languages: A Matter of Style.

[BibT_eX]

[DOI]

Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007

Foundations of Rule-Based Query Answering.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2007

Reactive Rules on the Web.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2007

A Generic Module System for Web Rule Languages: Divide and Rule.

[BibT_eX]

[DOI]

Proceedings of the Advances in Rule Interchange and Applications, International Symposium, 2007

Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Modular Web Queries - From Rules to Stores.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Evolution of Distributed Web Data: An Application of the Reactive Language XChange.

[BibT_eX]

[DOI]

Hendrik Grallert

Proceedings of the 23rd International Conference on Data Engineering, 2007

Temporal order optimizations of incremental joins for composite event detection.

[BibT_eX]

[DOI]

Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

Twelve Theses on Reactive Rules for the Web.

[BibT_eX]

[DOI]

Proceedings of the Event Processing, 6.5. - 11.5.2007, 2007

2006

Reactivity on the Web: Paradigms and Applications of the Language XChange.

[BibT_eX]

[DOI]

J. Web Eng., 2006

Beyond XML and RDF: The Versatile Web Query Language Xcerpt.

[BibT_eX]

[DOI]

Proceedings of the 15th international conference on World Wide Web, 2006

Efficient evaluation of n-ary conjunctive queries over trees and graphs.

[BibT_eX]

[DOI]

Proceedings of the Eigth ACM International Workshop on Web Information and Data Management (WIDM 2006), 2006

A High-Level Query Language for Events.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

RDF Querying: Language Constructs and Evaluation Methods Compared.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2006

Web Queries with Style: Rendering Xcerpt Programs with CSSNG.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

AMa chioS - Abstract Machine for Xcerpt: Architecture and Principles.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits.

[BibT_eX]

[DOI]

Inna Romanenko

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Xcerpt and visXcerpt: IntegratingWeb Querying.

[BibT_eX]

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

Thesen über Regelsprachen für das Semantische Web.

[BibT_eX]

[DOI]

Proceedings of the Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), 2006

Vorführung von Xcerpt und visXcerpt, Anfragesprachen für das Web.

[BibT_eX]

[DOI]

Proceedings of the Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), 2006

Querying Composite Events for Reactivity on the Web.

[BibT_eX]

[DOI]

Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

2005

Visual exploration and retrieval of XML document collections with the generic system X2.

[BibT_eX]

[DOI]

Int. J. Digit. Libr., 2005

Personalisierung.

[BibT_eX]

[DOI]

Nicola Henze

Inform. Spektrum, 2005

Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages.

[BibT_eX]

[DOI]

Int. J. Semantic Web Inf. Syst., 2005

CaTTS: calendar types and constraints for Web applications.

[BibT_eX]

[DOI]

Frank-André Rieß

Proceedings of the 14th international conference on World Wide Web, 2005

Processing link structures and linkbases on the web.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

Composite event queries for reactivity on the web.

[BibT_eX]

[DOI]

James Bailey

Proceedings of the 14th international conference on World Wide Web, 2005

Ten Theses on Logic Languages for the Semantic Web.

[BibT_eX]

[DOI]

Massimo Marchiori

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Paraconsistent Reasoning for the Semantic Web.

[BibT_eX]

Proceedings of the International Semantic Web Conference, 2005

Reactivity on the web: paradigms and applications of the language XChange.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Web and Semantic Web Query Languages: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2005

Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.

[BibT_eX]

[DOI]

James Bailey

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying.

[BibT_eX]

[DOI]

Oliver Bolzer

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

A Geospatial World Model for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Calendars and Topologies as Types.

[BibT_eX]

[DOI]

Bernhard Lorenz

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

The XML Stream Query Processor SPEX.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Data Engineering, 2005

Processing link structures and linkbases in the web's open world linking.

[BibT_eX]

[DOI]

Proceedings of the HYPERTEXT 2005, 2005

XML Perspectives on RDF Querying: Towards integrated Access to Data and Metadata on the Web.

[BibT_eX]

[DOI]

Oliver Bolzer

Proceedings of the Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), 2005

Context Modeling in OWL for Smart Building Services.

[BibT_eX]

[DOI]

Proceedings of the Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), 2005

Towards static type checking of Web query language.

[BibT_eX]

[DOI]

Proceedings of the Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), 2005

Structure-Preserving Difference Search for XML Documents.

[BibT_eX]

[DOI]

Erich Schubert

Proceedings of the Extreme Markup Languages® 2005 Conference, 2005

05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005

2004

Grid-Computing.

[BibT_eX]

[DOI]

Wolfgang E. Nagel

Michael Schroeder

Inform. Spektrum, 2004

Datenströme.

[BibT_eX]

[DOI]

Inform. Spektrum, 2004

A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language.

[BibT_eX]

[DOI]

Andreas Schroeder

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Content and Structure in Indexing and Ranking XML.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on the Web and Databases, 2004

An efficient single-pass query evaluator for XML data streams.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Towards Generic Query, Update, and Event Languages for the Semantic Web.

[BibT_eX]

[DOI]

Wolfgang May

José Júlio Alferes

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

On Subtyping of Tree-Structured Data: A Polynomial Approach.

[BibT_eX]

[DOI]

Wlodzimierz Drabent

Jan Maluszynski

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

Xcerpt et visXcerpt : langages déductifs d'interrogation du Web.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2004

Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

Xcerpt und visXcerpt: deduktive Anfragesprachen für das Web.

[BibT_eX]

Proceedings of the Tagungsband zum 16. GI-Workshop Grundlagen von Datenbanken, 2004

Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web.

[BibT_eX]

[DOI]

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Querying the Web Reconsidered: A Practical Introduction to Xcerpt.

[BibT_eX]

[DOI]

Proceedings of the Extreme Markup Languages® 2004 Conference, 2004

Reasoning on the Web: Language Prototypes and Perspectives.

[BibT_eX]

Uta Schwertel

Proceedings of the Knowledge-Based Media Analysis for Self-Adaptive and Agile Multi-Media, 2004

Visual Querying for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2004

Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Retrieval, 2004

Evaluating Complex Queries Against XML Streams with Polynomial Combined Complexity.

[BibT_eX]

[DOI]

Proceedings of the Key Technologies for Data Management, 2004

2003

A Computational Biology Database Digest: Data, Data Analysis, and Data Management.

[BibT_eX]

[DOI]

Peer Kröger

Distributed Parallel Databases, 2003

Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of 29th International Conference on Very Large Data Bases, 2003

An Entailment Relation for Reasoning on the Web.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003

XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages.

[BibT_eX]

[DOI]

Kazuhiro Kitagawa

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

On Reasoning on Time and Location on the Web.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

A Visual Language for Web Querying and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

Web Services for Teaching: A Case Study.

[BibT_eX]

Norbert Eisinger

Georg Schneemayer

Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

An Evaluation of Regular Path Expressions with Qualifiers against XML Streams.

[BibT_eX]

[DOI]

Tobias Kiesling

Proceedings of the 19th International Conference on Data Engineering, 2003

Visual Querying and Exploration of Large Answers in XML Databases with X2.

[BibT_eX]

[DOI]

Holger Meuss

Klaus U. Schulz

Proceedings of the 19th International Conference on Data Engineering, 2003

Bioinformatics Databases: State of the Art and Research Perspectives.

[BibT_eX]

[DOI]

Peer Kröger

Proceedings of the Advances in Databases and Information Systems, 2003

2002

Datenbanken in der Bioinformatik.

[BibT_eX]

[DOI]

Peer Kröger

Inform. Spektrum, 2002

Perspectives for electronic books in the World Wide Web age.

[BibT_eX]

[DOI]

Electron. Libr., 2002

Advanced modeling and browsing of technical documents.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

A gentle introduction to Xcerpt, a rule-based query and transformation language for XML.

[BibT_eX]

[DOI]

Proceedings of the RuleML 2002, 2002

An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistent Computational Logic, 2002

The XML Query Language Xcerpt: Design Principles, Examples, and Semantics.

[BibT_eX]

[DOI]

Proceedings of the Web, 2002

Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

XPath: Looking Forward.

[BibT_eX]

[DOI]

Proceedings of the XML-Based Data Management and Multimedia Engineering, 2002

Adaptive Hypermedia Made Simple with HTML/XML Style Sheet Selectors.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001

Semistrukturierte Daten - Aktuelles Schlagwort.

[BibT_eX]

[DOI]

Inform. Spektrum, 2001

Towards Aggregated Answers for Semistructured Data.

[BibT_eX]

[DOI]

Holger Meuss

Klaus U. Schulz

Proceedings of the Database Theory, 2001

Towards Grouping Constructs for Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000

Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation.

[BibT_eX]

[DOI]

Adnan H. Yahya

J. Autom. Reason., 2000

Preface.

[BibT_eX]

Ulrich Geske

Dietmar Seipel

Proceedings of the 14. Workshop Logische Programmierung, 2000

Data Modeling with Markup Languages.

[BibT_eX]

Proceedings of the WLP 2000, 2000

1999

Bioinformatik - Aktuelles Schlagwort.

[BibT_eX]

[DOI]

Inform. Spektrum, 1999

Solving Database Satisfiability Problems.

[BibT_eX]

Sunna Torge

Proceedings of the 11. Workshop Grundlagen von Datenbanken, 1999

1998

A Deduction Method Complete for Refutation and Finite Satisfiability.

[BibT_eX]

[DOI]

Sunna Torge

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

SIC: Satisfiability Checking for Integrity Constraints.

[BibT_eX]

Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, 1998

1997

Query Answering in Information Systems with Integrity Constraints.

[BibT_eX]

Proceedings of the Integrity and Internal Control in Information Systems, 1997

1996

Deduktive Datenbanken.

[BibT_eX]

Heribert Schütz

Künstliche Intell., 1996

Deduktive Datenbanken - das aktuelle Schlagwort.

[BibT_eX]

[DOI]

Dietmar Seipel

Inform. Spektrum, 1996

Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.

[BibT_eX]

[DOI]

Adnan H. Yahya

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

A Compositional Semantics for Logic Programs and Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

1995

Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser.

[BibT_eX]

Proceedings of the 11. Workshop Logische Programmierung, 1995

Bases de données déductives.

[BibT_eX]

Proceedings of the JFPLC'95, 1995

The theorem prover SATCHMO : strategies, heuristics and applications.

[BibT_eX]

Proceedings of the JFPLC'95, 1995

1994

Logikprogrammierung ohne Modelltheorie?

[BibT_eX]

Proceedings of the Tenth Logic Programming Workshop, 1994

Disjunctive Logic Programming: What Applications Developers Need.

[BibT_eX]

[DOI]

Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

1993

Neuere Entwicklungen der deklarativen KI-Programmierung.

[BibT_eX]

Harold Boley

Ulrich Geske

Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

Towards Intelligent Databases.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1991

Integrity Verification in Knowledge Bases.

[BibT_eX]

[DOI]

Bern Martens

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

1990

Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1990

Negation in Logic Programming: A Formalization in Constructive Logic.

[BibT_eX]

[DOI]

Proceedings of the Information Systems and Artificial Intelligence: Integration Aspects, 1990

Intensional Updates: Abduction via Deduction.

[BibT_eX]

Proceedings of the Logic Programming, 1990

Upside-down deduction.

[BibT_eX]

Proceedings of the Sixièmes Journées Bases de Données Avancées, 1990

1989

Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited.

[BibT_eX]

[DOI]

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Logic Programming as Constructivism: A Formalization and its Application to Databases.

[BibT_eX]

[DOI]

Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Logical Rewritings for Improving the Evaluation of Quantified Queries.

[BibT_eX]

[DOI]

Proceedings of the MFDBS 89, 1989

Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled.

[BibT_eX]

Proceedings of the Deductive and Object-Oriented Databases, 1989

1988

A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.

[BibT_eX]

[DOI]

Hendrik Decker

Proceedings of the Advances in Database Technology, 1988

SATCHMO: A Theorem Prover Implemented in Prolog.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Automated Deduction, 1988

Préserver l'intégrité d'une base de données déductive: une méthode et son implementation.

[BibT_eX]

Hendrik Decker

Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

1987

A Hyperresolution-Based Proof Procedure and its Implementation in Prolog.

[BibT_eX]

[DOI]

Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

Proving Finite Satisfiability of Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the CSL '87, 1987

1986

Checking Consistency of Database Constraints: a Logical Basis.

[BibT_eX]

[DOI]

Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

Sur la validité des schémas de bases de données.

[BibT_eX]

Proceedings of the 2èmes Journées Bases de Données Avancés, 1986

1983

On the number of 1-factors of locally finite graphs.

[BibT_eX]

[DOI]

J. Comb. Theory, Ser. B, 1983

On the factorization of graphs with exactly one vertex of infinite degree.

[BibT_eX]

[DOI]

Discret. Math., 1983

1982

The Edmonds - Gallai decomposition for matchings in locally finite graphs.

[BibT_eX]

[DOI]

Michel Las Vergnas

Comb., 1982

1981

Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members.

[BibT_eX]

[DOI]