The SCEAS System
Navigation Menu

Conferences in DBLP

International Syposium on Methodologies for Intelligent Systems (ISMIS) (ismis)
1993 (conf/ismis/1993)

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