INAP / WLP 2004 - Accepted Papers [URL]Track 1: WLP (chair: Michael Hanus)
- G. Ringwelski: "Modeling the User's Constraint Domain"
- P. Hitzler: "Corollaries on the Fixpoint Completion: Studying the Stable Semantics by Means of the Clark Completion"
- L. Lu, X. Li: "Boolean Functions for Pair Sharing Analysis"
- O. Terán, B. Edmonds: "Constraint Model-Based Exploration of Simulation Trajectories in a MABS Model"
- J. Mashford, R. Drogemuller, P. Stuckey: "Building Design Optimisation Using CLP"
- Z. Majkic: "Coalgebraic Semantics for Logic Programs"
- T. Schrijvers, A. Serebrenik, B. Demoen: "Refactoring Prolog Code"
- F. Bry, S. Schaffert, A. Schroeder: "A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language"
- C. Beierle, M. Kulas, M. Widera: "A Pragmatic Approach to Pre-Testing Prolog Programs"
- B. Braßel: "TypeHope - There is Hope for your Type Errors / System Description"
Track 2: Knowledge Management (chair: Dietmar Seipel)
Knowledge Base Management
- K. Praetor: "Logic for Critical Editions"
- Q. Zhou, L. Long: "SEDatalog - A Set Extension of Datalog"
- U. Furbach, M. Gross-Hardt, T. Kleemann, P. Baumgartner: "Optimizing the Evaluation of XPath Using Description Logics"
- D. Seipel, J. Baumeister, M. Hopfner: "Declaratively Querying and Visualizing Knowledge Bases"
Data Mining
- X. Shang, K.-U. Sattler, I. Geist: "SQL based Frequent Pattern Mining with FP-growth"
- W. Winniwarter: "Incremental Learning of Transfer Rules for Customized Machine Translation"
- M. Atzmueller, J. Baumeister, F. Puppe: "Quality Measures for Semi-Automatic Learning of Simple Diagnostic Rule Bases"
- D. Groth: "An Evaluation of a Rule-Based Language for Classification Queries"
- M. Nanni, A. Raffaetta, Ch. Renso, F. Turini: "Deductive and Inductive Reasoning on Spatio-Temporal Data"
- Y. Matsuo, K. Shirahama, K. Uehara: "Mining Semantic Structures in Movies"
Answer Set Programming and its Applications
- M. Osorio, M. Ortiz: "Embedded Implications and Minimality in ASP"
- M. Keinänen, I. Niemelä: "Solving Alternative Boolean Equation Systems in Answer Set Programming"
Track 3: Constraints (chair: Ulrich Geske)
Tutorial
- R. Barták (Charles University, Prague, Czech Republic): "Effective Modelling with Constraints"
CP systems, CP and IP/OR and Local Search
- M. Bohlin: "Composing Global Constraints for Local Search"
- A. Wolf, H. Schlenker: "Realizing the Alternative Resource Constraint Problem with Single Resource Constraints"
- G. Ringwelski: "Maintaining Correct Variable Domains in Distributed and Dynamic Constraint Processing"
Optimization and Simulation of Complex Problems in Industry, Medicine, and Offices
- H. Baumgaertel, U. John: "Constraint-Based Production Planning for Simulation of Real Supply Nets"
- U. John, U. Geske: "Integrating Time Constraints into Constraint-Based Configuration Models"
- H. Schlenker: "Distributed Constraint-Based Railway Simulation"
Track 4: Distributed Systems and the Web (chair: Oskar Bartenstein)
Invited Talk
- S. Fukuda (Tokyo Metropolitan Institute of Technology, School of Engineering): "Concurrent Engineering"
Web Agents and Concurrent Engineering
- B. Heumesser, A. Ludwig, D. Seipel: "Web Services based on Prolog and XML"
Industrial Web Applications, Virtual Reality Programming
- O. Bartenstein: "DialogEngines - Dialog Agents for Web-based Self Service Consulting"
- H. Takahashi, O. Yoshie: "Towards Ubiquitous Maintenance - Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming"
Last modified: 2004-02-05