AI Communications

2005

Fuzzy referral based cooperation in social networks of agents
by: Javier Carbo, José M. Molina, Jorge Dávila Muro v. 18 i. 1 p. 1 - 13
A Multi-Agent architecture for intelligent gathering systems
by: David Camacho, Ricardo Aler, Daniel Borrajo, José M. Molina v. 18 i. 1 p. 15 - 32
The IJCAR-2004 Automated Theorem Proving Competition
by: Geoff Sutcliffe v. 18 i. 1 p. 33 - 40
HAPRC: an automatically configurable planning system
by: Dimitris Vrakas, Grigorios Tsoumakas, Nick Bassiliades, Ioannis P. Vlahavas v. 18 i. 1 p. 41 - 60
Incremental methods for Bayesian network structure learning
by: Josep Roure Alcobé v. 18 i. 1 p. 61 - 62
Improving the performance of evolutionary algorithms for decision rule learning
by: Raúl Giráldez v. 18 i. 1 p. 63 - 65
Relational Inductive Learning with a Hybrid Evolutionary Algorithm
by: Federico Divina v. 18 i. 1 p. 67 - 69
Relational reinforcement learning
by: Kurt Driessens v. 18 i. 1 p. 71 - 73

2004

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

2003

Artificial Intelligence Advances in China
by: Kewen Wang, Ruqian Lu v. 16 i. 1 p. 1 - 1
Extracting symbolic rules from trained neural network ensembles
by: Zhi-Hua Zhou, Yuan Jiang, Shifu Chen v. 16 i. 1 p. 3 - 15
Multilevel data summarization from information systems: a "rule + exception" approach
by: Jue Wang, Min Zhao, Kai Zhao, Suqing Han v. 16 i. 1 p. 17 - 39
Feature ranking in rough sets
by: Keyun Hu, Yuchang Lu, Chunyi Shi v. 16 i. 1 p. 41 - 50
On the expressive power of semi-normal defaults in some semantic variants of default logic
by: Zhang Mingyi, Zhang Ying v. 16 i. 1 p. 51 - 67
A heuristic for learning decision trees and pruning them into classification rules
by: José Ranilla, Oscar Luaces, Antonio Bahamonde v. 16 i. 2 p. 71 - 87
Expressing default abduction problems as quantified Boolean formulas
by: Hans Tompits v. 16 i. 2 p. 89 - 105
Complexity of argument-based default reasoning with specificity
by: Xishun Zhao v. 16 i. 2 p. 107 - 119
Thesis: Partial evaluation of lazy functional logic programs
by: Pascual Julián Iranzo v. 16 i. 2 p. 121 - 123
Thesis: Constraint solving over multi-valued logics - application to digital circuits
by: Francisco Azevedo v. 16 i. 2 p. 125 - 127
Thesis: ClusDM: a Multiple Criteria Decision Method for heterogeneous data sets
by: Aïda Valls v. 16 i. 2 p. 129 - 130
Thesis: Function variables for constraint programming
by: Brahim Hnich v. 16 i. 2 p. 131 - 132
Guest editorial: Agents applied in health care
by: Antonio Moreno v. 16 i. 3 p. 135 - 137
Understanding intelligent agents: analysis and synthesis
by: John Fox, Martin Beveridge, David Glasspool v. 16 i. 3 p. 139 - 152
The organ allocation process: a natural extension of the Carrel Agent-Mediated Electronic Institution
by: Javier Vázquez-Salceda, Ulises Cortés, Julian A. Padget, Antonio López-Navidad, Francisco Caballero v. 16 i. 3 p. 153 - 165
Provision of agent-based health care services
by: Antonio Moreno, David Isern, David Sánchez v. 16 i. 3 p. 167 - 178
An agent-based architecture for managing the provision of community care - the INCA (Intelligent Community Alarm) experience
by: Martin D. Beer, Richard Hill, Wei Huang, Andrew Sixsmith v. 16 i. 3 p. 179 - 192
Assistive technologies for the disabled and for the new generation of senior citizens: the e-Tools architecture
by: Ulises Cortés, Roberta Annicchiarico, Javier Vázquez-Salceda, Cristina Urdiales, Lola Cañamero, Maite López, Miquel Sànchez-Marrè, Carlo Caltagirone v. 16 i. 3 p. 193 - 207
Thesis: The role of norms and electronic institutions in multi-agent systems applied to complex domains. The HARMONIA framework
by: Javier Vázquez-Salceda v. 16 i. 3 p. 209 - 212
Thesis: New methodology for disability assessment: analysis of WHO-Disability Assessment Schedule II with clustering based on rules
by: Roberta Annicchiarico v. 16 i. 3 p. 213 - 215
Guest editorial: Binding Environmental Sciences and Artificial Intelligence
by: Ulises Cortés, Miquel Sànchez-Marrè, Franz Wotawa v. 16 i. 4 p. 219 - 220
Forecasting red tides using an hybrid neuro-symbolic system
by: Florentino Fernández Riverola, Juan M. Corchado v. 16 i. 4 p. 221 - 233
Feature selection for air quality forecasting: a genetic algorithm approach
by: Elias Kalapanidas, Nikolaos M. Avouris v. 16 i. 4 p. 235 - 251
Knowledge acquisition in the STREAMES project: the key process in the Environmental Decision Support System development
by: Joaquim Comas, Esther Llorens, Eugenia Martí, Maria Angels Puig, Joan L. Riera, Francesc Sabater, Manel Poch v. 16 i. 4 p. 253 - 265
Knowledge engineering in environmental sciences with IKBS: Application to Systematics of corals of the Mascarene Archipelago
by: Noël Conruyt, David Grosser v. 16 i. 4 p. 267 - 278
A conceptual model to facilitate knowledge sharing for bulking solving in wastewater treatment plants
by: Ulises Cortés, Montserrat Martínez, Joaquim Comas, Miquel Sànchez-Marrè, Manel Poch, Ignasi R.-Roda v. 16 i. 4 p. 279 - 289
Qualitative models of interactions between two populations
by: Paulo Salles, Bert Bredeweg, Symone Araujo, Walter Neto v. 16 i. 4 p. 291 - 308
Thesis: Coordination of planning agents to solve problems in the Web
by: David Camacho v. 16 i. 4 p. 309 - 311

