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.