


default search action
15th WLP 2000: Berlin, Germany
- Slim Abdennadher, Ulrich Geske, Dietmar Seipel:

WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000. GMD Report 110, 2000
Invited Talks
- Francesca Rossi:

Soft Constraints. WLP 2000: 15-24 - Philippe Codognet:

A Constraint - Based Language for Autonomous Agents in Virtual Worlds. WLP 2000: 25-26 - Markus Hannebauer:

Collaborative Agents - A Fresh Look at Constraint Solving. WLP 2000: 27-30
Tutorial
- François Bry:

Data Modeling with Markup Languages. WLP 2000: 33-60
Regular Papers
- Hans Schlenker, Frank Rehberger:

Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation. WLP 2000: 63-70 - Michael Hanus:

Server Side Web Scripting in Curry. WLP 2000: 71-84 - 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: 85-98 - Andreas Behrend:

A Dynamic Approach to Deductive Query Evaluation. WLP 2000: 99-112 - Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:

Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. WLP 2000: 113-122 - Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel:

cTI: Bottom-Up Termination Inference for Logic Programs. WLP 2000: 123-134
Presentations
- Georg Ringwelski, Hans Schlenker:

Type Inference in CHR Programs for the Composition of Constraint Systems. WLP 2000: 137-146 - Pierre E. Bonzon:

Deliberation Through Reflection. WLP 2000: 147-

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














