default search action
13th ECAI 1998: Brighton, UK
- Henri Prade:
13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings. . John Wiley and Sons 1998, ISBN 9780471984313
Belief Revision and Nonmonotonic Reasoning
- Isabelle Crampé, Jérôme Euzenat:
Object Knowledge Base Revision. ECAI 1998: 3-7 - Aditya Ghose, Randy Goebel:
Belief States as Default Theories: Studies in Non-Prioritized Belief Change. ECAI 1998: 8-12 - Andreas Herzig, Omar Rifi:
Update Operations: A Review. ECAI 1998: 13-17 - Paolo Liberatore, Marco Schaerf:
The Complexity of Model Checking for Propositional Default Logics. ECAI 1998: 18-22 - Jérôme Mengin:
On the Logic of Exceptions. ECAI 1998: 23-27 - Riccardo Rosati:
Embedding Minimal Knowledge into Negation as Failure. ECAI 1998: 28-32 - Hua Shu:
Using Constraint Satisfaction for View Update Translation. ECAI 1998: 33-37 - Leendert W. N. van der Torre, Yao-Hua Tan:
An Update Semantics for Prima Facie Obligations. ECAI 1998: 38-42
- Leila Amgoud:
Using Preferences to Select Acceptable Arguments. ECAI 1998: 43-44 - Cyril Pain-Barre:
Using Relevance for Selecting Integrity Constraints which Do Not Interfer in Knowledge Base Update. ECAI 1998: 45-46 - Riccardo Rosati:
Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. ECAI 1998: 47-48 - Sofie Verbaeten:
The Closing Operator: From Partial to Complete Knowledge. ECAI 1998: 49-50
Case-Based Reasoning and Knowledge-Based Systems
- Ralph Bergmann, Wolfgang Wilke:
Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning. ECAI 1998: 53-57 - Andrea Bonzano, Padraig Cunningham:
Hierarchical CBR for Multiple Aircraft Conflict Resolution. ECAI 1998: 58-62 - Dieter Fensel, V. Richard Benjamins:
An Architecture for Reusing Problem-Solving Components. ECAI 1998: 63-67 - Jean Lieber, Amedeo Napoli:
Correct and Complete Retrieval for Case-Based Problem-Solving. ECAI 1998: 68-72 - Luigi Portinale, Pietro Torasso, Paolo Tavano:
Dynamic Case Memory Management. ECAI 1998: 73-77 - Annette ten Teije, Frank van Harmelen:
Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality. ECAI 1998: 78-82 - Luis Torres, Claudia S. Frydman:
Verifying and Validating Specification of Knowledge-Based Systems. ECAI 1998: 83-87 - Erika Valencia, Jean-Louis Giavitto, Jean-Paul Sansonnet:
Algebraic Topology for Knowledge Representation in Analogy Solving. ECAI 1998: 88-92 - Tony Veale:
'Just-in-Time' Analogical Reasoning: A Progressive-Deepening Model of Structure-Mapping. ECAI 1998: 93-97
- Mercedes Gómez-Albarrán, Pedro A. González-Calero, Belén Díaz-Agudo:
Software Design As Framework Reuse: A Knowledge-Based Approach. ECAI 1998: 98-99 - Luís Macedo:
A Model for Creative Problem Solving Based on Divergent Production of Solutions. ECAI 1998: 100-101 - K. Nadia Papamichail:
Explaining and Justifying Decision Support Advice in Intuitive Terms. ECAI 1998: 102-103 - Marian Ursu:
Towards the Standardization of Intelligent Design Assistants. ECAI 1998: 104-105
Cognitive Modelling
- T. Laine, Heikki Hyötyniemi, P. Saariluoma:
Foundations of Simulative Theorizing. ECAI 1998: 109-113 - Daniel Pacholczyk:
A New Approach to the Intended Meaning of Negative Information. ECAI 1998: 114-118 - Josette Pastor, Alain Agniel, Pierre Celsis:
Artificial Reasoners for the Cognitive Assessment of Patients with Parkinson's Disease. ECAI 1998: 119-123 - Eric Raufaste, Rui Da Silva Neves:
Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis. ECAI 1998: 124-128
- A. Alauzet:
ADELE: A Blackboard-based Architecture for Ergonomic Simulation. ECAI 1998: 129-130 - Francisco C. Pereira:
Modelling Divergent Production: A multi-domain approach. ECAI 1998: 131-132
Computational Linguistics and Ontologies
- Roberto Basili, Maria Teresa Pazienza, Fabio Massimo Zanzotto:
Efficient Parsing for Information Extraction. ECAI 1998: 135-139 - Frans Coenen, Bridget Beattie, Trevor J. M. Bench-Capon, B. M. Diaz, Michael J. R. Shave:
Spatio-temporal Reasoning Using a Multi-dimensional Tesseral Representation. ECAI 1998: 140-144 - Paul Cohen:
Dynamic Maps as Representations of Verbs. ECAI 1998: 145-149 - Anthony G. Cohn, Achille C. Varzi:
Connection Relations in Mereotopology. ECAI 1998: 150-154 - Olivier Ferret, Brigitte Grau:
A Thematic Segmentation Procedure for Extracting Semantic Domains from Texts. ECAI 1998: 155-159 - Udo Hahn:
Knowledge Generation from Texts. ECAI 1998: 160-164 - Udo Hahn, Ulrich Reimer:
Text Summarization Based on Terminological Logics. ECAI 1998: 165-169 - Fidelia Ibekwe-Sanjuan:
A Linguistic and Mathematical Method for Mapping Thematic Trends from Texts. ECAI 1998: 170-174 - Michael Kipp:
The Neural Path to Dialogue Acts. ECAI 1998: 175-179 - Alexandra Musto, Klaus Stein, Andreas Eisenkolb, Kerstin Schill, Wilfried Brauer:
Generalization, Segmentation and Classification of Qualitative Motion Data. ECAI 1998: 180-184 - Mark Stevenson, Hamish Cunningham, Yorick Wilks:
Sense Tagging and Language Engineering. ECAI 1998: 185-189 - Karsten L. Worm, C. J. Rupp:
Towards Robust Understanding of Speech by Combination of Partial Analyses. ECAI 1998: 190-194
- João Balsa:
A Hierarchical Multi-Agent System for Natural Language Diagnosis. ECAI 1998: 195-196 - Anja Belz:
A Few English Words Can Help Improve Your Russian. ECAI 1998: 197-198 - Patrice Lopez:
A LTAG Grammar for Parsing Oral and Incomplete Utterances. ECAI 1998: 199-200 - Christof Monz:
Dynamic Semantics and Underspecification. ECAI 1998: 201-202 - T. L. Soto, Jose F. Quesada:
Spoken Language Parsing Strategies in a Conversational System. ECAI 1998: 203-204 - A. Willis:
Using Functional Structure forProbabilistic Semantic Disambiguation. ECAI 1998: 205-206
Constraint-Based Reasoning
- Mohamed-Salah Affane, Hachemi Bennaceur:
A Weighted Arc Consistency Technique for MAX-CSP. ECAI 1998: 209-213 - Thierry Castell, Hélène Fargier:
Propositional Satisfaction Problems and Clausal CSPs. ECAI 1998: 214-218 - Youssef Hamadi, Christian Bessière, Joël Quinqueton:
Distributed Intelligent Backtracking. ECAI 1998: 219-223 - Narendra Jussien, Olivier Lhomme:
Dynamic Domain Splitting for Numeric CSPs. ECAI 1998: 224-228 - Javier Larrosa, Pedro Meseguer:
Partial Lazy Forward Checking for MAX-CSP. ECAI 1998: 229-233 - D. Liang, Wei Li:
Multi-strategy Local Search for SAT Problem. ECAI 1998: 234-238 - Pedro Meseguer, Toby Walsh:
Interleaved and Discrepancy Based Search. ECAI 1998: 239-243 - John K. Slaney, Sylvie Thiébaux:
On the Hardness of Decision and Optimisation Problems. ECAI 1998: 244-248 - Barbara M. Smith, Stuart A. Grant:
Trying Harder to Fail First. ECAI 1998: 249-253 - Rainer Weigel, Christian Bliek:
On Reformulation of Constraint Satisfaction Problems. ECAI 1998: 254-258
- Susanne Heipcke:
Integrating Constraint Programming Techniques into Mathematical Programming. ECAI 1998: 259-260 - Hana Rudová:
Constraints with Variables' Annotations. ECAI 1998: 261-262 - Gerhard Wetzel, Fabian Zabatta:
A Constraint Programming Approach to Portfolio Selection. ECAI 1998: 263-264 - Yuanlin Zhang, Hui Wu:
Bound Consistency on Linear Constraints in Finite Domain Constraint. ECAI 1998: 265-266
Diagnosis
- Kari Autio, Raymond Reiter:
Structural Abstraction in Model-Based Diagnosis. ECAI 1998: 269-273 - Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella:
Diagnosis of Active Systems. ECAI 1998: 274-278 - Kees de Koning, Bert Bredeweg:
Using GDE in Educational Systems. ECAI 1998: 279-283 - Wolfgang Menzel, Ingo Schröder:
Model-based Diagnosis Under Structural Uncertainty. ECAI 1998: 284-288
- Roberto Ranon:
The Closure Properties of Functional Flow-Based Approaches and Their Relevance to Diagnosis. ECAI 1998: 289-290
Distributed AI and Multiagent Systems
- Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Systems of Communicating Agents. ECAI 1998: 293-297 - Jean-Luc Koning, Guillaume François, Yves Demazeau:
Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems. ECAI 1998: 298-307 - Munindar P. Singh:
The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis. ECAI 1998: 303-307 - Michael J. Wooldridge:
A Knowledge-theoretic Approach to Distributed Problem Solving. ECAI 1998: 308-312
- Valérie Camps:
Application of a Self-Organizing Method Based on Cooperation to Information Retrieval. ECAI 1998: 313-314 - Humbert Fiorino:
Principles for Cooperative Conjecture Elaboration in a Multiagent Context. ECAI 1998: 315-316 - Babak Sadighi Firozabadi, Leendert W. N. van der Torre:
Formal Models of Control Systems. ECAI 1998: 317-318 - Alex L. Hayzelden:
Telecommunications Multi-Agent Control System (Tele-MACS). ECAI 1998: 319-320 - R. J. Imbert:
Camits: a Cooperative Agents Model for Intelligent Tutoring Systems. ECAI 1998: 321-322 - Claude Lattaud:
A Macro - Mutation Operator in Genetic Algorithms. ECAI 1998: 323-324 - F. B. Pereira:
An Artificial Life Model for Information Retrieval in a Distributed Environment. ECAI 1998: 325-326 - Sébastien Picault:
A Multi-Agent Simulation of Primate Social Concepts. ECAI 1998: 327-328
Knowledge Representation
- Franz Baader, Paliath Narendran:
Unification of Concept Terms in Description Logics. ECAI 1998: 331-335 - Franz Baader, Ulrike Sattler:
Description Logics with Concrete Domains and Aggregation. ECAI 1998: 336-340 - Rose Dieng, Stefan Hug:
Comparison of Personal Ontologies Represented through Conceptual Graphs. ECAI 1998: 341-345 - Marc Fuchs:
Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration. ECAI 1998: 346-350 - Emmanuelle Martienne, Mohamed Quafafou:
Vagueness and Data Reduction in Concept Learning. ECAI 1998: 351-355 - Eric Salvat:
Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. ECAI 1998: 356-360 - Christopher Tresp, Ralf Molitor:
A Description Logic for Vague Knowledge. ECAI 1998: 361-365
- Laurent Perrussel:
Contextual Reasoning. ECAI 1998: 366-367 - Leendert W. N. van der Torre:
Labeled Logics of Conditional Goals. ECAI 1998: 368-369
Logic Programming and Automated Reasoning
- Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi:
Designing FPLA Combinational Circuits by Conditional Rewriting. ECAI 1998: 373-377 - Berilhes Borges Garcia, José Gabriel Pereira Lopes:
Introducing Plausibility Measures in the Process of belief Revision through Extended Logic Programs. ECAI 1998: 378-382 - Christopher G. Jung:
Situated Abstraction Planning by Abductive Temporal Reasoning. ECAI 1998: 383-387 - Thomas Lukasiewicz:
Probabilistic Logic Programming. ECAI 1998: 388-392 - Raúl Monroy, Alan Bundy, Ian Green:
Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. ECAI 1998: 393-397 - Ken Satoh:
Using Two Level Abduction to Decide Similarity of Cases. ECAI 1998: 398-402 - Yan Zhang, Norman Y. Foo:
Updating Logic Programs. ECAI 1998: 403-407
- Fabio Massacci:
Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae. ECAI 1998: 408-409 - Viorica Sofronie-Stokkermans:
On Translation of Finitely-Valued Logics to Classical First-Order Logic. ECAI 1998: 410-411
Machine Learning and Data Mining
- Marco Botta, Attilio Giordana, Roberto Piola:
An Integrated Framework of Learning Numerical Terms in FOL. ECAI 1998: 415-419 - Pierre Brézellec, Henry Soldano:
Tabata: A Learning Algorithm Performing a Bidirectional Search in a Reduced Search Space Using a Tabu Strategy. ECAI 1998: 420-424 - Keeley A. Crockett, Zuhair Bandar, Akeel Al-Attar:
A Fuzzy Inference Framework For Induced Decision Trees. ECAI 1998: 425-429 - Robert Engels, C. Theusinger:
Using a Data Metric for Preprocessing Advice for Data Mining Applications. ECAI 1998: 430-434 - Donato Malerba, Floriana Esposito, Francesca A. Lisi:
Learning Recursive Theories with ATRE. ECAI 1998: 435-439 - Mohamed Salah Hamdi, Karl Kaiser:
Learning to Coordinate Behaviors. ECAI 1998: 440-444 - Matjaz Kukar, Igor Kononenko:
Cost-Sensitive Learning with Neural Networks. ECAI 1998: 445-449 - Terry R. Payne, Peter Edwards:
Implicit Feature Selection with the Value Difference Metric. ECAI 1998: 450-454 - Marko Robnik-Sikonja, Igor Kononenko:
Pruning Regression Trees with MDL. ECAI 1998: 455-459 - Evgueni N. Smirnov, Peter J. Braspenning:
Version Space Learning with Instance-Based Boundary Sets. ECAI 1998: 460-464
- Stéphane Calderoni:
Collective Learning in MultiAgent Systems. ECAI 1998: 465-466 - R. Ichise:
Inductive Logic Programming and Genetic Programming. ECAI 1998: 467-468 - Peter Lane:
Simple Synchrony Networks: Learning Generalisations across Syntactic Constituents. ECAI 1998: 469-470 - E. Mayer:
Inductive Learning of Chronicles. ECAI 1998: 471-472 - Dunja Mladenic:
Turning Yahoo to Automatic Web-Page Classifier. ECAI 1998: 473-474 - Fabrizio Riguzzi:
Integrating Abduction and Induction. ECAI 1998: 475-476
Planning and Scheduling
- Liviu Badea:
Planning in Description Logics: Deduction versus Satisfiability Testing. ECAI 1998: 479-483 - Mathias Bauer:
Towards the Automatic Acquisition of Plan Libraries. ECAI 1998: 484-488 - Jana Koehler:
Planning under Resource Constraints. ECAI 1998: 489-493 - Erica Melis:
AI-Techniques in Proof Planning. ECAI 1998: 494-498 - Abdel-Illah Mouaddib, Shlomo Zilberstein:
Optimal Scheduling of Dynamic Progressive Processing. ECAI 1998: 499-503 - Hani El Sakkout, T. Richards, Mark Wallace:
Minimal Perturbance in Dynamic Scheduling. ECAI 1998: 504-508 - Josefina Sierra-Santibáñez:
A Declarative Formalization of STRIPS. ECAI 1998: 509-513
- Rosy Barruffi, Michela Milano:
Interactive Constraint Satisfaction techniques for Information Gathering in Planning. ECAI 1998: 514-515 - Silvia Silva da Costa Botelho:
A Sistributed Scheme for Task Planning and Negotiation in Multi-Robot Systems. ECAI 1998: 516-517 - Paolo Liberatore:
On Non-Conservative Plan Modification. ECAI 1998: 518-519 - Angelo Oddi:
Solving Multiple Capacitated Scheduling Problems with Tabu Search. ECAI 1998: 520-521 - S. Scott:
Separating Constraint Dimensions in a Scheduling Problem to Reduce Search Space. ECAI 1998: 522-523
Reasoning about Actions, Temporal and Spatial Reasoning
- Paolo Giangrandi:
Managing Temporal Beliefs. ECAI 1998: 527-531 - Hector Geffner, Jacques Wainer:
Modeling Action, Knowledge and Control. ECAI 1998: 532-536 - Laura Giordano, Alberto Martelli, Camilla Schwind:
Dealing with Concurrent Actions in Modal Action Logics. ECAI 1998: 537-541 - Lars Karlsson, Joakim Gustafsson, Patrick Doherty:
Delayed Effects of Actions. ECAI 1998: 542-546 - François Lévy, Joachim Quantz:
Representing Beliefs in a Situated Event Calculus. ECAI 1998: 547-551 - Churn-Jung Liau:
A Logic for Reasoning about Action, Preference, and Commitment. ECAI 1998: 552-556 - Alessio Lomuscio, Mark Ryan:
Ideal Agents Sharing (some!) Knowledge. ECAI 1998: 557-561 - Jochen Renz, Bernhard Nebel:
Efficient Algorithms for Qualitative Spatial Reasoning. ECAI 1998: 562-566 - Steffen Staab:
On Non-Binary Temporal Relations. ECAI 1998: 567-571
Reasoning under Uncertainty: Probabilistic and Fuzzy Set-Based Modelling
- Pere Garcia, Eduardo Giménez, Lluís Godo, Juan A. Rodríguez-Aguilar:
Possibilistic-Based Bidding Strategies in Electronic Auctions. ECAI 1998: 575-579 - Gabriele Kern-Isberner:
Nonmonotonic Reasoning in Probabilistics. ECAI 1998: 580-584 - Wai Lam, Kon Fan Low:
Constructing Text Filters Based on Bayesian Network Learning. ECAI 1998: 585-589 - Maite López-Sánchez, Ramón López de Mántaras, Carles Sierra:
Possibility Theory-Based Environment Modelling by Means of Behaviour-Based Autonomous Robots. ECAI 1998: 590-594 - Nico Roos:
An Objective Definition of Subjective Probability. ECAI 1998: 595-599 - Régis Sabbadin:
Decision As Abduction? ECAI 1998: 600-604 - Laurent Ughetto:
Inferential Independence of Fuzzy Rules. ECAI 1998: 605-609
- Matteo Golfarelli:
A Game Theory Approach to Coordination in MAS. ECAI 1998: 610-611 - Anders L. Madsen:
Lazy Propagation and Independence of Causal Influence. ECAI 1998: 612-613
Robotics, Vision, and Signal Understanding
- Rachid Alami, François Felix Ingrand, Samer Qutub:
A Scheme for Coordinating Multi-robots Planning Activities and Plans Execution. ECAI 1998: 617-621 - Ruth Aylett, James K. Soutter, Gary J. Petley, Paul W. H. Chung:
AI Planning in a Chemical Plant Domain. ECAI 1998: 622-626 - Claude Barrouil, Charles Castel, Patrick Fabiani, Roger Mampey, Patrick Secchi, Catherine Tessier:
Perception Strategy for a Surveillance System. ECAI 1998: 627-631 - Michael Beetz, Tom Arbuckle, Armin B. Cremers, M. Mann:
Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots. ECAI 1998: 632-636 - Eric O. Postma, H. Jaap van den Herik, Patrick T. W. Hudson:
Spatio-chromatic Features for Image Recognition. ECAI 1998: 637-642
Search and Meta-Heuristics for AI
- Tristan Cazenave:
Metaprogramming Forced Moves. ECAI 1998: 645-649 - Philippe Collard, Alessio Gaspar, Manuel Clergue, Cathy Escazut:
Fitness Distance Correlation, as statistical measure of Genetic Algorithm difficulty, revisited. ECAI 1998: 650-654 - Stefan Edelkamp:
Updating Shortest Paths. ECAI 1998: 655-559 - J. Holubec:
Admissible Bidirectional Heuristic Search Algorithm. ECAI 1998: 660-664 - Hermann Kaindl, Anton Scheucher:
Back-up of Heuristic Values: Minimaxing vs. Product Propagation. ECAI 1998: 665-669 - Martin J. Oates, David Corne:
QoS based GA Parameter Selection for Autonomously Managed Distributed Information Systems. ECAI 1998: 670-674
User Interfaces
- Richard Power, Donia Scott, Roger Evans:
What You See Is What You Meant: direct knowledge editing with natural language feedback. ECAI 1998: 677-681
- Berardina De Carolis:
Introducing Reactivity in Adaptive Hypertext Generation. ECAI 1998: 682-683 - Antonio Krüger:
Graphical Abstraction - How to adapt the detail of graphics to limited resources. ECAI 1998: 684-685
Invited Speakers
- Jan-Olof Eklundh:
Vision in Robotics: How a Robot can Segment Figure from Ground. ECAI 1998: 689-693 - Ramón López de Mántaras:
It Don't Mean A Thing (If It Ain't Got That Swing). ECAI 1998: 694-696 - Stephen H. Muggleton:
Inductive Logic Programming: Issues, Results and the LLL Challenge (abstract). ECAI 1998: 697 - Jean-Francois Puget:
Constraint Programming: A Great AI Success. ECAI 1998: 698-705 - Itzhak Gilboa, David Schmeidler:
Case-Based Decisions. ECAI 1998: 706-710 - Glenn Shafer:
Causal Logic. ECAI 1998: 711-720
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.
last updated on 2024-11-04 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: