| 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.  |
WLP  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ferraris |
Causal Theories as Logic Programs. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi |
Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marc Meister |
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Adding Constraint Handling Rules to Curry. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kathrin Konczak |
Voting Theory in Answer Set Programming. |
WLP |
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. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marcus Vinicius Santos |
Executable denotations for concurrent languages using Concurrent Transaction Logic. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ján Sefránek |
Non-monotonic Integrity Constraints. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Geske |
How to Teach Difference Lists? |
WLP |
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. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Axel Polleres |
Logic Programs with Contextually Scoped Negation. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber 0001 |
Decomposition of Nonmonotone Aggregates in Answer Set Programming. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zoran Majkic |
Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Torsten Schaub |
Tableaux Calculi for Answer Set Programming. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti |
Declarative Web data extraction and annotation. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Armin Wolf |
Object-Oriented Constraint Programming in Java Using the Library firstcs. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jozef Siska |
Dynamic Logic Programming and world state evaluation in computer games. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler |
Algorithmic Aspects of Model Representations. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Fink 0001, Hans Tompits, Stefan Woltran (eds.) |
20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jacques Robin, Jairson Vitorino |
ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kathrin Konczak |
Weak Order Equivalence for Logic Programs with Preferences. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Hans Tompits, Patrick Traxler, Stefan Woltran |
Replacements in Non-Ground Answer-Set Programming. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank Puppe |
Übersicht über heuristische, fallbasierte und modellbasierte Problemlösungsmethoden in der Diagnostik. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel |
cTI: Bottom-Up Termination Inference for Logic Programs. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hans Schlenker, Frank Rehberger |
Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
TkCurry: A Declarative Approach to GUI Programming. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gabriella Kókai |
CAPP: Statische Codeanalyse von PROLOG Programmen. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler |
Challenge problems for the integration of logic and connectionist systems. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | David Pearce 0001 |
Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | François Bry |
Data Modeling with Markup Languages. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Slim Abdennadher, Matthias Saft, Sebastian Will |
Constraintbasierte Raumplanung für Universitäten. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Andreas Behrend |
A Dynamic Approach to Deductive Query Evaluation. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Georg Ringwelski, Hans Schlenker |
Type Inference in CHR Programs for the Composition of Constraint Systems. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Slim Abdennadher, Thom W. Frühwirth |
Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. |
WLP |
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. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Markus Hannebauer, Ines Münch |
Fransforming object-oriented domain models into declarative CLP expressions. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Di Deo, Dmitri Boulanger |
Using Objects to Build Constraint Databases. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | François Bry, Ulrich Geske, Dietmar Seipel |
Preface. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hans-Joachim Goltz |
Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierre E. Bonzon |
Deliberation Through Reflection. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierre E. Bonzon |
Deliberate Agent Reconcile Reactive and Goal-Oriented Agents. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
PACS: The Portland Aachen Curry System. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Francesca Rossi 0001 |
Soft Constraints. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Beziehungen zwischen Logikprogrammierung und XML. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gabriella Kókai |
New Missing Solution Method for Trace Trees. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | François Bry, Ulrich Geske, Dietmar Seipel (eds.) |
14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Frank Steiner, Michael Hanus |
Type-based Nondeterminism Checking in Functional Logic Programs. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Georg Ringwelski, Armin Wolf, Ulrich Geske |
Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ulrich John |
Rekonfiguration komplexer industrieller Produkte mittels constraint-logischer Programmierung. |
WLP |
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. |
WLP |
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. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Markus Hannebauer |
Collaborative Agents - A Fresh Look at Constraint Solving. |
WLP |
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. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran |
Implementing Default Reasoning Using Quantified Boolean Formulae. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Clemens Beckstein, Manfred Rahneberg |
On the Complexity of Generalized Horn Clause Intuionistic Logic. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marija Kulas |
Debugging Prolog Using Annotations. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Server Side Web Scripting in Curry. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Norbert E. Fuchs |
Attempto Controlled English. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Philippe Codognet |
A Constraint - Based Language for Autonomous Agents in Virtual Worlds. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel |
Slicing zur Fehlersuche in Logikprogrammen. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hans Schlenker |
Reduce-To-The-Max: ein schneller Algorithmus für Multi-Ressourcen-Probleme. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Uwe Egly, Hans Tompits |
A Sequent Calculus for Intuitionistic Default Logic. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Zukowski, Burkhard Freitag |
An Overview of the LOLA System (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Dmitri Boulanger |
Analyzing Declarative Semantics of Logic Programs. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ortrun Ibens |
The SETHEO System (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel |
Extending Homeomorphic Embedding in the Context of Logic Programming. |
WLP |
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). |
WLP |
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). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Paul-Thomas Kandzia, Christian Schlepphorst |
FLORID - A Prototype for F-Logic (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Curry: A Multi-Paradigm Declarative Language (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Armin Wolf |
Adaptiv-inkrementelle Unifikation. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Dietmar Seipel |
DisLog - A Disjunctive Deductive Database Prototype (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Wetzel |
A Unifying Framework for Abductive and Constraint Logic Programming. |
WLP |
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. |
WLP |
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). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Hans-Joachim Goltz |
Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Manfred Schramm, Volker Fischer |
Probabilistic Reasoning with Maximum Entropy - The System PIT (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Danny De Schreye |
Constrained Partial Deduction. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Slim Abdennadher, Hans Schlenker |
INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter |
Attempto - Englisch als (formale) Spezifikationssprache (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Tobias Müller, Martin Müller |
Finite Set Intervals in Oz. |
WLP |
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. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mathias Kettner, Norbert Eisinger |
Der Tableau-Browser SNARKS (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Luis Urbina, Günter Riedewald |
A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Helmut Simonis |
Application Development with the CHIP System. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jörg Zimmermann |
Polymorphe Typinferenz für Prolog. |
WLP |
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. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Joachim Posegga |
LeanEA: A Lean Evolving Algebra Compiler. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach |
From Theorem Proving to Logic Programming. |
WLP |
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. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Rolf Schwitter, Bernhard Hamburger, Norbert E. Fuchs |
Attempto: Specifications in Controlled Natural Language. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dmitri Boulanger |
Complete Analysis for Definite Logic Programs. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Armin Wolf |
Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD). |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter Van Roy |
Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract). |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Neumerkel |
Interprozedurale Registerallokation durch Quelltexttransformationen. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Luis Urbina |
Analysis of Robotics Applications in CLP. |
WLP |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license