default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th ECAI 1990: Stockholm, Sweden
- 9th European Conference on Artificial Intelligence, ECAI 1990, Stockholm, Sweden, 1990. 1990
- Agnar Aamodt:
Knowledge-Intensive Case-Based Reasoning and Sustained Learning. ECAI 1990: 1-6 - Manfred Aben, Maarten van Someren:
Heuristic Refinement of Logic Programs. ECAI 1990: 7-12 - Jürgen Allgayer:
SB-ONE+: Dealing with Sets Efficiently. ECAI 1990: 13-18 - Manuel Alonso, José Cuena, Martín Molina:
SIRAH: An Architecture for a Professional Intelligence. ECAI 1990: 19-24 - Elisabeth André, Thomas Rist:
Towards a Plan-Based Synthesis of Illustrated Documents. ECAI 1990: 25-30 - J.-M. Andre, A. Mouginot, M. Venet:
A Framework for Dynamic Reorganization. ECAI 1990: 31-37 - Carlos Araya, Frank M. Brown:
SCHEMATA: A Language for Deduction. ECAI 1990: 38-40 - Giuseppe Attardi, Mauro Gaspari, F. Saracco:
Interoperability of AI Languages. ECAI 1990: 41-46 - Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch:
Deductive/Abductvie Diagnosis: The DA-Principles. ECAI 1990: 47-52 - Franz Baader:
A Formal Definition for the Expressive Power of Knowledge Representation Languages. ECAI 1990: 53-58 - Fahiem Bacchus:
Probabilistic Belief Logics. ECAI 1990: 59-64 - Afzal Ballim, Yorick Wilks:
Relevant Beliefs. ECAI 1990: 65-70 - V. R. Bandekar:
Causal Structures: Computation and Applications. ECAI 1990: 71-76 - Alain Beauvieux, Philippe Dague:
A General Consistency (Checking and Restoring) Engine for Knowledge Bases. ECAI 1990: 77-82 - Benjamin Bell, Louis-François Pau:
Context Knowledge and Search Control Issues in Object-Oriented Prolog-Based Image Understanding. ECAI 1990: 83 - Francesco Bergadano, Attilio Giordana, Lorenza Saitta:
Biasing Induction by Using a Domain Theory: An Experimental Evaluation. ECAI 1990: 84-89 - Hugues Bersini:
One Step in the Counter-Representationalist Direction. ECAI 1990: 90-95 - Ann Blandford:
A Tutorial Dialogue Model to Encourage Externalisation and Reflection. ECAI 1990: 96-98 - Mario Borillo, Bruno Gaume:
An Extension to Kowalski & Sergot's Event Calculus. ECAI 1990: 99-104 - Antonio Brogi, Evelina Lamma, Paola Mello:
Inheritance and Hypothetical Reasoning in Logic Programming. ECAI 1990: 105-110 - Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Universal Quantification by Case Analysis. ECAI 1990: 111-116 - L. Broumley, John L. Arnott, A. Y. Cairns, Alan F. Newell:
TalksBack: An Applicaation of AI Techniques to a Communication Prosthesis for the Non-Speaking. ECAI 1990: 117-119 - Lynne J. Cahill, Roger Evans:
An Application of DATR: The TIC Lexicon. ECAI 1990: 120-125 - Lynne J. Cahill, Gerald Gazdar:
The Semantics of MOLUSC. ECAI 1990: 126-131 - Antonio Camurri, Marcello Frixione, Gianni Viardo Vercelli, Renato Zaccaria:
Some Concepts on Analogic Planning in Assembly Tasks. ECAI 1990: 132-137 - Claudio Carpineto:
Combining EBL from Success and EBL from Failure with Parameter Version Spaces. ECAI 1990: 138-140 - Enric Celaya, Carme Torras:
Finding Object Configurations that Satisfy Spatial Relationships. ECAI 1990: 141-146 - Bojan Cestnik:
Estimating Probabilities: A Crucial Task in Machine Learning. ECAI 1990: 147-149 - Guy Chaty, N. Darcel, Daniel Kayser, Bernard Levrat:
An Account of Paraphrase Using Elementary Transformations. ECAI 1990: 150-152 - Jean Pierre Cocquerez, Michel Jordan, M. Zahid:
Geometric Modelling of Stereovision: Application to Aerial Pictures. ECAI 1990: 153-159 - Luca Console, Pietro Torasso:
Integrating Models of the Correct Behavior into Abductive Diagnosis. ECAI 1990: 160-166 - Susan Craw, Derek H. Sleeman:
Automating the Refinement of Knowledge-Based Systems. ECAI 1990: 167-172 - Philippe Dague, Philippe Deves, Pierre Luciani, Patrick Taillibert:
Analog Systems Diagnosis. ECAI 1990: 173-178 - H. Dai, Terry J. Anderson, Fabian C. Monds:
A Framework for Real-Time Problem Solving. ECAI 1990: 179-185 - Jean-Marc David, Jean-Paul Krivine:
Explaining Reasoning from Knowledge Level Models. ECAI 1990: 186-188 - Yuval Davidor:
Lamarckian Sub-Goal Reward in Genetic Algorithm. ECAI 1990: 189-194 - N. J. Davies:
Towards a First Order Theory of Reasoning Agents. ECAI 1990: 195-200 - Niels da Vitoria Lobo, John K. Tsotsos:
Shape from Binocular Disparity and Incomplete Knowledge of Baseline Parameters. ECAI 1990: 201-203 - Hugo de Garis:
Genetic Programming: Evolution of a Time Dependent Neural Network Module which Teaches a Pair of Stick Legs to Walk. ECAI 1990: 204-206 - Luc De Raedt, Maurice Bruynooghe:
On Negation and Three-Valued Logic in Interactive Concept-Learning. ECAI 1990: 207-212 - Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly:
Contributions to a Proof Theory for Generic Defaults. ECAI 1990: 213-218 - José del R. Millán, Carme Torras:
Reinforcement Learning: Discovering Stable Solutions in the Robot Path Finding Domain. ECAI 1990: 219-221 - Joachim Diederich:
An Explanation Component for a Connectionist Inference System. ECAI 1990: 222-227 - Luigi Di Pace, Filippo Fabrocini:
Learning from Observation in Noisy Environments via Integration of EBL and SBL Techniques. ECAI 1990: 228-233 - Bernard S. Doherty, B. Pauly, J. Barthelemy:
Elicitation and Verification of a Functional Specification. ECAI 1990: 234-239 - Kohji Dohsaka:
Identifying the Referents of Zero-Pronouns in Japanese Based on Pragmatic Constraint Interpretation. ECAI 1990: 240-245 - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi:
An Efficient Method for Hybrid Deduction. ECAI 1990: 246-252 - Oskar Dressler:
Problem Solving with the NM-ATMS. ECAI 1990: 253-258 - Didier Dubois, Henri Prade:
Reasoning with Inconsistent Information in a Possibilistic Setting. ECAI 1990: 259-261 - Luis Fariñas del Cerro, Andreas Herzig:
Deterministic Modal Logics for Automated Deduction. ECAI 1990: 262-267 - Detlef Fehrer:
A Resolution Calculus for a Logic Based on Vaguely Defined Predicates. ECAI 1990: 268-273 - Robert B. Fisher:
Reducing Viewsphere Complexity. ECAI 1990: 274-276 - Gerhard Friedrich, Franz Lackinger, Wolfgang Nejdl:
Redefining the Candidate Space in Model-Based Diagnosis. ECAI 1990: 277-282 - Christine Froidevaux, C. Grossetete:
Graded Default Theories for Uncertainty. ECAI 1990: 283-288 - P. Gaborit, A. Potet, Claudette Sayettat:
Semantics and Validation Procedures of a Multi-Modal Logic for Formalization of Multi-Agent Universes. ECAI 1990: 289-291 - Dale Gerdemann, Erhard W. Hinrichs:
A Unification-Based Approach to Quantifier Scoping. ECAI 1990: 292-297 - Bart Geurts:
Computing Salience. ECAI 1990: 298-300 - Nigel Gilbert, S. Buckland, David M. Frohlich, Marina Jirotka, Paul Luff:
Providing Advice Through Dialogue. ECAI 1990: 301-307 - Laura Giordano, Alberto Martelli:
An Abductive Characterization of the TMS. ECAI 1990: 308-313 - Bernhard Gramlich:
Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications. ECAI 1990: 314-319 - Ennio Grasso, Leonardo Lesmo, Vincenzo Lombardo, Pia M. Maccario, Roberto Salato, Paolo Terenziani:
Semantic Interpretation of Tense, Actionality and Aspect. ECAI 1990: 320-325 - Éric Grégoire:
Skeptical Inheritance Can Be More Expressive. ECAI 1990: 326-332 - S. Guez:
A Model for the Automatic Processing of Argumentative Dialogues. ECAI 1990: 333-335 - T. Hasegawa:
A Rule Application Control Method in a Lexicon-Driven Transfer Model of a Dialogue Translation System. ECAI 1990: 336-338 - Kôiti Hasida:
Sentence Processing as Constraint Transformation. ECAI 1990: 339-344 - Achim G. Hoffmann:
General Limitations on Machine Learning. ECAI 1990: 345-347 - Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß:
Subsumption Algorithms for Concept Description Languages. ECAI 1990: 348-353 - Thomas Hoppe:
Hypotheses Generation for Knowledge Validation. ECAI 1990: 354-356 - Helmut Horacek, Michael Gerlach:
The Role of Goals in Dialog Control. ECAI 1990: 357-362 - Junko Hosaka, Kentaro Ogura, Kiyoshi Kogure:
Word Sequence Constraints for Japanese Speech Recognition. ECAI 1990: 363-365 - Nancy Ide, Jean Véronis:
Very Large Neural Networks for Word Sense Disambiguation. ECAI 1990: 366-368 - Philippe Jégou:
Cyclic-Clustering: A Compromise between Tree-Clustering and Cycle-Cutset Method for Improving Search Efficiency. ECAI 1990: 369-371 - Yuejun Jiang:
Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning. ECAI 1990: 372-377 - C. Joubel, Olivier Raiman:
How Time Changes Assumptions. ECAI 1990: 378-383 - Janusz Kacprzyk, M. Fredizzi:
On Measuring the Specificity of If - Then Rules (Abstract). ECAI 1990: 384 - Antonis C. Kakas, Paolo Mancarella:
Generalized Stable Models: A Semantics for Abduction. ECAI 1990: 385-391 - Daniel Kayser:
Thruth and the Interpretation of Natural Language: A Non-Monotonic Variable-Depth Approach. ECAI 1990: 392-397 - Yves Kodratoff:
Combining Similarity and Causality in Creative Analogy. ECAI 1990: 398-403 - Henryk Jan Komorowski:
Towards a Programming Methodology Founded on Partial Deduction. ECAI 1990: 404-409 - Anne M. Landraud:
Scale-and-Orientation Independent Computer Pattern Perception. ECAI 1990: 410-412 - P. Liu:
A Theoretical Analysis of Recurrence Goals. ECAI 1990: 413-418 - Bernardo Magnini, Carlo Strapparava:
Computational Representation of Mental Spaces: A Functional Approach. ECAI 1990: 419-424 - O. Marino, François Rechenmann, P. Uvietta:
Multiple Perspectives and Classification Mechanism in Object-Oriented Representation. ECAI 1990: 425-430 - Zdravko Markov, Lydia Sinapova, Christo Dichev:
Default Reasoning in a Network Environment. ECAI 1990: 431-436 - Pedro Meseguer:
A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach. ECAI 1990: 437-442 - Phan Minh Dung:
Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. ECAI 1990: 443-448 - Yves Moinard:
Circumscription and Horn Theories. ECAI 1990: 449-454 - Peter B. Musgrove, R. I. Phelps:
An Automatic System for Acquisition of Natural Concepts. ECAI 1990: 455-460 - Masaaki Nagata, Kiyoshi Kogure:
HPSG-Based Lattice Parser for Spoken Japanese in a Spoken Language Translation System. ECAI 1990: 461-466 - Alexander Nakhimovsky:
Topological and Metrical Invariants of Grammatical Meanings. ECAI 1990: 467-469 - Anil Nigam, R. Bhaskar:
Qualitative Astrophysics. ECAI 1990: 470-472 - Masayuki Numao:
Analytical Learning of Inductive Inference. ECAI 1990: 473-478 - Hans Jürgen Ohlbach:
Abstraction Tree Indexing for Terms. ECAI 1990: 479-484 - Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti:
Truth Tables for a Combinatorial Kernel of Set Theories. ECAI 1990: 485-490 - Bernd Owsnicki-Klewe:
A Cardinality-Based Approach to Incomplete Knowledge. ECAI 1990: 491-496 - T. Persson, L. Staflin:
A Causation Theory for a Logic of Continuous Change. ECAI 1990: 497-502 - Carlos A. Pinto-Ferreira, João P. Martins:
A Formal System for Reasoning about Change. ECAI 1990: 503-508 - Ivan Popchev, Neli Zlatareva, Marion Mircheva:
A Truth Maintenance Theory: An Alternative Approach. ECAI 1990: 509-514 - Tony P. Pridmore, S. H. Joseph:
Using Schemata to Interpret Images of Mechanical Engineering Drawings. ECAI 1990: 515-521 - Gregory M. Provan:
The Computational Complexity of Multiple-Context Truth Maintenance Systems. ECAI 1990: 522-527 - Hub Prüst, Remko Scha:
A Discourse Approach to Verb Phrase Anaphora. ECAI 1990: 528-530 - Alan L. Rector, Carole A. Goble, Bernard Horan, T. J. Howkins, S. Kay, W. A. Nowlan, A. Wilson:
Shedding Light on Patients' Problems: Integrating Knowledge Based Systems into Medical Practice. ECAI 1990: 531-534 - Nancy E. Reed, Paul E. Johnson:
Generative Knowledge for Computer Troubleshooting. ECAI 1990: 535-540 - Han Reichgelt, Nigel Shadbolt:
A Specification Tool for Planning Systems. ECAI 1990: 541-546 - Ulrich Reimer:
Automatic Acquisition of Terminological Knowledge from Texts. ECAI 1990: 547-549 - Francesca Rossi, Charles J. Petrie, Vasant Dhar:
On the Equivalence of Constraint Satisfaction Problems. ECAI 1990: 550-556 - Céline Rouveirol:
Saturation: Postponing Choices when Inverting Resolution. ECAI 1990: 557-562 - Gérard Sabah:
CARAMEL: A Computational Model of Natural Language Understanding Using a Parallel Implementation. ECAI 1990: 563-565 - S. A. Safier, Susan Finger:
Parsing Features in Solid Geometric Models. ECAI 1990: 566-572 - Vieri Samek-Lodovici, Carlo Strapparava:
Identifying Noun Phrase References: The Topic Module of the AlFresco System. ECAI 1990: 573-578 - Erik Sandewall:
Reasoning about the World as Perceived by an Agent. ECAI 1990: 579-584 - Ken Satoh:
Formalizing Soft Constraints by Interpretation Ordering. ECAI 1990: 585-590 - J. Schaffer Sider:
Free Presumption Checking in King Kong. ECAI 1990: 591-593 - Karl Schlechta:
Semantics for Defeasible Inheritance. ECAI 1990: 594-597 - Murray Shanahan:
Representing Continuous Change in the Event Calculus. ECAI 1990: 598-603 - Munindar P. Singh:
Towards a Theory of Situated Know-How. ECAI 1990: 604-609 - Padhraic Smyth, Rodney M. Goodman, Charles M. Higgins:
A Hybrid Rule-Based/Bayesian Classifier. ECAI 1990: 610-615 - Edgar Sommer, Frank von Martial, Frank Victor:
PRAGMA: A System for Actively Capturing Procedural Knowledge via a Graphical Interface. ECAI 1990: 616-621 - Piet Spiessens:
PCS: A Classifier System that Builds a Predictive Internal World Model. ECAI 1990: 622-627 - Dan C. Stefanescu:
Expectation Propositional Logics. ECAI 1990: 628-633 - Carolyn L. Talcott, Richard W. Weyhrauch:
Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. ECAI 1990: 634-639 - X. Tong:
Acquisition of Inference Structure. ECAI 1990: 640-642 - Jan L. Top, Hans Akkermans:
Processes as Components: On the Primitives of a Qualitative Scientific Physics. ECAI 1990: 643-648 - Edward P. K. Tsang, Terry Warwick:
Applying Genetic Algorithms to Constraint Satisfaction Optimization Problems. ECAI 1990: 649-654 - Kris Van Marcke:
A Generic Tutoring Environment. ECAI 1990: 655-660 - Johan Vanwelkenhuysen, Philip Rademakers:
Mapping a Knowledge Level Analysis onto a Computational Framework. ECAI 1990: 661-666 - Laurence Vignollet, Marc Ayel:
A Conceptual Model for Building Sets of Test Samples for Knowledge Bases. ECAI 1990: 667-672 - Marc B. Vilain:
Function Anaphora with Replacement. ECAI 1990: 673-675 - Angi Voß, Werner Karbach, Uwe Drouven, Darius Lorek:
Competence Assessment in Configuration Tasks. ECAI 1990: 676-681 - Mark Wallace:
Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? ECAI 1990: 682-687 - Christoph Weidenbach, Hans Jürgen Ohlbach:
A Resolution Calculus with Dynamic Sort Structures and Partial Functions. ECAI 1990: 688-693 - Eric Werner:
What Can Agents Do Together? A Semantics for Reasoning about Cooperative Ability. ECAI 1990: 694-701 - Mary-Anne Williams, Norman Y. Foo:
Nonmonotonic Dynamics of Default Logic. ECAI 1990: 702-707 - Wayne Wobcke:
A Theory of Knowledge in Situation Semantics. ECAI 1990: 708-713 - Jacek Wrzos-Kaminski, Agata Wrzos-Kaminska:
Explicit Ordering of Defaults in ATMS. ECAI 1990: 714-719 - X. Huang:
Reference Choices in Mathematical Proofs. ECAI 1990: 720-725 - Takayuki Yamaoka, Hitoshi Iida:
A Method to Predict the Next Utterance Using a Four-Layered Plan Recognition Model. ECAI 1990: 726-731 - Q. Yang:
Preprocessing Hierarchical Planning Knowledge for Efficient Planning. ECAI 1990: 732-737 - Q. Yang:
Solving the Generalized Hitting Set Problems. ECAI 1990: 738-743 - R. A. Young, A. Reel:
A Hybrid Genetic Algorithm for a Logic Problem. ECAI 1990: 744-746 - Zhengyou Zhang, Olivier D. Faugeras:
Tracking and Motion Estimation in a Sequence of Stereo Frames. ECAI 1990: 747-752 - Mark S. Fox, Norman M. Sadeh:
Why is Scheduling Difficult? A CSP Perspective. ECAI 1990: 754-767 - Peter Gärdenfors:
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? ECAI 1990: 768-773 - Barbara J. Grosz:
Collaborative Planning for Discourse (Abstract). ECAI 1990: 774-775 - George Metakides, Brice Lepape:
ESPRIT Session: Artificial Intelligence in ESPRIT. ECAI 1990: 778 - Erik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat:
PROMETHEUS Session. ECAI 1990: 779-780
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 2025-10-22 02:20 CEST 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:
