Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf (eds.) |
Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![Springer, 978-3-642-41523-4 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Oetsch, Jörg Pührer, Hans Tompits |
The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 305-324, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca |
Unit Testing in ASPIDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 345-364, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ján Sefránek, Alexander Simko |
A Descriptive Approach to Preferred Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 195-214, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Szeider |
The Parameterized Complexity of Constraint Satisfaction and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 27-37, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine |
Translating Nondeterministic Functional Language Based on Attribute Grammars into Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 41-57, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Katsumi Inoue, Chiaki Sakama, Lena Wiese |
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 134-151, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Peter Schüller |
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 3-26, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Wernhard |
Computing with Logic as Operator Elimination: The ToyElim System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 289-296, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran |
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 114-133, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Thomas Krennwallner, Christoph Redl |
HEX-Programs with Nested Program Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 269-278, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stef De Pooter, Johan Wittocx, Marc Denecker |
A Prototype of a Knowledge-Based Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 279-286, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Behrend |
A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 77-92, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Radim Belohlávek, Lucie Urbanova, Vilém Vychodil |
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 58-76, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran |
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 259-268, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Manthey |
Coprocessor - a Standalone SAT Preprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 297-304, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Denny Schneeweiss, Petra Hofstedt |
FdConfig: A Constraint-Based Interactive Product Configurator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 239-255, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska |
Solving Modular Model Expansion: Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 215-236, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Lüdecke |
Every Formula-Based Logic Program Has a Least Infinite-Valued Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 155-172, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Beierle, Gabriele Kern-Isberner, Karl Södler |
A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 175-192, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits |
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 325-344, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mai Nguyen, Tomi Janhunen, Ilkka Niemelä |
Translating Answer-Set Programs into Bit-Vector Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, pp. 95-113, 2011, Springer, 978-3-642-41523-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Seipel, Michael Hanus, Armin Wolf (eds.) |
Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![Springer, 978-3-642-00674-6 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños |
Integrating XQuery and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 117-135, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Brassel, Frank Huch |
The Kiel Curry System KiCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 195-205, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 241-246, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Nogueira, Salvador Abreu |
Integrating Temporal Annotations in a Modular Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 165-177, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kuhnert |
Efficient Edge-Finding on Unary Resources with Optional Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 38-53, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
constraint-based scheduling, optional tasks and activities, unary resources, global constraints |
1 | Pedro Costa 0004, Ricardo Rocha 0001, Michel Ferreira |
Relational Models for Tabling Logic Programs in a Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 99-116, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Slim Abdennadher, Mohamed Aly, Marlien Edward |
Constraint-Based Timetabling System for the German University in Cairo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 69-81, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 206-222, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka |
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 82-98, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Geske, Hans-Joachim Goltz |
A Guide for Manual Construction of Difference-List Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 1-20, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Armin Wolf, Gunnar Schrader |
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 21-37, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Plümicke |
Java Type Unification with Wildcards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 223-240, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Atzmüller, Frank Puppe |
Causal Subgroup Analysis for Detecting Confounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 136-148, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran |
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 247-252, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Chrpa, Pavel Surynek, Jirí Vyskocil |
Encoding of Planning Problems and Their Optimizations in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 54-68, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz J. Nalepa, Igor Wojnicki |
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 178-194, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Atzmüller, Dietmar Seipel |
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 149-164, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.) |
Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![Springer, 3-540-25560-5 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shuichi Fukuda |
Concurrent Engineering to Wisdom Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 227-244, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Armin Wolf, Hans Schlenker |
Realising the Alternative Resources Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 185-199, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xuequn Shang, Kai-Uwe Sattler, Ingolf Geist |
SQL Based Frequent Pattern Mining with FP-Growth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 32-46, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Sebastian Schaffert, Andreas Schroeder 0001 |
A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 258-268, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bohlin |
A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 166-184, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Misa Keinänen, Ilkka Niemelä |
Solving Alternating Boolean Equation Systems in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 134-148, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich John, Ulrich Geske |
Integrating Time Constraints into Constraint-Based Configuration Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 200-214, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Seipel, Joachim Baumeister, Marbod Hopfner |
Declaratively Querying and Visualizing Knowledge Bases in Xml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 16-31, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Werner Winiwarter |
Incremental Learning of Transfer Rules for Customized Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 47-64, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel |
Web Services Based on Prolog and Xml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 245-257, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dennis P. Groth |
An Evaluation of a Rule-Based Language for Classification Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 79-97, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hans Schlenker |
Distributed Constraint-Based Railway Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 215-226, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kimiaki Shirahama, Yuya Matsuo, Kuniaki Uehara |
Mining Semantic Structures in Movies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 116-133, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Takahashi, Osamu Yoshie |
Towards Ubiquitous Maintenance - Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 278-293, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini |
Deductive and Inductive Reasoning on Spatio-Temporal Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 98-115, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin Atzmüller, Joachim Baumeister, Frank Puppe |
Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 65-78, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Bartenstein |
DialogEngines - Dialog Agents for Web-Based Self Service Consulting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 269-277, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Roman Barták |
Effective Modeling with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 149-165, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Beierle, Marija Kulas, Manfred Widera |
A Pragmatic Approach to Pre-testing Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 294-308, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann |
Optimizing the Evaluation of XPath Using Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 1-15, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
XML, Description Logics, XPath, automated reasoning, Schema, DTD |