ECAI A

165 papers

YearTitle / Authors
1998'Just-in-Time' Analogical Reasoning: A Progressive-Deepening Model of Structure-Mapping.
Tony Veale
199813th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings.
Henri Prade
1998A Constraint Programming Approach to Portfolio Selection.
Gerhard Wetzel, Fabian Zabatta
1998A Declarative Formalization of STRIPS.
Josefina Sierra-Santibáñez
1998A Description Logic for Vague Knowledge.
Christopher Tresp, Ralf Molitor
1998A Few English Words Can Help Improve Your Russian.
Anja Belz
1998A Fuzzy Inference Framework For Induced Decision Trees.
Keeley A. Crockett, Zuhair Bandar, Akeel Al-Attar
1998A Game Theory Approach to Coordination in MAS.
Matteo Golfarelli
1998A Hierarchical Multi-Agent System for Natural Language Diagnosis.
João Balsa
1998A Knowledge-theoretic Approach to Distributed Problem Solving.
Michael J. Wooldridge
1998A LTAG Grammar for Parsing Oral and Incomplete Utterances.
Patrice Lopez
1998A Linguistic and Mathematical Method for Mapping Thematic Trends from Texts.
Fidelia Ibekwe-Sanjuan
1998A Logic for Reasoning about Action, Preference, and Commitment.
Churn-Jung Liau
1998A Macro - Mutation Operator in Genetic Algorithms.
Claude Lattaud
1998A Model for Creative Problem Solving Based on Divergent Production of Solutions.
Luís Macedo
1998A Multi-Agent Simulation of Primate Social Concepts.
Sébastien Picault
1998A New Approach to the Intended Meaning of Negative Information.
Daniel Pacholczyk
1998A Scheme for Coordinating Multi-robots Planning Activities and Plans Execution.
Rachid Alami, François Felix Ingrand, Samer Qutub
1998A Sistributed Scheme for Task Planning and Negotiation in Multi-Robot Systems.
Silvia Silva da Costa Botelho
1998A Thematic Segmentation Procedure for Extracting Semantic Domains from Texts.
Olivier Ferret, Brigitte Grau
1998A Weighted Arc Consistency Technique for MAX-CSP.
Mohamed-Salah Affane, Hachemi Bennaceur
1998ADELE: A Blackboard-based Architecture for Ergonomic Simulation.
A. Alauzet
1998AI Planning in a Chemical Plant Domain.
Ruth Aylett, James K. Soutter, Gary J. Petley, Paul W. H. Chung
1998AI-Techniques in Proof Planning.
Erica Melis
1998Admissible Bidirectional Heuristic Search Algorithm.
J. Holubec
1998Algebraic Topology for Knowledge Representation in Analogy Solving.
Erika Valencia, Jean-Louis Giavitto, Jean-Paul Sansonnet
1998An Architecture for Reusing Problem-Solving Components.
Dieter Fensel, V. Richard Benjamins
1998An Artificial Life Model for Information Retrieval in a Distributed Environment.
F. B. Pereira
1998An Integrated Framework of Learning Numerical Terms in FOL.
Marco Botta, Attilio Giordana, Roberto Piola
1998An Objective Definition of Subjective Probability.
Nico Roos
1998An Update Semantics for Prima Facie Obligations.
Leendert W. N. van der Torre, Yao-Hua Tan
1998Application of a Self-Organizing Method Based on Cooperation to Information Retrieval.
Valérie Camps
1998Artificial Reasoners for the Cognitive Assessment of Patients with Parkinson's Disease.
Josette Pastor, Alain Agniel, Pierre Celsis
1998Back-up of Heuristic Values: Minimaxing vs. Product Propagation.
Hermann Kaindl, Anton Scheucher
1998Belief States as Default Theories: Studies in Non-Prioritized Belief Change.
Aditya Ghose, Randy Goebel
1998Bound Consistency on Linear Constraints in Finite Domain Constraint.
Yuanlin Zhang, Hui Wu
1998Camits: a Cooperative Agents Model for Intelligent Tutoring Systems.
R. J. Imbert
1998Case-Based Decisions.
Itzhak Gilboa, David Schmeidler
1998Causal Logic.
Glenn Shafer
1998Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality.
Annette ten Teije, Frank van Harmelen
1998Collective Learning in MultiAgent Systems.
Stéphane Calderoni
1998Comparison of Personal Ontologies Represented through Conceptual Graphs.
Rose Dieng, Stefan Hug
1998Connection Relations in Mereotopology.
Anthony G. Cohn, Achille C. Varzi
1998Constraint Programming: A Great AI Success.
Jean-Francois Puget
1998Constraints with Variables' Annotations.
Hana Rudová
1998Constructing Text Filters Based on Bayesian Network Learning.
Wai Lam, Kon Fan Low
1998Contextual Reasoning.
Laurent Perrussel
1998Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae.
Fabio Massacci
1998Correct and Complete Retrieval for Case-Based Problem-Solving.
Jean Lieber, Amedeo Napoli
1998Cost-Sensitive Learning with Neural Networks.
Matjaz Kukar, Igor Kononenko
1998Dealing with Concurrent Actions in Modal Action Logics.
Laura Giordano, Alberto Martelli, Camilla Schwind
1998Decision As Abduction?
Régis Sabbadin
1998Delayed Effects of Actions.
Lars Karlsson, Joakim Gustafsson, Patrick Doherty
1998Description Logics with Concrete Domains and Aggregation.
Franz Baader, Ulrike Sattler
1998Designing FPLA Combinational Circuits by Conditional Rewriting.
Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi
1998Diagnosis of Active Systems.
Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella
1998Distributed Intelligent Backtracking.
Youssef Hamadi, Christian Bessière, Joël Quinqueton
1998Dynamic Case Memory Management.
Luigi Portinale, Pietro Torasso, Paolo Tavano
1998Dynamic Domain Splitting for Numeric CSPs.
Narendra Jussien, Olivier Lhomme
1998Dynamic Maps as Representations of Verbs.
Paul Cohen
1998Dynamic Semantics and Underspecification.
Christof Monz
1998Efficient Algorithms for Qualitative Spatial Reasoning.
Jochen Renz, Bernhard Nebel
1998Efficient Parsing for Information Extraction.
Roberto Basili, Maria Teresa Pazienza, Fabio Massimo Zanzotto
1998Embedding Minimal Knowledge into Negation as Failure.
Riccardo Rosati
1998Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis.
Eric Raufaste, Rui Da Silva Neves
1998Explaining and Justifying Decision Support Advice in Intuitive Terms.
K. Nadia Papamichail
1998Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case.
Riccardo Rosati
1998Fitness Distance Correlation, as statistical measure of Genetic Algorithm difficulty, revisited.
Philippe Collard, Alessio Gaspar, Manuel Clergue, Cathy Escazut
1998Formal Models of Control Systems.
Babak Sadighi Firozabadi, Leendert W. N. van der Torre
1998Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems.
Jean-Luc Koning, Guillaume François, Yves Demazeau
1998Foundations of Simulative Theorizing.
T. Laine, Heikki Hyötyniemi, P. Saariluoma
1998Generalization, Segmentation and Classification of Qualitative Motion Data.
Alexandra Musto, Klaus Stein, Andreas Eisenkolb, Kerstin Schill, Wilfried Brauer
1998Graphical Abstraction - How to adapt the detail of graphics to limited resources.
Antonio Krüger
1998Hierarchical CBR for Multiple Aircraft Conflict Resolution.
Andrea Bonzano, Padraig Cunningham
1998Ideal Agents Sharing (some!) Knowledge.
Alessio Lomuscio, Mark Ryan
1998Implicit Feature Selection with the Value Difference Metric.
Terry R. Payne, Peter Edwards
1998Inductive Learning of Chronicles.
E. Mayer
1998Inductive Logic Programming and Genetic Programming.
R. Ichise
1998Inductive Logic Programming: Issues, Results and the LLL Challenge (abstract).
Stephen H. Muggleton
1998Inferential Independence of Fuzzy Rules.
Laurent Ughetto
1998Integrating Abduction and Induction.
Fabrizio Riguzzi
1998Integrating Constraint Programming Techniques into Mathematical Programming.
Susanne Heipcke
1998Interactive Constraint Satisfaction techniques for Information Gathering in Planning.
Rosy Barruffi, Michela Milano
1998Interleaved and Discrepancy Based Search.
Pedro Meseguer, Toby Walsh
1998Introducing Plausibility Measures in the Process of belief Revision through Extended Logic Programs.
Berilhes Borges Garcia, José Gabriel Pereira Lopes
1998Introducing Reactivity in Adaptive Hypertext Generation.
Berardina De Carolis
1998It Don't Mean A Thing (If It Ain't Got That Swing).
Ramón López de Mántaras
1998Knowledge Generation from Texts.
Udo Hahn
1998Labeled Logics of Conditional Goals.
Leendert W. N. van der Torre
1998Lazy Propagation and Independence of Causal Influence.
Anders L. Madsen
1998Learning Recursive Theories with ATRE.
Donato Malerba, Floriana Esposito, Francesca A. Lisi
1998Learning to Coordinate Behaviors.
Mohamed Salah Hamdi, Karl Kaiser
1998Managing Temporal Beliefs.
Paolo Giangrandi
1998Metaprogramming Forced Moves.
Tristan Cazenave
1998Minimal Perturbance in Dynamic Scheduling.
Hani El Sakkout, T. Richards, Mark Wallace
1998Model-based Diagnosis Under Structural Uncertainty.
Wolfgang Menzel, Ingo Schröder
1998Modeling Action, Knowledge and Control.
Hector Geffner, Jacques Wainer
1998Modelling Divergent Production: A multi-domain approach.
Francisco C. Pereira
1998Multi-strategy Local Search for SAT Problem.
D. Liang, Wei Li
1998Nonmonotonic Reasoning in Probabilistics.
Gabriele Kern-Isberner
1998Object Knowledge Base Revision.
Isabelle Crampé, Jérôme Euzenat
1998Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence.
Raúl Monroy, Alan Bundy, Ian Green
1998On Non-Binary Temporal Relations.
Steffen Staab
1998On Non-Conservative Plan Modification.
Paolo Liberatore
1998On Reformulation of Constraint Satisfaction Problems.
Rainer Weigel, Christian Bliek
1998On Translation of Finitely-Valued Logics to Classical First-Order Logic.
Viorica Sofronie-Stokkermans
1998On the Hardness of Decision and Optimisation Problems.
John K. Slaney, Sylvie Thiébaux
1998On the Logic of Exceptions.
Jérôme Mengin
1998Optimal Scheduling of Dynamic Progressive Processing.
Abdel-Illah Mouaddib, Shlomo Zilberstein
1998Partial Lazy Forward Checking for MAX-CSP.
Javier Larrosa, Pedro Meseguer
1998Perception Strategy for a Surveillance System.
Claude Barrouil, Charles Castel, Patrick Fabiani, Roger Mampey, Patrick Secchi, Catherine Tessier
1998Planning in Description Logics: Deduction versus Satisfiability Testing.
Liviu Badea
1998Planning under Resource Constraints.
Jana Koehler
1998Possibilistic-Based Bidding Strategies in Electronic Auctions.
Pere Garcia, Eduardo Giménez, Lluís Godo, Juan A. Rodríguez-Aguilar
1998Possibility Theory-Based Environment Modelling by Means of Behaviour-Based Autonomous Robots.
Maite López-Sánchez, Ramón López de Mántaras, Carles Sierra
1998Principles for Cooperative Conjecture Elaboration in a Multiagent Context.
Humbert Fiorino
1998Probabilistic Logic Programming.
Thomas Lukasiewicz
1998Propositional Satisfaction Problems and Clausal CSPs.
Thierry Castell, Hélène Fargier
1998Pruning Regression Trees with MDL.
Marko Robnik-Sikonja, Igor Kononenko
1998QoS based GA Parameter Selection for Autonomously Managed Distributed Information Systems.
Martin J. Oates, David Corne
1998Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration.
Marc Fuchs
1998Representing Beliefs in a Situated Event Calculus.
François Lévy, Joachim Quantz
1998Sense Tagging and Language Engineering.
Mark Stevenson, Hamish Cunningham, Yorick Wilks
1998Separating Constraint Dimensions in a Scheduling Problem to Reduce Search Space.
S. Scott
1998Simple Synchrony Networks: Learning Generalisations across Syntactic Constituents.
Peter Lane
1998Situated Abstraction Planning by Abductive Temporal Reasoning.
Christopher G. Jung
1998Software Design As Framework Reuse: A Knowledge-Based Approach.
Mercedes Gómez-Albarrán, Pedro A. González-Calero, Belén Díaz-Agudo
1998Solving Multiple Capacitated Scheduling Problems with Tabu Search.
Angelo Oddi
1998Spatio-chromatic Features for Image Recognition.
Eric O. Postma, H. Jaap van den Herik, Patrick T. W. Hudson
1998Spatio-temporal Reasoning Using a Multi-dimensional Tesseral Representation.
Frans Coenen, Bridget Beattie, Trevor J. M. Bench-Capon, B. M. Diaz, Michael J. R. Shave
1998Spoken Language Parsing Strategies in a Conversational System.
T. L. Soto, Jose F. Quesada
1998Structural Abstraction in Model-Based Diagnosis.
Kari Autio, Raymond Reiter
1998Systems of Communicating Agents.
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998Tabata: A Learning Algorithm Performing a Bidirectional Search in a Reduced Search Space Using a Tabu Strategy.
Pierre Brézellec, Henry Soldano
1998Telecommunications Multi-Agent Control System (Tele-MACS).
Alex L. Hayzelden
1998Text Summarization Based on Terminological Logics.
Udo Hahn, Ulrich Reimer
1998The Closing Operator: From Partial to Complete Knowledge.
Sofie Verbaeten
1998The Closure Properties of Functional Flow-Based Approaches and Their Relevance to Diagnosis.
Roberto Ranon
1998The Complexity of Model Checking for Propositional Default Logics.
Paolo Liberatore, Marco Schaerf
1998The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis.
Munindar P. Singh
1998The Neural Path to Dialogue Acts.
Michael Kipp
1998Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.
Eric Salvat
1998Towards Robust Understanding of Speech by Combination of Partial Analyses.
Karsten L. Worm, C. J. Rupp
1998Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning.
Ralph Bergmann, Wolfgang Wilke
1998Towards the Automatic Acquisition of Plan Libraries.
Mathias Bauer
1998Towards the Standardization of Intelligent Design Assistants.
Marian Ursu
1998Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots.
Michael Beetz, Tom Arbuckle, Armin B. Cremers, M. Mann
1998Trying Harder to Fail First.
Barbara M. Smith, Stuart A. Grant
1998Turning Yahoo to Automatic Web-Page Classifier.
Dunja Mladenic
1998Unification of Concept Terms in Description Logics.
Franz Baader, Paliath Narendran
1998Update Operations: A Review.
Andreas Herzig, Omar Rifi
1998Updating Logic Programs.
Yan Zhang, Norman Y. Foo
1998Updating Shortest Paths.
Stefan Edelkamp
1998Using Constraint Satisfaction for View Update Translation.
Hua Shu
1998Using Functional Structure forProbabilistic Semantic Disambiguation.
A. Willis
1998Using GDE in Educational Systems.
Kees de Koning, Bert Bredeweg
1998Using Preferences to Select Acceptable Arguments.
Leila Amgoud
1998Using Relevance for Selecting Integrity Constraints which Do Not Interfer in Knowledge Base Update.
Cyril Pain-Barre
1998Using Two Level Abduction to Decide Similarity of Cases.
Ken Satoh
1998Using a Data Metric for Preprocessing Advice for Data Mining Applications.
Robert Engels, C. Theusinger
1998Vagueness and Data Reduction in Concept Learning.
Emmanuelle Martienne, Mohamed Quafafou
1998Verifying and Validating Specification of Knowledge-Based Systems.
Luis Torres, Claudia S. Frydman
1998Version Space Learning with Instance-Based Boundary Sets.
Evgueni N. Smirnov, Peter J. Braspenning
1998Vision in Robotics: How a Robot can Segment Figure from Ground.
Jan-Olof Eklundh
1998What You See Is What You Meant: direct knowledge editing with natural language feedback.
Richard Power, Donia Scott, Roger Evans