Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540250791, 9783540318453

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Playing the Minesweeper with Constraints

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_21 ◽

2005 ◽

pp. 251-262

Author(s):

Raphaël Collet

Download Full-text

Compositional Abstractions for Search Factories

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_18 ◽

2005 ◽

pp. 211-223

Author(s):

Guido Tack ◽

Didier Le Botlan

Download Full-text

Implementing Semiring-Based Constraints Using Mozart

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_19 ◽

2005 ◽

pp. 224-236 ◽

Cited By ~ 4

Author(s):

Alberto Delgado ◽

Carlos Alberto Olarte ◽

Jorge Andrés Pérez ◽

Camilo Rueda

Download Full-text

Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_24 ◽

2005 ◽

pp. 292-304 ◽

Cited By ~ 2

Author(s):

Juan Francisco Díaz ◽

Javier Andrés Mena

Keyword(s):

Constraint Programming ◽

Sequencing Problem ◽

Concurrent Constraint Programming ◽

Aircraft Sequencing Problem

Download Full-text

The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_25 ◽

2005 ◽

pp. 305-316

Author(s):

B. Jesús Aranda ◽

F. Juan Francisco Díaz ◽

V. James Ortíz

Keyword(s):

Constraint Programming ◽

Practical Solution

Download Full-text

Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_23 ◽

2005 ◽

pp. 277-291 ◽

Cited By ~ 3

Author(s):

Torsten Anders ◽

Christina Anagnostopoulou ◽

Michael Alcorn

Keyword(s):

Music Composition ◽

Programming Model

Download Full-text

The CURRENT Platform: Building Conversational Agents in Oz

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_14 ◽

2005 ◽

pp. 161-174 ◽

Cited By ~ 1

Author(s):

Torbjörn Lager ◽

Fredrik Kronlid

Keyword(s):

Conversational Agents

Download Full-text

Web Technologies for Mozart Applications

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_9 ◽

2005 ◽

pp. 103-112

Author(s):

Mahmoud Rafea

Keyword(s):

Web Technologies

Download Full-text

A Program Verification System Based on Oz

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_4 ◽

2005 ◽

pp. 41-52

Author(s):

Isabelle Dony ◽

Baudouin Le Charlier

Keyword(s):

Program Verification ◽

Verification System

Download Full-text

P2PS: Peer-to-Peer Development Platform for Mozart

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31845-3_11 ◽

2005 ◽

pp. 125-136 ◽

Cited By ~ 5

Author(s):

Valentin Mesaros ◽

Bruno Carton ◽

Peter Van Roy

Keyword(s):

Peer To Peer ◽

Development Platform

Download Full-text

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Playing the Minesweeper with Constraints

Compositional Abstractions for Search Factories

Implementing Semiring-Based Constraints Using Mozart

Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming

The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics

Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model

The CURRENT Platform: Building Conversational Agents in Oz

Web Technologies for Mozart Applications

A Program Verification System Based on Oz

P2PS: Peer-to-Peer Development Platform for Mozart

Multiparadigm Programming in Mozart/Oz - Lecture Notes in Computer Science
Latest Publications