INAP / WLP 2004 - LNAI Post-Conference Proceedings

Applications of Declarative Programming and Knowledge Management

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"
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 Diagnostic Rule Bases"
D. Groth: "An Evaluation of a Rule-Based Language for Classification Queries"
M. Nanni, A. Raffaetà, C. Renso, F. Turini: "Deductive and Inductive Reasoning on Spatio-Temporal Data"
Y. Matsuo, K. Shirahama, K. Uehara: "Mining Semantic Structures in Movies"
M. Keinänen, I. Niemelä: "Solving Alternative Boolean Equation Systems in Answer Set Programming"

R. Bartak: "Effective Modeling with Constraints" (Invited Tutorial)
M. Bohlin: "A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints"
A. Wolf, H. Schlenker: "Realizing the Alternative Resources Constraint"
U. John, U. Geske: "Integrating Time Constraints into Constraint-Based Configuration Models"
H. Schlenker: "Distributed Constraint-Based Railway Simulation"

S. Fukuda: "Concurrent Engineering to Wisdom Engineering" (Invited Talk)
B. Heumesser, A. Ludwig, D. Seipel: "Web Services Based on Prolog and XML"
F. Bry, S. Schaffert, A. Schroeder: "A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language"
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"
C. Beierle, M. Kulas, M. Widera: "A Pragmatic Approach to Pre-Testing Prolog Programs"