default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd ISMIS 1988: Turin, Italy
- Zbigniew W. Ras, Lorenza Saitta:
Methodologies for Intelligent Systems, 3, Proceedings of the Third International Symposium on Methodologies for Intelligent Systems, Turin, Italy, October 12-15, 1988. North-Holland/Elsevier 1988, ISBN 0-444-01461-6
Approximate Reasoning
- Gautam Biswas, James C. Bezdek:
A Linuistic Transitive Closure Method for Completion and Consistency of Uncertain Knowledge. ISMIS 1988: 1-10 - Luis M. de Campos, María Teresa Lamata, Serafín Moral:
Logical Connectives for Combining Fuzzy Measures. ISMIS 1988: 11-18 - Henry W. Davis, Anna Bramanti-Gregor, Jin Wang:
The Advantages of Using Depth and Breadth Components in Heuristic Search. ISMIS 1988: 19-28 - Kejitan Dontas, Maria Zemankova:
APPLAUSE: An Experimental Plausible Reasoning System. ISMIS 1988: 29-39 - Chris A. Fields, M. J. Coombs, Roger T. Hartley:
MGR: An Architecture for Problem Solving in Unstructured Task Environments. ISMIS 1988: 40-49 - Janusz Kacprzyk:
A Possibilistic Approximate Reasoning Scheme Based on If-Then Rules Represented by Compatibility Relations. ISMIS 1988: 50-59 - Pawan Lingras, S. K. Michael Wong:
An Optimistic Rule for Accumulation of Evidence. ISMIS 1988: 60-69 - Lawrence J. Mazlack:
Heuristic Principles Supporting Making Time Critical Decisions in Knowledge-Based Systems. ISMIS 1988: 70-80 - Giorgio Montini:
Compiling Built-In Taxonomic Reasoning in Prolog. ISMIS 1988: 81-90 - Edward P. K. Tsang:
Elements in Temporal Reasoning in Planning. ISMIS 1988: 91-100
Expert Systems
- Wolfgang Wahlster:
An Intelligent Multimodal Interface. ISMIS 1988: 101-111 - W. A. Bratten, M. L. Johnson, M. L. Emrich, J. M. Williams:
Rule-Based Approach to Telecommunications Design. ISMIS 1988: 112-121 - Douglas P. Metzler, James Williams:
ISLAND: An Intelligent System for Local Area Network Design. ISMIS 1988: 122-131 - Göran Pettersson, Dan Strömberg:
System Architecture for a Real-Time Planning Agent in an Autonomous Air Craft. ISMIS 1988: 132-139 - Roas Massa Rolandino, Maria Luisa Bianco:
Towards a Methodology for Acquiring Social-Scientific Knowledge. ISMIS 1988: 140-149 - George I. Sharkov, Dimiter S. Dimitrov:
Knowledge Representation and Reasoning in Expert Systems for Biophysics. ISMIS 1988: 150-159 - Hisazumi Tsuchida, Sigehito Iwase, Minoru Ohyama:
An Intelligent Directory Assistence System. ISMIS 1988: 160-169
Intelligent Databases
- Jiawei Han, Wo-Shun Luk:
What Kinds of Recursion Can Be Processed by Transitive Closure Strategies? ISMIS 1988: 170-179 - Andrzej Jankowski, Zbigniew Michalewicz:
Relational Databases with Boolean Structured Values of Attributes. ISMIS 1988: 180-189 - Lin Padgham:
NODE: A Database for Use by Intelligent Systems. ISMIS 1988: 190-199
Knowledge Representation
- Daniela D'Aloisi, O. Stock, A. Tuozzi:
An Implementation of the Propositional Part of Krapfen, a Hybrid Knowledge Representation System. ISMIS 1988: 200-209 - Mira Balaban, Stefan Strack:
LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. ISMIS 1988: 210-219 - Christer Bäckström:
A Representation of Coordinated Actions Characterized by Interval Valued Conditions. ISMIS 1988: 220-229 - Luca Console, Anna Furno, Pietro Torasso:
Dealing with Time in Diagnostic Reasoning Based on Causal Models. ISMIS 1988: 230-239 - Nicola Guarino:
Attributed and Extensional Equivalence in DRL. ISMIS 1988: 240-249 - Aarno Lehtola, Timo Honkela, Heikki Hyötyniemi, Harri Jäppinen:
Task Oriented Knowledge Representation Languages for NLP-Systems. ISMIS 1988: 250-259 - Bernhard Nebel, Kai von Luck:
Hybrid Reasoning in BACK. ISMIS 1988: 260-269
Learning and Adaptive Systems
- Francesco Bergadano, Stan Matwin, Ryszard S. Michalski, Jianping Zhang:
Representing and Acquiring Imprecise and Context-dependent Concepts in Knowledge-Based Systems. ISMIS 1988: 270-280 - Carlo Berzuini:
Partially Supervised Learning from Examples with the Aid of Statistical Regression Analysis. ISMIS 1988: 281-292 - Marco Botta:
Constructive Learning in Conjunctive Concept Characterization. ISMIS 1988: 293-302 - Silvia Bruno:
ORION: A Knowledge Based Clustering System. ISMIS 1988: 303-312 - Roberto Gemello, Franco Mana, G. Viano:
Inducing Conceptual Discrimination Rules from Examples: An Application to Image Recognition. ISMIS 1988: 313-321 - Mirsad Hadzikadic, David Y. Y. Yun:
Concept Formation by Goal-Driven, Context-Dependent Classification. ISMIS 1988: 322-332 - J. P. E. Hodgson:
Solving Problems by Subproblem Classification. ISMIS 1988: 333-342 - Andrzej Jankowski, Jan M. Zytkow:
A Methdology for Multisearch Systems. ISMIS 1988: 343-352 - Marek Karpinski, Zbigniew W. Ras:
Learning Machine for Probabilistically Describable Concepts. ISMIS 1988: 353-362 - Stan Matwin, Franz Oppacher:
Learning by Watching: An Incremental Machine Learning Method that Acquires Rules by Conceptual Clustering. ISMIS 1988: 363-373 - Gee-gwo Mei, Wentai Liu, Su-Shing Chen:
A Hierarchical Sigma-Pi Neural Architecture for Learning Search Algorithms. ISMIS 1988: 374-379
Logic for Artificial Intelligence
- Kurt Konolige:
Defeasible Argumentation in Reasoning About Events. ISMIS 1988: 380-390 - Erik Sandewall:
An Approach to Non-Monotonic Entailment. ISMIS 1988: 391-397 - Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf:
Yet Another Solution to the Three Wisemen Puzzle. ISMIS 1988: 398-407 - Francesco M. Donini, Maurizio Lenzerini:
TermLog: a Logic for Terminological Knowledge. ISMIS 1988: 408-417 - Dimiter Driankov:
Towards a Many Valued Logic of Belief: Detachment Operations with an Exception Condition. ISMIS 1988: 418-427 - Péter Ecsedi-Tóth:
On the Expressive Power of Circumscriptions. ISMIS 1988: 428-434 - Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski:
Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. ISMIS 1988: 435-443 - Yuejun Jiang:
Intension, Quantified Beliefs and Epistemic Resolution. ISMIS 1988: 444-453 - Sukhamay Kundu:
A Correct Form of the Satisfiability-Graph Based Decision Algorithm for Linear Propositional Temporal Logic. ISMIS 1988: 454-465 - Thomas Leo McCluskey:
Deriving a Correct Logic Program from the Formal Specification of a Non-Linear Planner. ISMIS 1988: 466-475 - Cecylia Rauszer:
On Stable Autoepistemic Theories. ISMIS 1988: 476-484 - John S. Schlipf:
When is Closed World Reasoning Tractable? ISMIS 1988: 485-494
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 2026-08-11 22:57 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