2002

The impact of CASC in the development of automated deduction systems
by: Robert Nieuwenhuis v. 15 i. 2-3 p. 77 - 78
The development of CASC
by: Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner v. 15 i. 2-3 p. 79 - 90
The design and implementation of VAMPIRE
by: Alexandre Riazanov, Andrei Voronkov v. 15 i. 2-3 p. 91 - 110
E - a brainiac theorem prover
by: Stephan Schulz v. 15 i. 2-3 p. 111 - 126
A phytography of WALDMEISTER
by: Bernd Löchner, Thomas Hillenbrand v. 15 i. 2-3 p. 127 - 133
TPTP, CASC and the development of a semantically guided theorem prover
by: Kahlil Hodgson, John K. Slaney v. 15 i. 2-3 p. 135 - 146
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC
by: Dominique Pastre v. 15 i. 2-3 p. 147 - 160
New developments in Inductive Learning
by: Gonzalo Ramos-Jiménez v. 15 i. 2-3 p. 161 - 162
Transformation Rules and Strategies for Functional-Logic Programs
by: Ginés Moreno v. 15 i. 2-3 p. 163 - 165
Learning of plan execution policies for indoor navigation
by: Thorsten Belker, Michael Beetz, Armin B. Cremers v. 15 i. 1 p. 3 - 16
DiKe - a model-based diagnosis kernel and its application
by: Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa v. 15 i. 1 p. 17 - 30
History-based diagnosis templates in the framework of the situation calculus
by: Gero Iwan v. 15 i. 1 p. 31 - 45
Approximating most specific concepts in description logics with existential restrictions
by: Ralf Küsters, Ralf Molitor v. 15 i. 1 p. 47 - 59
Bayesian learning and evolutionary parameter optimization
by: Thomas Ragg v. 15 i. 1 p. 61 - 74
Comparing environments for developing software agents
by: Thomas Eiter, Viviana Mascardi v. 15 i. 4 p. 169 - 197
Web-based analysis of data mining and decision support education
by: Tanja Urbancic, Maja Skrjanc, Peter A. Flach v. 15 i. 4 p. 199 - 204
The emergent computational potential of evolving artificial living systems
by: Jirí Wiedermann, Jan van Leeuwen v. 15 i. 4 p. 205 - 215
Clustering and instance based learning in first order logic
by: Jan Ramon v. 15 i. 4 p. 217 - 218

2001

Guest-editorial: Environmental Decision Support Systems
by: Ulises Cortés, Miquel Sànchez-Marrè v. 14 i. 1 p. 1 - 2
Knowledge Management in Environmental Decision Support Systems
by: Ulises Cortés, Miquel Sànchez-Marrè, Ramon Sangüesa, Joaquim Comas, Ignasi R.-Roda, Manel Poch, David Riaño v. 14 i. 1 p. 3 - 12
Environmental emergency management supported by knowledge modelling techniques
by: Josefa Z. Hernández, Juan Manuel Serrano v. 14 i. 1 p. 13 - 22
Deriving qualitative rules from neural networks - a case study for ozone forecasting
by: Franz Wotawa, Gerhard Wotawa v. 14 i. 1 p. 23 - 33
Improving the landcover classification using domain knowledge
by: Christine Largouët, Marie-Odile Cordier v. 14 i. 1 p. 35 - 43
Knowledge discovery by means of inductive methods in wastewater treatment plannt data
by: Joaquim Comas, Saso Dzeroski, Karina Gibert, Ignasi R.-Roda, Miquel Sànchez-Marrè v. 14 i. 1 p. 45 - 62
Thesis: Modelling rational inquiry in non-idela agents
by: Antonio Moreno v. 14 i. 1 p. 63 - 64
Thesis: Development, Implementation and Evaluation of an Activated Sludge Supervisory System for the Granollers WWTP
by: Joaquim Comas v. 14 i. 1 p. 65 - 66
Combining inductive and deductive tools for data analysis
by: Sergio Greco, Elio Masciari, Luigi Pontieri v. 14 i. 2 p. 69 - 82
Rota: a research project on algorithms for workforce scheduling and shift design optimization
by: Johannes Gärtner, Nysret Musliu, Wolfgang Slany v. 14 i. 2 p. 83 - 92
On the specification of multiple models for diagnosis of dynamic systems
by: George Macleod Coghill, Qiang Shen v. 14 i. 2 p. 93 - 104
Applied Semiotics: Control Problems (ASC 2000)
v. 14 i. 2 p. 105 - 109
ECAI 2000
by: Barry Smyth, Elizabeth McKenna, Maria Angela Ferrario v. 14 i. 2 p. 111 - 114
An adaptive system for the personalized access to news
by: Liliana Ardissono, Luca Console, Ilaria Torre v. 14 i. 3 p. 129 - 147
Using AI and machine learning to study expressive music performance: project survey and first report
by: Gerhard Widmer v. 14 i. 3 p. 149 - 162
Efficient approximate planning in continuous space Markovian Decision Problems
by: Csaba Szepesvári v. 14 i. 3 p. 163 - 176
Implementing prioritized logic programming
by: Yan Zhang, Cheng-Min Wu, Yun Bai v. 14 i. 4 p. 183 - 196
Intelligent anticipated exploration of Web sites
by: Giovambattista Ianni v. 14 i. 4 p. 197 - 214
Modeling Web-search scenarios exploiting user and source profiles
by: Luigi Palopoli, Domenico Rosaci, Giorgio Terracina, Domenico Ursino v. 14 i. 4 p. 215 - 230
Removing examples and discovering Hierarchical Decision Rules: With Evolutionary Algorithms
by: Jesús S. Aguilar-Ruiz v. 14 i. 4 p. 231 - 233
Partial evaluation of multi-paradigm declarative languages
by: Elvira Albert v. 14 i. 4 p. 235 - 237

2000

AI Research in the Benelux - Guest Editorial
by: Luc De Raedt, Johannes A. La Poutré, Floor Verdenius v. 13 i. 1 p. 1 - 2
Benelearn: The First 10 Years
by: Luc De Raedt, Maarten van Someren v. 13 i. 1 p. 3 - 4
The Belgian Dutch Artificial Intelligence Association (Belgisch-Nederlandse Verebiging voor Kunstmatige Intelligentie)
by: Maarten van Someren, H. Jaap van den Herik v. 13 i. 1 p. 5 - 6
Benelog
by: Maurice Bruynooghe v. 13 i. 1 p. 7 - 8
Artificial Intelligence Research in Belgium and The Netherlands
by: Bart de Boer, Eric O. Postma v. 13 i. 1 p. 9 - 12
Project Report on LP+: A Second Generation Logic Programming Language
by: Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens v. 13 i. 1 p. 13 - 18
Simulated Annealing with Estimated Temperature
by: E. Poupaert, Yves Deville v. 13 i. 1 p. 19 - 26
Emergence of Vowel Systems Through Self-Organisation
by: Bart de Boer v. 13 i. 1 p. 27 - 40
A Model Selection Approach for Local Learning
by: Gianluca Bontempi, Mauro Birattari, Hugues Bersini v. 13 i. 1 p. 41 - 48
Thesis: Computational measures of information gain and reinforcement in inference processes
by: José Hernández-Orallo v. 13 i. 1 p. 49 - 50
Calls for Papers / Calendar
v. 13 i. 1 p. 51 - 58
Industrial Applications of Model-based Reasoning - Guest Editorial
by: Markus Stumptner, Franz Wotawa v. 13 i. 2 p. 59 - 60
Supervision Applied to Nuclear Fuel Reprocessing
by: Jacky Montmain v. 13 i. 2 p. 61 - 82
A Prototype for Model-based On-board Diagnosis of Automotive Systems
by: Martin Sachenbacher, Peter Struss, Claes M. Calén v. 13 i. 2 p. 83 - 98
Integrating Model-based Diagnosis Techniques into Current Work Processes - Three Case Studies from the INDIA Project
by: Heiko Milde, Thomas Guckenbiehl, Andreas Malik, Bernd Neumann, Peter Struss v. 13 i. 2 p. 99 - 124
Efficient Modeling of Linear Circuits to Perform Qualitative Reasoning Tasks
by: Juan J. Flores, J. Cerda v. 13 i. 2 p. 125 - 134
Thesis: Inductive learning classification algorithms
by: Joao Gama v. 13 i. 2 p. 135 - 136
Thesis: Inductive learning to tree-based regression models
by: Luís Torgo v. 13 i. 2 p. 137 - 138
Calls for Papers / Calendar
v. 13 i. 2 p. 139 - 142
Lifelike Interface Agents - Guest Editorial
by: Elisabeth André v. 13 i. 3 p. 143 - 144
Realizing Believable Agents: An Integration of the 'Author-based' and the 'Model-based' Approaches
by: Paola Rizzo v. 13 i. 3 p. 145 - 168
Eye Communication in a Conversational 3D Synthetic Agent
by: Isabella Poggi, Catherine Pelachaud, Fiorella de Rosis v. 13 i. 3 p. 169 - 182
Building Life-like 'Conscious' Software Agents
by: Stan Franklin v. 13 i. 3 p. 183 - 194
Evaluating Users' Experience of a Character-enhanced Information Space
by: Kristina Höök, Per Persson, Marie Sjölinder v. 13 i. 3 p. 195 - 212
Calendar
v. 13 i. 3 p. 213 - 214
A Note on the Utility of Incremental Learning
by: Christophe G. Giraud-Carrier v. 13 i. 4 p. 215 - 224
Quantitative Disjunctive Logic Programming: Semantics and Computation
by: Cristinel Mateis v. 13 i. 4 p. 225 - 248
Complexity Results for Restricted Credulous Default Reasoning
by: X. Zhao, Decheng Ding, Hans Kleine Büning v. 13 i. 4 p. 249 - 258
A Framework to Deal with Interference in Connectionist Systems
by: Vicente Ruiz de Angulo, Carme Torras v. 13 i. 4 p. 259 - 274
Thesis: Relational learning vs. propositionalization
by: Stefan Kramer v. 13 i. 4 p. 275 - 276
Thesis: Bayesian system for student modeling
by: Eva Millán v. 13 i. 4 p. 277 - 278
Book Review: Scalable Search in computer chess - algorithmic enhancements and experiments at high search depth
by: Hermann Kaindl v. 13 i. 4 p. 279 - 280
Calendar
v. 13 i. 4 p. 281 - 282

1999

