Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Khalil Djelloul, Thi-Bich-Hanh Dao |
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 111-119, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Paolo Ferraris |
Causal Theories as Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 35-44, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi |
Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 54-63, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Marc Meister |
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 172-181, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
Adding Constraint Handling Rules to Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 81-90, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Kathrin Konczak |
Voting Theory in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 45-53, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 206-210, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Marcus Vinicius Santos |
Executable denotations for concurrent languages using Concurrent Transaction Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 71-80, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Ján Sefránek |
Non-monotonic Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 101-110, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Ulrich Geske |
How to Teach Difference Lists? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 33-34, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 200-205, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Axel Polleres |
Logic Programs with Contextually Scoped Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 129-136, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Wolfgang Faber 0001 |
Decomposition of Nonmonotone Aggregates in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 164-171, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Zoran Majkic |
Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 120-128, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Torsten Schaub |
Tableaux Calculi for Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 1-11, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti |
Declarative Web data extraction and annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 137-144, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Armin Wolf |
Object-Oriented Constraint Programming in Java Using the Library firstcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 21-32, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 182-191, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 91-100, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Jozef Siska |
Dynamic Logic Programming and world state evaluation in computer games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 64-70, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Reinhard Pichler |
Algorithmic Aspects of Model Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 12-20, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Michael Fink 0001, Hans Tompits, Stefan Woltran (eds.) |
20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![Technische Universität Wien, Austria The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Jacques Robin, Jairson Vitorino |
ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 192-199, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Kathrin Konczak |
Weak Order Equivalence for Logic Programs with Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 154-163, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Hans Tompits, Patrick Traxler, Stefan Woltran |
Replacements in Non-Ground Answer-Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 145-153, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Frank Puppe |
Übersicht über heuristische, fallbasierte und modellbasierte Problemlösungsmethoden in der Diagnostik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 35-41, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel |
cTI: Bottom-Up Termination Inference for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 123-134, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Hans Schlenker, Frank Rehberger |
Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 63-70, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
TkCurry: A Declarative Approach to GUI Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 149-160, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Gabriella Kókai |
CAPP: Statische Codeanalyse von PROLOG Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 231-240, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Steffen Hölldobler |
Challenge problems for the integration of logic and connectionist systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 161-170, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | David Pearce 0001 |
Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 17, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | François Bry |
Data Modeling with Markup Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 33-60, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Slim Abdennadher, Matthias Saft, Sebastian Will |
Constraintbasierte Raumplanung für Universitäten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 229-230, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Andreas Behrend |
A Dynamic Approach to Deductive Query Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 99-112, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Georg Ringwelski, Hans Schlenker |
Type Inference in CHR Programs for the Composition of Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 137-146, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Slim Abdennadher, Thom W. Frühwirth |
Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 15, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Slim Abdennadher, Ulrich Geske, Dietmar Seipel (eds.) |
WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Markus Hannebauer, Ines Münch |
Fransforming object-oriented domain models into declarative CLP expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 65-76, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Annalisa Di Deo, Dmitri Boulanger |
Using Objects to Build Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 101-113, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | François Bry, Ulrich Geske, Dietmar Seipel |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 7, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Hans-Joachim Goltz |
Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 77-88, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Pierre E. Bonzon |
Deliberation Through Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 147-, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Pierre E. Bonzon |
Deliberate Agent Reconcile Reactive and Goal-Oriented Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 171-181, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
PACS: The Portland Aachen Curry System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 219-221, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Francesca Rossi 0001 |
Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 15-24, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Harold Boley |
Beziehungen zwischen Logikprogrammierung und XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 19-34, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Gabriella Kókai |
New Missing Solution Method for Trace Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 199-209, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | François Bry, Ulrich Geske, Dietmar Seipel (eds.) |
14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Frank Steiner, Michael Hanus |
Type-based Nondeterminism Checking in Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 135-148, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Georg Ringwelski, Armin Wolf, Ulrich Geske |
Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 89-100, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Ulrich John |
Rekonfiguration komplexer industrieller Produkte mittels constraint-logischer Programmierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 43-54, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Liviu-Virgil Ciortuz |
Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 85-98, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran |
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 113-122, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Markus Hannebauer |
Collaborative Agents - A Fresh Look at Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 27-30, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Using the dlv System for Planning and Diagnostic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 125-134, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran |
Implementing Default Reasoning Using Quantified Boolean Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 223-228, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Clemens Beckstein, Manfred Rahneberg |
On the Complexity of Generalized Horn Clause Intuionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 115-124, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Marija Kulas |
Debugging Prolog Using Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 183-197, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
Server Side Web Scripting in Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 71-84, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Norbert E. Fuchs |
Attempto Controlled English. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 211-218, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet |
A Constraint - Based Language for Autonomous Agents in Virtual Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 25-26, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel |
Slicing zur Fehlersuche in Logikprogrammen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 241-243, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Hans Schlenker |
Reduce-To-The-Max: ein schneller Algorithmus für Multi-Ressourcen-Probleme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 55-64, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Uwe Egly, Hans Tompits |
A Sequent Calculus for Intuitionistic Default Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Ulrich Zukowski, Burkhard Freitag |
An Overview of the LOLA System (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Dmitri Boulanger |
Analyzing Declarative Semantics of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Ortrun Ibens |
The SETHEO System (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Michael Leuschel |
Extending Homeomorphic Embedding in the Context of Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf |
Constraint-basierte Planung und Konfiguration (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Iris Pigeot, Ursula Robers |
The Use of Inductive Logic Programming for the Developement of the Statistical Software Tool CORA (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Paul-Thomas Kandzia, Christian Schlepphorst |
FLORID - A Prototype for F-Logic (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
Curry: A Multi-Paradigm Declarative Language (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Armin Wolf |
Adaptiv-inkrementelle Unifikation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Dietmar Seipel |
DisLog - A Disjunctive Deductive Database Prototype (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Gerhard Wetzel |
A Unifying Framework for Abductive and Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | François Bry, Burkhard Freitag, Dietmar Seipel (eds.) |
Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![Ludwig Maximilians Universität München The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Simona Citrigno, Thomas Eiter, Wolfgang Faber 0001, Georg Gottlob, Christoph Koch 0001, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
The dlv System: Model Generator and Advanced Frontends (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Hans-Joachim Goltz |
Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Manfred Schramm, Volker Fischer |
Probabilistic Reasoning with Maximum Entropy - The System PIT (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Michael Leuschel, Danny De Schreye |
Constrained Partial Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Slim Abdennadher, Hans Schlenker |
INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Harold Boley |
Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter |
Attempto - Englisch als (formale) Spezifikationssprache (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Tobias Müller, Martin Müller |
Finite Set Intervals in Oz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., pp. 17-19, 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | André Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger |
Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Mathias Kettner, Norbert Eisinger |
Der Tableau-Browser SNARKS (system description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10., 1997, Ludwig Maximilians Universität München. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Luis Urbina, Günter Riedewald |
A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 29-38, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Helmut Simonis |
Application Development with the CHIP System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 11-27, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Jörg Zimmermann |
Polymorphe Typinferenz für Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 91-100, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock |
Co-ordinating Parallel Computation through Equational Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 123-132, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Bernhard Beckert, Joachim Posegga |
LeanEA: A Lean Evolving Algebra Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 73-82, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Ulrich Furbach |
From Theorem Proving to Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 59-62, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Andreas Krall, Ulrich Geske (eds.) |
11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Rolf Schwitter, Bernhard Hamburger, Norbert E. Fuchs |
Attempto: Specifications in Controlled Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 151-160, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Dmitri Boulanger |
Complete Analysis for Definite Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 101-110, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Armin Wolf |
Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 143-149, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Peter Van Roy |
Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 111, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Ulrich Neumerkel |
Interprozedurale Registerallokation durch Quelltexttransformationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 171-178, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Luis Urbina |
Analysis of Robotics Applications in CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 39-48, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|