![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
AI Communications, Volume 17
Volume 17, Number 1, 2004
- Thierry Vidal, Paolo Liberatore:
Guest editorial: STAIRS 2002 (http: //stairs2002.univ-lyon1.fr/). 1-2 - Nicola Stokes, Joe Carthy, Alan F. Smeaton:
SeLeCT: a lexical cohesion based news story segmentation system. 3-12 - Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento:
Using WordNet for case-based retrieval of UML models. 13-23 - Yannick Loiseau, Henri Prade, Mohand Boughanem:
Qualitative pattern matching with linguistic terms. 25-34 - Santiago Escobar:
Thesis: Strategies and analysis techniques in functional program optimization. 35-37
Volume 17, Number 2, 2004
- Christoph Koch:
Query rewriting with symmetric constraints. 41-55 - Sergio Flesca, Giuseppe Manco, Elio Masciari, Eugenio Rende, Andrea Tagarelli:
Web wrapper induction: a brief survey. 57-61 - Simona Perri, Nicola Leone:
Parametric connectives in Disjunctive Logic Programming. 63-74 - Jakob Mauss, Frank Seelisch, Mugur M. Tatar:
A constraint solver for model-based engineering. 75-92 - Alicia Villanueva:
Model checking for the concurrent constraint paradigm. 93-94 - Cèsar Ferri Ramirez:
Multi-paradigm learning of declarative models. 95-97
Volume 17, Number 3, 2004
- Geoff Sutcliffe, Christian B. Suttner:
The CADE-19 ATP System Competition. 103-110 - Andrea Tagarelli, Irina Trubitsyna, Sergio Greco:
Combining linear programming and clustering techniques for the classification of research centers. 111-122 - Hans-Werner Kelbassa:
Optimal refinement of rule bases. 123-154 - Gianluigi Greco, Sergio Greco, Ester Zumpano:
Collaborative Filtering Supporting Web Site Navigation. 155-166 - Zeynep Kiziltan:
Symmetry breaking ordering constraints. 167-169 - Antonio J. Fernández:
A Generic, Collaborative Framework for Interval Constraint Solving. 171-174 - Jorge Rodas:
Knowledge discovery in repeated and very short serial measures with a blocking factor. 175-178
Volume 17, Number 4, 2004
- Jochen Renz, Hans W. Guesgen:
Spatial and temporal reasoning. 183-184 - Gérard Ligozat:
Frank D. Anger (1939-2004). 185 - Silvana Badaloni, Marco Falda, Massimiliano Giacomin:
Integrating quantitative and qualitative fuzzy temporal constraints. 187-200 - Malek Mouhoub:
Systematic versus non systematic techniques for solving temporal constraints in a dynamic environment. 201-211 - Berthe Y. Choueiry, Lin Xu:
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. 213-221 - Gérard Ligozat, Debasis Mitra, Jean-François Condotta:
Spatial and temporal reasoning: beyond Allen's calculus. 223-233 - Ivo Düntsch, Michael Winter:
Construction of Boolean contact algebras. 235-246 - Thomas Bittner, Maureen Donnelly, Barry Smith:
Endurants and perdurants in directly depicting ontologies. 247-258 - Frederico T. Fonseca, James E. Martin:
Space and time in eco-ontologies. 259-269
![](https://dblp.org/img/cog.dark.24x24.png)
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.