Model-Based Reasoning (Guest Editor's Introduction)
by: Franz Wotawa v. 12 i. 1-2 p. 1 - 3
Model-Based Diagnosis for Open Systems Fault Management
by: Friedrich Steimann, Peter Fröhlich, Wolfgang Nejdl v. 12 i. 1-2 p. 5 - 17
An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components
by: Gregory M. Provan, David Glover v. 12 i. 1-2 p. 19 - 32
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
by: Fulvio Cascio, Luca Console, Marcella Guagliumi Massimo Osella, Andrea Panati, Sara Sottano, Daniele Theseider Dupré v. 12 i. 1-2 p. 33 - 43
Simulating Electrical Devices with Complex Behaviour
by: N. A. Snooke v. 12 i. 1-2 p. 45 - 59
Reasoning about Linear Circuits: A Model-Based Approach
by: Juan J. Flores, Arthur M. Farley v. 12 i. 1-2 p. 61 - 77
Combining Qualitative Model-Based Diagnosis and Observation within Fault-Tolerant Systems
by: Frank Schiller, Jochen Schröder v. 12 i. 1-2 p. 79 - 98
The Diagnosis Frontend of the dlv System
by: Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer v. 12 i. 1-2 p. 99 - 111
Fundamentals and Design of IRIS: A Shell for Building Intelligent Teaching-Learning Systems
by: Ana Arruarte Lasa v. 12 i. 1-2 p. 113 - 114
Frequent Pattern Discovery in First-Order Logic
by: Luc Dehaspe v. 12 i. 1-2 p. 115 - 117
Top-Down Induction of First Order Logical Decision Trees
by: Hendrik Blockeel v. 12 i. 1-2 p. 119 - 120
On Models, Modelling and the Distinctive Nature of Model-Based Reasoning
by: M. H. Lee v. 12 i. 3 p. 127 - 137
Database Dependency Discovery: A Machine Learning Approach
by: Peter A. Flach, Iztok Savnik v. 12 i. 3 p. 139 - 160
Introduction to Information Extraction
by: Douglas E. Appelt v. 12 i. 3 p. 161 - 172
Iterative Induction of Logic Programs, An approach to logic program synthesis from incomplete specifications
by: Alípio Jorge v. 12 i. 3 p. 173 - 174
Personalities in Believable Agents: a goal-based model and its realization with an integrated planning architecture
by: Paola Rizzo v. 12 i. 3 p. 175 - 175
Informational Logic in Knowledge Representation and Automated Deduction
by: Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino v. 12 i. 4 p. 185 - 208
Plan Management in the Medical Domain
by: Silvia Miksch v. 12 i. 4 p. 209 - 235
A Temporal Argumentative System
by: Juan Carlos Augusto, Guillermo Ricardo Simari v. 12 i. 4 p. 237 - 257
Instructional Planning in Intelligent Evolutive Tutoring Systems from a Case-Based Reasoning Approach
by: Jon A. Elorriaga v. 12 i. 4 p. 259 - 260
Binding Environmental Sciences and Artificial Intelligence on ECAI'98
by: Ulises Cortés, Miquel Sànchez-Marrè, Ignasi R.-Roda, David Riaño v. 12 i. 4 p. 261 - 265

1998

Monitoring and Alarm Interpretation in Industrial Environments
by: Sylvie Cauvin, Marie-Odile Cordier, Christophe Dousson, Philippe Laborie, François Lévy, Jacky Montmain, Marc Porcheron, Isabelle Servet, Louise Travé-Massuyès v. 11 i. 3-4 p. 139 - 173
Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving
by: Marc Fuchs, Matthias Fuchs v. 11 i. 3-4 p. 175 - 189
Intelligent Data Analysis for Medical Diagnosis: Using Machine Learning and Temporal Abstraction
by: Nada Lavrac, Blaz Zupan, Igor Kononenko, Matjaz Kukar, Elpida T. Keravnou v. 11 i. 3-4 p. 191 - 218
Autoepistemic Description Logics
by: Riccardo Rosati v. 11 i. 3-4 p. 219 - 221
A Study of Hybridisation Techniques and Their Application to the Design of Evolutionary Algorithms
by: Carlos Cotta v. 11 i. 3-4 p. 223 - 224
Constraint Programming on ECAI-98 - Student's View
by: Hana Rudová v. 11 i. 3-4 p. 225 - 228
Logic, Ontologies and Mental States - Report on the ECAI-98 Conference
by: Tei Laine v. 11 i. 3-4 p. 229 - 232
A Report on the ECAI-98 Conference from the Machine Learning Perspective
by: Evgueni N. Smirnov v. 11 i. 3-4 p. 233 - 235
Sixth European Workshop on Logics in Artificial Intelligence (JELIA '98)
by: Maarten Stol v. 11 i. 3-4 p. 237 - 240
ANTS '98 - From Ant Colonies to Artificial Ants: First International Workshop on Ant Colony Optimization
by: Frédéric Geurts v. 11 i. 3-4 p. 241 - 242
CS Freiburg's Participation at RoboCup '98: The World Champions in Robotic Soccer
by: Bernhard Nebel, Wolfgang Hatzack, Thilo Weigel, Jens-Steffen Gutmann, Immanuel Herrmann, Frank Rittinger, Augustinus Topor v. 11 i. 3-4 p. 243 - 248
Towards a Test-Bed for Trading Agents in Electronic Auction Markets
by: Juan A. Rodríguez-Aguilar, Francisco J. Martín, Pablo Noriega, Pere Garcia, Carles Sierra v. 11 i. 1 p. 5 - 19
A Computational Approach for Argumentative Discourse in Multi-Agent Decision Making Environments
by: Nikos I. Karacapilidis, Dimitris Papadias v. 11 i. 1 p. 21 - 33
A Survey of Intelligent Debugging
by: Markus Stumptner, Franz Wotawa v. 11 i. 1 p. 35 - 51
A First-Order Representation of Stable Models
by: Thomas Eiter, James J. Lu, V. S. Subrahmanian v. 11 i. 1 p. 53 - 73
Neighbourhood-Based Learning and Classification: Alternative Methods and Comparative Analysis
by: José Salvador Sánchez v. 11 i. 1 p. 77 - 79
Comparing Information-Theoretic Attribute Selection Measures: A Statistical Approach
by: Ramon López de Mántaras, Jesús Cerquides, Pere Garcia v. 11 i. 2 p. 91 - 100
Avoiding Logical Omniscience and Perfect Reasoning: A Survey
by: Antonio Moreno v. 11 i. 2 p. 101 - 122
The Logic Programming Paradigm
by: Jürgen Dix v. 11 i. 2 p. 123 - 131

1997

A Survey on Knowledge Compilation
by: Marco Cadoli, Francesco M. Donini v. 10 i. 3-4 p. 137 - 150
DisLoP: A Research Project on Disjunctive Logic Programming
by: Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä v. 10 i. 3-4 p. 151 - 165
Theories of Abstraction
by: Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh v. 10 i. 3-4 p. 167 - 176
Discourse Markers: A Challenge for Natural Language Processing
by: Joëlle Rey v. 10 i. 3-4 p. 177 - 184
Contexts as Communicating Theories
by: Christo Dichev v. 10 i. 3-4 p. 185 - 200
Artificial Intelligence in Belgium and the BeNeLux: Past and Future
by: Luc De Raedt v. 10 i. 3-4 p. 201 - 202
Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, (LPNMR '97) Dagstuhl, Germany, 28-31 July 1997
by: Robert Milnikel Jr. v. 10 i. 3-4 p. 203 - 207
Applications of Inductive Learning Techniques: A Survey in the Netherlands
by: Floor Verdenius, Maarten van Someren v. 10 i. 1 p. 3 - 20
Case-Based Reasoning: An Overview
by: Ramon López de Mántaras, Enric Plaza v. 10 i. 1 p. 21 - 29
Learning Causal Networks from Data: A Survey and a New Algorithm for Recovering Possibilistic Causal Networks
by: Ramon Sangüesa, Ulises Cortés v. 10 i. 1 p. 31 - 61
Fifth European Workshop on Logics in Artificial Intelligence (JELIA '96), Evora, Portugal, 30 September-3 October 1996
by: Chandrabose Aravindan v. 10 i. 1 p. 63 - 65
Review of "Intelligent Behaviour in Animals and Robots" by David McFarland and Thomas Bvsser
by: Brian H. Mayoh v. 10 i. 1 p. 67 - 69
A Mobile Robot Multimedia Interaction System Based on CPP-TRS Methodology and Language
by: Marco Porta v. 10 i. 1 p. 71 - 73
Biomimetic Navigation Models and Strategies in Animats
by: Olivier Trullier, Jean-Arcady Meyer v. 10 i. 2 p. 79 - 92
Situated Nonmonotonic Temporal Reasoning with BABY-SIT
by: Erkan Tin, Varol Akman v. 10 i. 2 p. 93 - 109
An Overview of Knowledge-Based Configuration
by: Markus Stumptner v. 10 i. 2 p. 111 - 125
Advanced Techniques for Logic Program Specialisation
by: Michael Leuschel v. 10 i. 2 p. 127 - 128

1996

On the Expressive Power of Ordered Logic
by: Francesco Buccafurri, Nicola Leone, Francesco Scarcello v. 9 i. 1 p. 4 - 13
Representation Change in Machine Learning
by: Lorenza Saitta v. 9 i. 1 p. 14 - 20
Genetic Algorithms in Machine Learning
by: Attilio Giordana, Filippo Neri v. 9 i. 1 p. 21 - 26
Attribute-Based Learning
by: Ivan Bratko, Bojan Cestnik, Igor Kononenko v. 9 i. 1 p. 27 - 32
Case-Based Reasoning in Diagnostic Expert Systems
by: Carlo Bach, Dean Allemang v. 9 i. 2 p. 49 - 52
A Logics Workbench
by: Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried v. 9 i. 2 p. 53 - 58
Working Group in Model-Based Design and Reasoning. Part I: Modeling and Diagnosis
by: Boi Faltings v. 9 i. 2 p. 59 - 64
Working Group in Model-Based Design and Reasoning. Part II: Design
by: Boi Faltings v. 9 i. 2 p. 65 - 73
Multi-Agent Interaction in a Complex Virtual Design Environment
by: Gerhard Schmitt, Maia Engeli, David Kurmann, Boi Faltings, Stefan Monier v. 9 i. 2 p. 74 - 78
Concepts and Tools for Lexical Knowledge Acquisition
by: Marc Domenig, Alain Hsiung v. 9 i. 2 p. 79 - 82
TIGER: Knowledge Based Gas Turbine Condition Monitoring
by: Robert Milne, Charlie Nicol, Louise Travé-Massuyès, Joseba Quevedo v. 9 i. 3 p. 92 - 108
Relating Case-Based Problem Solving and Learning Methods to Task and Domain Characteristics: Towards an Analytic Framework
by: Klaus-Dieter Althoff, Agnar Aamodt v. 9 i. 3 p. 109 - 116
CBR in Design
by: Rivka Oxman, Angi Voß v. 9 i. 3 p. 117 - 127
Case-Based Planning: Selected Methods and Systems
by: Manuela M. Veloso, Hector Muñoz-Avila, Ralph Bergmann v. 9 i. 3 p. 128 - 137
CBR for Diagnosis and Decision Support
by: Mario Lenz, Hans-Dieter Burkhard, Petra Pirk, Eric Auriol, Michel Manago v. 9 i. 3 p. 138 - 146
ILPNET Repositories on WWW: Inductive Logic Programming Systems, Datasets and Bibliography
by: Nada Lavrac, Irene Weber, Darko Zupanic, Dimitar Kazakov, Olga Stepánková, Saso Dzeroski v. 9 i. 4 p. 157 - 206
Slalom Tree Computing - A Tree Computing Theory for Artificial Intelligence
by: Cyrus F. Nourani v. 9 i. 4 p. 207 - 213
Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions
by: Erik Sandewall v. 9 i. 4 p. 214 - 224

1995

Qualitative Reasoning: A Survey of Techniques and Applications
by: Philippe Dague v. 8 i. 3/4 p. 119 - 192
Inductive Logic Programming: A Survey of European Research
by: Nada Lavrac, Luc De Raedt v. 8 i. 1 p. 3 - 19
Iterative Improvement Methods for Knowledge-Based Scheduling
by: Jürgen Dorn v. 8 i. 1 p. 20 - 34
Detailed Report on the First LP&NMR Retreat
by: Jürgen Dix v. 8 i. 1 p. 39 - 43
Understanding and Translating Language - Challenges of the 90s
by: Verónica Dahl v. 8 i. 2 p. 71 - 77
Tabu Search - Using the Search Experience to Guide the Search Process. An Introduction with Examples
by: Arne Løkketangen v. 8 i. 2 p. 78 - 85
AI Research in the People's Republic of China
by: Huang Guoxing, Nicolaas J. I. Mars v. 8 i. 2 p. 86 - 90
A Framework for Abductive Rule Formation
by: Javier Larrosa, Ulises Cortés v. 8 i. 2 p. 91 - 100

1994

Software Secretary Kernel: An Extendable Architecture for Learning and Negotiating Personal Assistants
by: Siegfried Bocionek v. 7 i. 3/4 p. 147 - 160
Artificial Intelligence through Logic?
by: Rosli Omar v. 7 i. 3/4 p. 161 - 174
Temporal Reasoning in REAKT: An Environment for Real-Time Knowledge-Based Systems
by: Federico Barber, Vicente J. Botti, Eva Onaindia, Alfons Crespo v. 7 i. 3/4 p. 175 - 202
Computing and Information Compression: A Reply
by: J. Gerard Wolff v. 7 i. 3/4 p. 203 - 219
A Survey on Temporal Reasoning in Artificial Intelligence
by: Lluís Vila v. 7 i. 1 p. 4 - 28
Towards a Technology and a Science of Machine Learning
by: Derek H. Sleeman v. 7 i. 1 p. 29 - 38
Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches
by: Agnar Aamodt, Enric Plaza v. 7 i. 1 p. 39 - 59
On-the-Fly Knowledge Base Refinement by a Classifier System
by: Takado Terano, Zen-ichirou Muro v. 7 i. 2 p. 86 - 97
Knowledge-Base Evolution for Product and Production Planning
by: Knut Hinkelmann, Manfred Meyer, Franz Schmalhofer v. 7 i. 2 p. 98 - 113
PCLEARN: A Computer Model for Learning Perceptual Chunks
by: Masaki Sssuwa, Hiroshi Motoda v. 7 i. 2 p. 114 - 125

1993

From Geometric Motion Planning to Neural Motor Control in Robotics
by: Carme Torras v. 6 i. 1 p. 3 - 17
Temporal Planner = Nonlinear Planner + Time Map Manager
by: Éric Rutten, Joachim Hertzberg v. 6 i. 1 p. 18 - 26
DRUMS: Defeasible Reasoning and Uncertainty Management Systems
by: Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramon López de Mántaras, Lluis Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney v. 6 i. 1 p. 27 - 46
Interviews on AI and Education: Ecucation and Technology: What do we know? And where is AI?
by: Jacobijn Sandberg, Yvonne Barnard v. 6 i. 1 p. 47 - 58
Research Performance in Artificial Intelligence and Robotics: An International Comparison
by: Peter Van den Besselaar, Loet Leydesdorff v. 6 i. 2 p. 83 - 91
What the Study of Language Can Contribute to AI
by: Verónica Dahl v. 6 i. 2 p. 92 - 106
Computing, Cognition and Information Compression
by: J. Gerard Wolff v. 6 i. 2 p. 107 - 127

1992

The Model-Based Construction of a Case-Oriented Expert System
by: Franz Schmalhofer, Jörg Thoben v. 5 i. 1 p. 3 - 18
Machine Learning and Knowledge Acquisition, Summary of Research Contributions Presented at IJCAI'91
by: Francesco Bergadano, Yves Kodratoff, Katharina Morik v. 5 i. 1 p. 19 - 24
Interviews on AI and Education: John Anderson and Clotile Pontecorvo
by: Jacobijn Sandberg, Yvonne Barnard v. 5 i. 1 p. 28 - 35
Engineering Cognitive Systems: Japan's Real-World Computing Programme
by: Elizabeth Pollitzer v. 5 i. 2 p. 56 - 61
Cognitive Science and Wittgenstein's Tractatus
by: Philip Swann v. 5 i. 2 p. 62 - 74
A General Temporal Model Supporting Duration Reasoning
by: Brian Knight, Jixin Ma v. 5 i. 2 p. 75 - 84
Interviews on AI and Education: Kurt Vanlehn and David Merrill
by: Jacobijn Sandberg, Yvonne Barnard v. 5 i. 2 p. 85 - 91
Towards a Conceptual Framework for Expert System Validation
by: Pedro Meseguer v. 5 i. 3 p. 119 - 135
TheME: an Environment for Building Formal KADS-II Models of Expertise
by: John Balder, Hans Akkermans v. 5 i. 3 p. 136 - 147
Interviews on AI and Education: Beverly Woolf and Roger Schank
by: Jacobijn Sandberg, Yvonne Barnard v. 5 i. 3 p. 148 - 155
A Separable Architecture for the Construction of Knowledge Based Front Ends
by: A. Prat, J. M. Catot, J. Lores, P. Fletcher, J. Galmes, K. Sanjeevan v. 5 i. 4 p. 184 - 190
Interviews on AI and Education: Jan Elshout
by: Jacobijn Sandberg, Yvonne Barnard v. 5 i. 4 p. 191 - 194
Reply to William J. Clancey
by: Edwin Cleton v. 5 i. 4 p. 195 - 198
Qualitative Control and Fuzzy Control: Towards a Writing Methodology
by: Laurent Foulloy v. 6 i. 3/4 p. 147 - 154
Knowledge Representation and Natural Language Understanding
by: Gérard Sabah v. 6 i. 3/4 p. 155 - 186
Model-Based Diagnosis and Repair
by: Gerhard Friedrich v. 6 i. 3/4 p. 187 - 206
Reasoning about Perception
by: Daniela Musto, Kurt Konolige v. 6 i. 3/4 p. 207 - 212
Sweeping Away the Problems that Dog the Industry?
by: Graham A. Stephen, Paul Mather v. 6 i. 3/4 p. 213 - 218

1991

Interviews on AI and Education: Martial Vivet
by: Jacobijn Sandberg v. 4 i. 2/3 p. 53 - 59
Facilitating the Development of Knowledge Based Systems, A Critical Review of Aquisition Tools and Techniques
by: Hyacinth S. Nwana, Ray Paton, Trevor J. M. Bench-Capon, Michael J. R. Shave v. 4 i. 2/3 p. 60 - 73
A Conceptual Modelling Framework for Knowledge-level Reflection
by: Martin Reinders, Erik Vinkhuyzen, Angi Voß, Hans Akkermans, John Balder, Brigitte Bartsch-Spörl, Bert Bredeweg, Uwe Drouven, Frank van Harmelen, Werner Karbach, Zeger Karssen, Guus Schreiber, Bob J. Wielinga v. 4 i. 2/3 p. 74 - 87
Focussing Abductive Diagnosis
by: Luca Console, Luigi Portinale, Daniele Theseider Dupré v. 4 i. 2/3 p. 88 - 97
Task Level Frameworks for Cooperative Expert System Design
by: Markus Sstolze v. 4 i. 2/3 p. 98 - 106
Clancey on Situated Cognition: Throw out the Baby, but Keep the Bathwater
by: Philip Swann v. 4 i. 2/3 p. 107 - 109
Situated Cognition: Stepping out of Representational Flatland
by: William J. Clancey v. 4 i. 2/3 p. 109