Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXIV Ciclo, a.a. 2010-2011Università della Calabri
We present quantitative logics with two-step semantics based on the framework of quantitative logics...
Abstract. This paper presents the constraint class seq bin(N,X,C,B) where N is an integer variable, ...
Gärtner H-M, Michaelis J. A Note on the Complexity of Constraint Interaction: Locality Conditions an...
Set constraints are relations between sets of terms. They have been used extensively in various app...
Abstract. Set constraints are relations between sets of terms. They have been used extensively in va...
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting...
International audienceThis paper introduces the SEQ_BIN meta-constraint with a polytime algorithm ac...
4th European Conference on Cognitive Science. 11th International Conference on Cognitive Science. ...
This paper describes the design, implementation, and applications of the constraint logic language c...
AbstractThis paper describes the design, implementation, and applications of the constraint logic la...
1 Introduction Constraint logic grammars (CLGs) provide a powerful formalism for complex logical des...
none1Constraints provides a common forum for the many disciplines interested in constraint programmi...
Article dans revue scientifique avec comité de lecture.Constraints are an effective tool to define s...
none3noIJCAI è la più prestigiosa conferenza in intelligenza artificiale. È classificata A++ (il mas...
Ce fichier regroupe en un seul document l'ensemble des articles acceptés pour la conférence CSCLP 20...
We present quantitative logics with two-step semantics based on the framework of quantitative logics...
Abstract. This paper presents the constraint class seq bin(N,X,C,B) where N is an integer variable, ...
Gärtner H-M, Michaelis J. A Note on the Complexity of Constraint Interaction: Locality Conditions an...
Set constraints are relations between sets of terms. They have been used extensively in various app...
Abstract. Set constraints are relations between sets of terms. They have been used extensively in va...
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting...
International audienceThis paper introduces the SEQ_BIN meta-constraint with a polytime algorithm ac...
4th European Conference on Cognitive Science. 11th International Conference on Cognitive Science. ...
This paper describes the design, implementation, and applications of the constraint logic language c...
AbstractThis paper describes the design, implementation, and applications of the constraint logic la...
1 Introduction Constraint logic grammars (CLGs) provide a powerful formalism for complex logical des...
none1Constraints provides a common forum for the many disciplines interested in constraint programmi...
Article dans revue scientifique avec comité de lecture.Constraints are an effective tool to define s...
none3noIJCAI è la più prestigiosa conferenza in intelligenza artificiale. È classificata A++ (il mas...
Ce fichier regroupe en un seul document l'ensemble des articles acceptés pour la conférence CSCLP 20...
We present quantitative logics with two-step semantics based on the framework of quantitative logics...
Abstract. This paper presents the constraint class seq bin(N,X,C,B) where N is an integer variable, ...
Gärtner H-M, Michaelis J. A Note on the Complexity of Constraint Interaction: Locality Conditions an...
DOI
Add to ORKG