default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ISMIS 1993: Trondheim, Norway
- Henryk Jan Komorowski, Zbigniew W. Ras:
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings. Lecture Notes in Computer Science 689, Springer 1993, ISBN 3-540-56804-2
Invited Talk I
- Jack Minker, Carolina Ruiz:
On Extended Disjunctive Logic Programs. 1-18
Logic for Artificial Intelligence I
- Heng Chu, David A. Plaisted:
Model Finding Strategies in Semantically Guided Instance-based Theorem Proving. 19-28 - Douglas R. Busch:
An Expressive Three-valued Logic with Two Negations. 29-38 - Joachim Posegga:
Compiling Proof Search in Semantic Tableaux. 39-48 - Reiner Hähnle
:
Short CNF in Finitely-Valued Logics. 49-58 - Laura Giordano:
Defining Variants of Default Logic: a Modal Approach. 59-68
Expert Systems
- Li-Yen Shue, Reza Zamani:
An Admissible Heuristic Search Algorithm. 69-75 - Shie-Jue Lee, Chih-Hung Wu:
Building an Expert System Language Interpreter with the Rule Network Technique. 76-85 - Gabriel Valiente:
Input-Driven Control of Rule-Based Expert Systems. 86-95 - Beatriz López, Enric Plaza:
Case-Based Planning for Medical Diagnosis. 96-105 - J. P. Klut, Jan H. P. Eloff:
MethoDex: A Methodology for Expert Systems Development. 106-115
Invited Talk II
- François Bry:
Towards Intelligent Databases. 116-131
Logic for Artificial Intelligence II
- Lin Padgham, Bernhard Nebel:
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step. 132-141 - Helena Rasiowa, V. Wiktor Marek:
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). 142-151 - Jianhua Chen:
The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning. 152-161 - Patrick Lambrix, Ralph Rönnquist:
Terminological Logic Involving Time and Evolution: A Preliminary Report. 162-171
Intelligent Databases
- Levent V. Orman:
Knowledge Management by Example. 172-185 - Hasanat M. Dewan, Salvatore J. Stolfo:
System Reorganization and Load Balancing of Parallel Database Rule Processing. 186-197 - Terry Gaasterland, Jorge Lobo:
Using Semantic Information for Processing Negation and Disjunction in Logic Programs. 198-208 - Patrick Bosc, Ludovic Liétard, Olivier Pivert:
On the Interpretation of Set-Oriented Fuzzy Quantified Queries and Their Evaluation in a Database Management System. 209-218
Invited Talk III
- Michael R. Lowry:
Methodologies for Knowledge-Based Software Engineering. 219-234
Logic for Artificial Intelligence III
- Nicola Leone, Luigi Palopoli, Massimo Romeo:
Updating Logic Programs. 235-244 - David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy:
Expressing Program Requirements Using Refinement Lattices. 245-254 - Ritu Chadha, David A. Plaisted:
Finding Logical Consequences Using Unskolemization. 255-264 - Arcot Rajasekar:
Controlled Explanation Systems. 265-274 - Neil V. Murray, Erik Rosenthal:
Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics. 275-284
Approximate Reasoning
- Shun'ichi Tano, Wataru Okamoto, Toshiharu Iwatani:
New Design Concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-centered Architectures. 285-294 - Andrzej Skowron:
Boolean Reasoning for Decision Rules Generation. 295-305 - C. W. R. Chau, Pawan Lingras, S. K. Michael Wong:
Upper and Lower Entropies of Belief Functions Using Compatible Probability Functions. 306-315 - Churn-Jung Liau, Bertrand I-Peng Lin:
Reasoning about Higher Order Uncertainty in Possiblistic Logic. 316-325 - Cecylia Rauszer:
Approximation Methods for Knowledge Representation Systems. 326-337
Invited Talk IV
- Lennart Ljung:
Modelling of Industrial Systems. 338-349
Constraint Programming
- Jean-Francois Puget:
On the Satisfiability of Symmetrical Constrained Satisfaction Problems. 350-361 - Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama:
A Logical Reconstruction of Constraint Relaxation Hierarchies in Logic Programming. 362-374 - Pierre Berlandier:
A Performance Evaluation of Backtrack-Bounded Search Methods for N-ary Constraint Networks. 375-384 - Manfred Meyer, Jörg P. Müller:
Finite Domain Consistency Techniques: Their Combination and Application in Computer-Aided Process Planning. 385-394
Learning and Adaptive Systems I
- Ibrahim F. Imam, Ryszard S. Michalski:
Should Decision Trees be Learned from Examples of from Decision Rules? 395-404 - Hakim Lounis:
Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification. 405-414 - Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou:
Automatic Theorem Generation in Plane Geometry. 415-424 - Attilio Giordana, Lorenza Saitta, Cristina Baroglio:
Learning Simple Recursive Theories. 425-434
Invited Talk V
- Luc De Raedt, Nada Lavrac:
The Many Faces of Inductive Logic Programming. 435-449
Methodologies
- Michael Bateman, Sean Martin, Andrew Slade:
CONSENSUS: A Method for the Development of Distributed Intelligent Systems. 450-465 - Honghua Gan:
Script and Frame: Mixed Natural Language Understanding System with Default Theory. 466-475 - Marta Franová, Yves Kodratoff, Martine Gross:
Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? 476-485 - Georges Grosz, Colette Rolland:
Representing the Knowledge used during the Requirement Engineering Activity with Generic Structures. 486-495 - Stefano Caselli, Antonio Natali, Francesco Zanichelli:
Development of a Programming Environment for Intelligent Robotics. 496-507
Knowledge Representation
- Andrea Schaerf:
On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. 508-517 - Stanislaw Ambroszkiewicz:
Mutual Knowledge. 518-527 - Krishnaprasad Thirunarayan:
Expressive Extensions to Inheritance Networks. 528-537 - Guilherme Bittencourt:
A Connectionist-Symbolic Cognitive Model. 538-547 - Mauro Di Manzo, Enrico Giunchiglia:
Multi-Context Systems as a Tool to Model Temporal Evolution. 548-557
Invited Talk VI
- Erik Sandewall:
Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. 558-570
Manufacturing
- Christoph Klauck, Johannes Schwagereit:
GGD: Graph Grammar Developer for Features in CAD/CAM. 571-580 - Kesheng Wang:
A Knowledge-based Approach to Group Analysis in Automated Manufacturing Systems. 581-590 - Bei-Tseng Bill Chu, He Du:
CENTER: A System Architecture for Matching Design and Manufacturing. 591-600 - Michael W. Sobolewski:
Knowledge-Based System Integration in a Concurrent Engineering Environment. 601-611
Learning and Adaptive Systems II
- Patricia Charlton:
A Reflective Strategic Problem Solving Model. 612-621 - Beat Wüthrich:
On the Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases. 622-631 - Robert Zembowicz, Jan M. Zytkow:
Recognition of Functional Dependencies in Data. 632-641 - Roman Slowinski:
Rough Set Learning of Preferential Attitude in Multi-Criteria Decision Making. 642-651
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-11-01 22:16 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:
