default search action
8th ECAI 1988: Munich, Germany
- Yves Kodratoff:
8th European Conference on Artificial Intelligence, ECAI 1988, Munich, Germany, August 1-5, 1988, Proceedings. Pitmann Publishing, London 1988, ISBN 0-273-08798-3
Architectures and Languages
- Christian Märtin, Klemens Waldhör:
BASAR: A Blackboard Based Software Architecture. ECAI 1988: 2-4 - H. Lâasri, B. Maître, T. Mondot, François Charpillet, Jean Paul Haton:
ATOME: A Blackboard Architecture with Temporal and Hypothetical Reasoning. ECAI 1988: 5-10 - Reinhard Krickhahn, Reinhard Nobis, Andres Mählmann, Mina-Jaqueline Schachter-Radig:
Applying the KADS Methodology to Develop a Knowledge Based System: NetHandler. ECAI 1988: 11-17 - Kanae Masuda, Hirokazu Ishizuka, Hiroaki Iwayama, Kazuo Taki, Eiji Sugino:
Preliminary Evaluation of the Connection Network for the Multi-PSI System. ECAI 1988: 18-23 - Patrick Dixneuf, Alain Meller, Marc Porcheron:
ELOISE's Heart: An Efficient Frame for Production System Execution. ECAI 1988: 24-26 - Harold Boley:
Iconic-Declarative Programming and Adaptation Rules. ECAI 1988: 27-29 - Ilia Iv. Dimitrov:
INEX: Flexible and Efficient Objects. ECAI 1988: 30-35 - Thomas Wilmes:
A Typed Unification of Functional and Logic Programming Based on Many-Valued Functions. ECAI 1988: 36-41 - Franz Barachini, Norbert Theuretzbacher:
PAMELA: An Expert System Technology for Real-Time Control Applications. ECAI 1988: 42-47
Cognition
- Luc Steels:
Steps towards Common Sense. ECAI 1988: 49-54 - Derek Partridge, Jim McDonald, Victor Johnston, Ken Paap:
AI Programs and Cognitive Models: Models of Perceptual Processes. ECAI 1988: 55-60 - Enric Plaza, Ramón López de Mántaras:
Model-Based Knowledge Acquisition for Heuristic Classification Systems. ECAI 1988: 61-66 - Bernard S. Doherty, J. J. Stuart:
Induction and Dialogue in Specification Formalisation: An Object-Based Approach. ECAI 1988: 67-69 - Jon M. Slack:
Linguistic Constraints and Memory Management. ECAI 1988: 70-72 - Hervé Lambert, Larry J. Eshelman, Yumi Iwasaki:
Acquiring and Complementing the Model for Diagnostic Tasks. ECAI 1988: 73-78 - Marie-Christine Rousset:
On the Consistency of Knowledge Bases: The COVADIS System. ECAI 1988: 79-84 - A. Mike Burton, Nigel Shadbolt, Gordon Rugg, A. P. Hedgecock:
Knowledge Elicitation Techniques in Classification Domains. ECAI 1988: 85-90 - Kazuo Tanaka, Kazunari Kubota:
Memory-Based Learner Model and its Application to a Game Coach. ECAI 1988: 91-93 - Danilo Fum, Paolo Giangrandi, Carlo Tasso:
Student Modeling Techniques in Foreign Language Tutoring. ECAI 1988: 94-96 - J. H. Sumiga, Babak Khazaei, Jawed I. A. Siddiqi:
A Cognitive Model of Program Designer Behaviour. ECAI 1988: 97-99 - Paul de Greef, Joost Breuker, Guus Schreiber, Jan Wielemaker:
StatCons: Knowledge Acquisition in a Complex Domain. ECAI 1988: 100-105 - Jacobijn Sandberg, Joost Breuker, Radboud Winkels:
Research on HELP-Systems: Empirical Study and Model Construction. ECAI 1988: 106-111
Demonstrations of Academic AI Software
- Xuejun Tong, Zhijun He, Ruizao Yu:
A Survey of the Expert System Tool ZDEST-2. ECAI 1988: 113-118 - Jan Eric Larsson, Per Persson:
An Intelligent Help System for Idpac. ECAI 1988: 119-123 - Jacques Maree:
ENIARC: An Intelligent Explicative Expert System for Rhythm Analysis in Electro-Cardiograms. ECAI 1988: 124-129 - Nicola Guarino:
DRL: Terminologic and Relational Knowledge in Prolog. ECAI 1988: 130-135 - Marta Franová:
Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae. ECAI 1988: 136-141
Epistemology
- Chris Thornton:
Links between Content and Information-Content. ECAI 1988: 143-148 - Lars-Erik Janlert:
Pictorial Knowledge Representation. ECAI 1988: 149-151 - Sture Hägglund, Ivan Rankin:
Investigating the Usability of Expert Critiquing in Knowledge-Based Consultation Systems. ECAI 1988: 152-154 - Andy Clark:
Two Kinds of Cognitive Science? ECAI 1988: 155-157
Industrial Applications
- Patrick Prosser:
A Hybrid Genetic Algorithm for Pallet Loading. ECAI 1988: 159-164 - James B. H. Kwa:
Planning Robust AGV Movements. ECAI 1988: 165-169 - Eduard Tulp, Laurent Siklóssy:
TRAINS, An Active Time-Table Searcher. ECAI 1988: 170-175 - T. J. Grant:
An Algorithm for Obtaining Action Sequences from a Procedures Knowledge Base. ECAI 1988: 176-181 - Bruno Soler, Antonio Carpentieri, Maria Piera Branca, Pier Giorgio Kubansky:
Escut: An Expert System for Configuring Digital Telephone Switching Equipements. ECAI 1988: 182-187 - Alfred Huber, S. Becker:
Production Planning Using a Temoral Planning Component. ECAI 1988: 188-190 - Mina-Jaqueline Schachter-Radig, Diederich Wermser:
A Sales Assistant for Chemical Measurement Equipment: SEARCHEM. ECAI 1988: 191-193
Knowledge Representation
- Bert Bredeweg, Bob J. Wielinga:
Integrating Qualitative Reasoning Approaches. ECAI 1988: 195-201 - Walter Van de Velde:
Inference Structure as a Basis for Problem Solving. ECAI 1988: 202-207 - Marcello Frixione, Salvatore Gaglio, Giuseppe Spinelli:
Proper Names and Individual Concepts in SI-Nets. ECAI 1988: 208-213 - Wayne Wobcke:
A Global Theory of Inheritance. ECAI 1988: 214-219 - Marc Ayel:
Protocols for Consistency Checking in Expert System Knowledge Bases. ECAI 1988: 220-225 - Eugène Chouraqui, Philippe Dugerdil:
Conflict Solving in a Frame-Like Multiple Inheritance System. ECAI 1988: 226-231 - Bernie Elfrink, Han Reichgelt:
The Use of Assertion-Time Inference in Logic-Based Knowledge Bases. ECAI 1988: 232-237 - Jacques Ferber, Philippe Volle:
Using Coreference in Object-Oriented Representations. ECAI 1988: 238-240 - Kurt Eberle:
Extensions of Event-Structures. ECAI 1988: 241-246 - Massimo Poesio:
Toward a Hybrid Representation of Time. ECAI 1988: 247-252 - Adam Farquhar:
A Qualitative Reasoning Approach to Fault Avoidance. ECAI 1988: 253-255 - José Cuena:
The Qualitative Modelling of Axis-Based Flow Systems: Methodology and Examples. ECAI 1988: 256-258 - Christian Popp:
Answering WHY?, HOW? and WHY-NOT? Questions in a Blackboard System. ECAI 1988: 259-261 - Marc Porcheron:
MILORE, a Meta-Level Knowledge Based Architecture for Production System Execution. ECAI 1988: 262-267 - Mike Sharples, Benedict du Boulay:
Knowledge Representation for a Concept Tutoring System. ECAI 1988: 268-270
Logic Programming
- Mireille Ducassé:
Opium+, a Meta-Debugger for Prolog. ECAI 1988: 272-277 - Jacques Chassin de Kergommeaux, Jean-Claude Syre, Harald Westphal:
Implementation of a Parallel Prolog System on a Commercial Multiprocessor. ECAI 1988: 278-283 - Marco Cavalieri, Evelina Lamma, Paola Mello:
An Extended Prolog Machine for Dynamic Context Handling. ECAI 1988: 284-289 - Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving the Car-Sequencing Problem in Constraint Logic Programming. ECAI 1988: 290-295 - Tomas Hrycej:
Temporal Prolog. ECAI 1988: 296-301 - Patrick Saint-Dizier:
Foundations of DISLOG, Programming in Logic with Discontinuities. ECAI 1988: 302-304 - Thierry Conrad:
A Many Sorted PROLOG Based on Equational Unification. ECAI 1988: 305-307 - Stephen Owen, Richard Hull II:
The Use of Explicit Interpretation to Control Reasoning about Protein Topology. ECAI 1988: 308-313 - Chee-Kit Looi:
Analysing Novices Programs in a Prolog Intelligent Teaching System. ECAI 1988: 314-319 - J. Zhang, Phil W. Grant:
An Automatic Difference-List Transformation Algorithm for Prolog. ECAI 1988: 320-325
Machine Learning
- Mark T. Keane:
Where's the Beef? The Absence of Pragmatic Factors in Pragmatic Theories of Analogy. ECAI 1988: 327-332 - Robert E. Stepp, Bradley L. Whitehall, Lawrence B. Holder:
Towards Intelligent Machine Learning Algorithms. ECAI 1988: 333-338 - J. L. de Siqueira N., Jean-Francois Puget:
Explanation-Based Generalisation of Failures. ECAI 1988: 339-344 - Jürgen Herrmann:
A Machine Learning Approach to Estimation for IC Design. ECAI 1988: 345-347 - Bojan Cestnik, Ivan Bratko:
Learning Redundant Rules in Noisy Domains. ECAI 1988: 348-350 - Joachim Diederich:
Connectionist Recruitment Learning. ECAI 1988: 351-356 - Rodney M. Goodman, Padhraic Smyth:
Information-Theoretic Rule Induction. ECAI 1988: 357-362 - Francesco Bergadano, Attilio Giordana, Lorenza Saitta:
Concept Acquisition in an Integrated EBL and SBL Environment. ECAI 1988: 363-368 - Marco Valtorta:
Automating Rule Strengths in Expert Systems. ECAI 1988: 369-371 - P. P. Terpstra, Maarten van Someren:
INDE: A System for Heuristic Knowledge Refinement. ECAI 1988: 372-374 - Yuji Takada:
Grammatical Inference for Even Linear Languages Based on Control Sets. ECAI 1988: 375-377 - Jim Blythe:
Constraining Search in a Hierarchical Discriminative Learning System. ECAI 1988: 378-383 - Jean-Gabriel Ganascia:
Improvement and Refinement of the Learning Bias Semantic. ECAI 1988: 384-389 - Olivier Gascuel, Antoine Danchin:
Data Analysis Using a Learning Program, a Case Study: An Application of PLAGE to a Biological Sequence Analysis. ECAI 1988: 390-395 - G. Deon Oosthuizen, Douglas R. McGregor:
Induction through Knowledge Base Normalisation. ECAI 1988: 396-401 - Jacques Nicolas:
Consistency and Preference Criteria for Generalization Languages Handling Negation and Disjunction. ECAI 1988: 402-407 - Walter Van de Velde:
Quality of Learning. ECAI 1988: 408-413
Multi-Agent Interaction
- Julia Rose Galliers:
A Strategic Framework for Multi-Agent Cooperative Dialogue. ECAI 1988: 415-420 - Colin Hopkins:
DePlan: Enabling Agents to Produce Plans that Achieve Cooperative Problem Solving. ECAI 1988: 421-426 - Jacqueline Ayel:
A Conceptual Supervision Model in Computer Integrated Manufacturing. ECAI 1988: 427-432 - Nigel R. Seel:
Modelling Iterated Strategies: A Case Study. ECAI 1988: 433-438 - Chris A. Fields, M. J. Coombs, Eric Dietrich, Roger T. Hartley:
Incorporating Dynamic Control into the Model Generative Reasoning System. ECAI 1988: 439-441 - Steve Adey:
High Level Control of Simulated Ships and Aircraft. ECAI 1988: 442-444 - David Connah, Martin Shiels, Peter Wavish:
A Testbed for Research on Cooperating Agents. ECAI 1988: 445-447
Natural Language Understanding
- Elisabeth André, Gerd Herzog, Thomas Rist:
On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System Soccer. ECAI 1988: 449-454 - Gudula Retz-Schmidt:
A REPLAI of SOCCER: Recognizing Intentions in the Domain of Soccer Games. ECAI 1988: 455-457 - Miyo Otani, Jean-Marie Lancel:
Sentence Generation: From Semantic Representations to Sentences throughout Linguistic Definitions and Lexicon-Grammar. ECAI 1988: 458-463 - Anthony J. H. Simons:
A Qualitative Model of the Articulators. ECAI 1988: 464-466 - Tsuneko Nakazawa, Laura Neher, Erhard W. Hinrichs:
Unification with Disjunctive and Negative Values for GPSG Grammars. ECAI 1988: 467-472 - Leonardo Lesmo, Marina Berti, Paolo Terenziani:
A Network Formalism for Representing Natural Language Quantifiers. ECAI 1988: 473-478
Non-Standard Approaches
- Peter Jackson, Han Reichgelt:
A Modal Proof Method for Doxastic Reasoning in Incomplete Theories. ECAI 1988: 480-485 - Marie-Odile Cordier:
SHERLOCK: Hypothetical Reasoning in an Expert System Shell. ECAI 1988: 486-491 - Nicole Bidoit, Christine Froidevaux:
More on Stratified Default Theories. ECAI 1988: 492-494 - Philippe Smets:
Transferable Belief Model Versus Bayesian Model. ECAI 1988: 495-500 - Didier Dubois, Henri Prade, Claudette Testemale:
In Search of a Modal System for Possibility Theory. ECAI 1988: 501-506 - Allen L. Brown Jr.:
Logics of Justified Belief. ECAI 1988: 507-512 - Yves Moinard:
Computing Circumscription of Horn Theories. ECAI 1988: 513-515 - Philippe Besnard, Jean Houdebine, Raymond Rolland:
A Formula Circumscriptively both Valid and Unprovable. ECAI 1988: 516-518 - P. J. de la Quintana:
Computing Quantifiers in Predicate Modal Logics. ECAI 1988: 519-524 - M. R. B. Clarke:
Intuitionistic Non-Monotonic Reasoning - Further Results. ECAI 1988: 525-527 - Antonio D'Angelo, Claudio Mirolo, Enrico Pagello:
A Multiagent Planner for Reasoning with Incomplete Knowledge in a Distributed Environment. ECAI 1988: 528-533
Reasoning and Theorem Proving
- Oskar Dressler:
Extending the Basic ATMS. ECAI 1988: 535-540 - Emmanuel Lafon, Camilla Schwind:
A Theorem Prover for Action Performance. ECAI 1988: 541-546 - Gregory M. Provan:
Solving Diagnostic Problems Using Extended Truth Maintenance Systems. ECAI 1988: 547-552 - Susanne Biundo:
Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. ECAI 1988: 553-558 - Marta Franová:
An Implementation of Program Synthesis from Formal Specifications: PRECOMAS. ECAI 1988: 559-564 - Andrew Stevens:
A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas. ECAI 1988: 565-570 - Edward P. K. Tsang:
Elements in Temporal Reasoning in Planning. ECAI 1988: 571-573 - Witold Lukaszewicz:
Chronological Minimization of Abnormality: Simple Theories of Action. ECAI 1988: 574-576 - Maurizio Lenzerini, Daniele Nardi:
Belief Revision as Meta-Reasoning. ECAI 1988: 577-579 - Bing Liu:
A Reinforcement Approach to Schelduling. ECAI 1988: 580-585 - Heikki Tuominen:
Translations from Epistemic into Dynamic Logic. ECAI 1988: 586-588 - Tomas Hrycej:
Intelligent Backtracking with Structured Contexts. ECAI 1988: 589-594 - Ilkka Niemelä:
Autoepistemic Predicate Logic. ECAI 1988: 595-600 - Hartmut Freitag, Michael Reinfrank:
A Non-Monotonic Deduction System Based on (A)TMS. ECAI 1988: 601-606 - Fausto Giunchiglia, Enrico Giunchiglia:
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. ECAI 1988: 607-609 - Jan Paredis:
Qualified Logic as a Means of Integrating Conceptual Formalisms. ECAI 1988: 610-612 - Kurt Ammon:
Discovering a Proof for the Fixed Point Theorem: A Case Study. ECAI 1988: 613-618 - Jan Treur:
Completeness and Definability in Diagnostic Expert Systems. ECAI 1988: 619-624 - Gilles Chaminade:
Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses. ECAI 1988: 625-630
Robotics
- Siegfried Bocionek:
Computer-Aided Configuration of Gantry-Robots. ECAI 1988: 632-637 - Paul Levi:
TOPAS: A Task-Oriented Planner for Optimized Assembly-Sequences. ECAI 1988: 638-643 - Giovanni Adorni, Antonio Camurri, Agostino Poggi, Renato Zaccaria:
Integrating Spatio-Temporal Knowledge: A Hybrid Approach. ECAI 1988: 644-649
Vision
- Roger Mohr, Gérald Masini:
Good Old Discrete Relaxation. ECAI 1988: 651-656 - Christian Sielaff:
Hierarchies over Relational Structures. ECAI 1988: 657-662 - Kurt Ammon, Sebastian Stier:
Constructing Polygon Concepts from Line Drawings. ECAI 1988: 663-665 - G. Vivo, P. Cosoli, R. Salonna:
An Environment for Expert Image Processing. ECAI 1988: 666-668 - Andrea Saroldi:
Successive Groupings: Adding Knowledge to Improve Segmentation. ECAI 1988: 669-671 - Wido Menhardt:
Image Analysis Using Iconic Fuzzy Sets. ECAI 1988: 672-674 - Victor Johnston, Patricia Diane Lopez, Derek Partridge:
A Biologically Based Algorithm for Rapid Scene Analysis. ECAI 1988: 675-677 - Eric Thirion, Roger Mohr:
Matching 3-D Images without Backtracking through Feature Grouping. ECAI 1988: 678-682 - Enrico Grosso, Giulio Sandini, Carlo Frigato:
Extraction of 3-D Information and Volumetric Uncertainty from Multiple Stereo Images. ECAI 1988: 683-688
Invited Talks
- Gerald DeJong:
Some Thoughts on the Present and Future of Explanation-Based Learning. ECAI 1988: 690-697 - Christopher J. Hogger:
Programming Environments. ECAI 1988: 698-706 - Erik Sandewall:
Future Developments in Artificial Intelligence: A Personal View. ECAI 1988: 707-715
Panels
- Helder Coelho:
Interaction among Intelligent Agents (Panel). ECAI 1988: 717-718 - Eric Werner:
Social Intentions (Panel). ECAI 1988: 719-723 - Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden:
What is Computation? (Panel Introduction). ECAI 1988: 724 - Andy Clark:
Computation, Connectionism and Content (Panel Statement). ECAI 1988: 725-727 - Aaron Sloman:
What isn't Computation? (Panel Statement). ECAI 1988: 728-730 - Sten-Åke Tärnlund:
Computations as Inferences (Panel Statement). ECAI 1988: 731
Paper added in press
- Barbara Dunin-Keplicz:
Partial Reconstruction of Coreferential Structure of Discourse. ECAI 1988: 732-737
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-12-26 00:58 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: