The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WLP"( http://dblp.L3S.de/Venues/WLP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/wlp

Publication years (Num. hits)
1993 (27) 1994 (38) 1995 (26) 1997 (23) 2000 (39) 2006 (25)
Publication types (Num. hits)
inproceedings(171) proceedings(7)
Venues (Conferences, Journals, ...)
WLP(178)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 178 publication records. Showing 178 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Armin Wolf Object-Oriented Constraint Programming in Java Using the Library firstcs. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Kathrin Konczak Voting Theory in Answer Set Programming. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Ulrich Geske How to Teach Difference Lists? Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Zoran Majkic Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Marcus Vinicius Santos Executable denotations for concurrent languages using Concurrent Transaction Logic. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Michael Hanus Adding Constraint Handling Rules to Curry. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Torsten Schaub Tableaux Calculi for Answer Set Programming. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti Declarative Web data extraction and annotation. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Ján Sefránek Non-monotonic Integrity Constraints. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Leslie De Koninck, Tom Schrijvers, Bart Demoen INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Jozef Siska Dynamic Logic Programming and world state evaluation in computer games. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Reinhard Pichler Algorithmic Aspects of Model Representations. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Kathrin Konczak Weak Order Equivalence for Logic Programs with Preferences. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Khalil Djelloul, Thi-Bich-Hanh Dao Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Jacques Robin, Jairson Vitorino ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Michael Fink 0001, Hans Tompits, Stefan Woltran (eds.) 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Axel Polleres Logic Programs with Contextually Scoped Negation. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Hans Tompits, Patrick Traxler, Stefan Woltran Replacements in Non-Ground Answer-Set Programming. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Marc Meister Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Paolo Ferraris Causal Theories as Logic Programs. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Wolfgang Faber 0001 Decomposition of Nonmonotone Aggregates in Answer Set Programming. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Michael Hanus Server Side Web Scripting in Curry. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Frank Puppe Übersicht über heuristische, fallbasierte und modellbasierte Problemlösungsmethoden in der Diagnostik. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel cTI: Bottom-Up Termination Inference for Logic Programs. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Andreas Behrend A Dynamic Approach to Deductive Query Evaluation. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Using the dlv System for Planning and Diagnostic Reasoning. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Michael Hanus TkCurry: A Declarative Approach to GUI Programming. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Annalisa Di Deo, Dmitri Boulanger Using Objects to Build Constraint Databases. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Slim 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 WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Philippe Codognet A Constraint - Based Language for Autonomous Agents in Virtual Worlds. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Hans Schlenker, Frank Rehberger Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Francesca Rossi Soft Constraints. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Slim Abdennadher, Matthias Saft, Sebastian Will Constraintbasierte Raumplanung für Universitäten. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Slim Abdennadher, Thom W. Frühwirth Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Gabriella Kókai New Missing Solution Method for Trace Trees. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel Slicing zur Fehlersuche in Logikprogrammen. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Markus Hannebauer, Ines Münch Fransforming object-oriented domain models into declarative CLP expressions. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Markus Hannebauer Collaborative Agents - A Fresh Look at Constraint Solving. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Michael Hanus PACS: The Portland Aachen Curry System. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Marija Kulas Debugging Prolog Using Annotations. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1François Bry, Ulrich Geske, Dietmar Seipel Preface. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran Implementing Default Reasoning Using Quantified Boolean Formulae. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Clemens Beckstein, Manfred Rahneberg On the Complexity of Generalized Horn Clause Intuionistic Logic. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Georg Ringwelski, Armin Wolf, Ulrich Geske Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Pierre E. Bonzon Deliberation Through Reflection. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1David Pearce 0001 Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Pierre E. Bonzon Deliberate Agent Reconcile Reactive and Goal-Oriented Agents. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1François Bry, Ulrich Geske, Dietmar Seipel (eds.) 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Ulrich John Rekonfiguration komplexer industrieller Produkte mittels constraint-logischer Programmierung. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Hans Schlenker Reduce-To-The-Max: ein schneller Algorithmus für Multi-Ressourcen-Probleme. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Gabriella Kókai CAPP: Statische Codeanalyse von PROLOG Programmen. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Liviu-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 WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Harold Boley Beziehungen zwischen Logikprogrammierung und XML. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Steffen Hölldobler Challenge problems for the integration of logic and connectionist systems. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Frank Steiner, Michael Hanus Type-based Nondeterminism Checking in Functional Logic Programs. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Georg Ringwelski, Hans Schlenker Type Inference in CHR Programs for the Composition of Constraint Systems. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Norbert E. Fuchs Attempto Controlled English. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Hans-Joachim Goltz Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1François Bry Data Modeling with Markup Languages. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Paul-Thomas Kandzia, Christian Schlepphorst FLORID - A Prototype for F-Logic (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Gerhard Wetzel A Unifying Framework for Abductive and Constraint Logic Programming. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Uwe Egly, Hans Tompits A Sequent Calculus for Intuitionistic Default Logic. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Mathias Kettner, Norbert Eisinger Der Tableau-Browser SNARKS (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Tobias Müller, Martin Müller Finite Set Intervals in Oz. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Leuschel, Danny De Schreye Constrained Partial Deduction. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Simona 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 WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Leuschel Extending Homeomorphic Embedding in the Context of Logic Programming. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Dmitri Boulanger Analyzing Declarative Semantics of Logic Programs. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Hanus Curry: A Multi-Paradigm Declarative Language (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Ortrun Ibens The SETHEO System (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Dietmar Seipel DisLog - A Disjunctive Deductive Database Prototype (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Manfred Schramm, Volker Fischer Probabilistic Reasoning with Maximum Entropy - The System PIT (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Dmitri 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 WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Harold Boley Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Ulrich Zukowski, Burkhard Freitag An Overview of the LOLA System (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Armin Wolf Adaptiv-inkrementelle Unifikation. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter Attempto - Englisch als (formale) Spezifikationssprache (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Slim Abdennadher, Hans Schlenker INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1André Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Iris Pigeot, Ursula Robers The Use of Inductive Logic Programming for the Developement of the Statistical Software Tool CORA (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Franç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 WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Hans-Joachim Goltz Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Gerhard Wetzel, Robert A. Kowalski, Francesca Toni A Theorem-Proving approach to CLP. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock Co-ordinating Parallel Computation through Equational Constraints. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Luis Urbina, Günter Riedewald A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Andy Mück Verifizierte Implementierung funktional-logischer Sprachen. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Peter Van Roy Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract). Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Dmitri Boulanger Complete Analysis for Definite Logic Programs. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Hans-Joachim Goltz Ein effizientes constraint-logisches Verfahren zur Eingrenzung der optimalen Lösungen von Problemen der Ablaufplanung. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Jörg Zimmermann Polymorphe Typinferenz für Prolog. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Marinos Yannikos Partielle Maschinencodegenerierung für binäres Prolog. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Armin Wolf Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD). Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Thomas Eiter, Nicola Leone On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Gerhard Brewka Extended Logic Programs with Dynamic Preference Information: Extended Abstract. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Helmut Simonis Application Development with the CHIP System. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 178 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license