:facetid:toc:\"db/conf/ismis/ismis94.bht\"OK:facetid:toc:db/conf/ismis/ismis94.bhtHilde AdéBart MalfaitLuc De RaedtRUTH: an ILP Theory Revision System.ISMIS336-3451994Conference and Workshop Papersclosedconf/ismis/AdeMR9410.1007/3-540-58495-1_34https://doi.org/10.1007/3-540-58495-1_34https://dblp.org/rec/conf/ismis/AdeMR94URL#6813071Anastasia AnalytiSakti PramanikDeclarative Semantics for Contradictory Modular Logic Programs.ISMIS245-2541994Conference and Workshop Papersclosedconf/ismis/AnalytiP9410.1007/3-540-58495-1_25https://doi.org/10.1007/3-540-58495-1_25https://dblp.org/rec/conf/ismis/AnalytiP94URL#6813072Troels AndreasenOlivier PivertOn the Weakening of Fuzzy Relational Queries.ISMIS144-1531994Conference and Workshop Papersclosedconf/ismis/AndreasenP9410.1007/3-540-58495-1_15https://doi.org/10.1007/3-540-58495-1_15https://dblp.org/rec/conf/ismis/AndreasenP94URL#6813073Nicholas AsherReasoning About Action and Time with Epistemic Conditionals.ISMIS458-4671994Conference and Workshop Papersclosedconf/ismis/Asher9410.1007/3-540-58495-1_46https://doi.org/10.1007/3-540-58495-1_46https://dblp.org/rec/conf/ismis/Asher94URL#6813074Jan G. BazanAndrzej SkowronPiotr SynakDynamic Reducts as a Tool for Extracting Laws from Decisions Tables.ISMIS346-3551994Conference and Workshop Papersclosedconf/ismis/BazanSS9410.1007/3-540-58495-1_35https://doi.org/10.1007/3-540-58495-1_35https://dblp.org/rec/conf/ismis/BazanSS94URL#6813075Marco BottaLearning First Order Theories.ISMIS356-3651994Conference and Workshop Papersclosedconf/ismis/Botta9410.1007/3-540-58495-1_36https://doi.org/10.1007/3-540-58495-1_36https://dblp.org/rec/conf/ismis/Botta94URL#6813076Vittorio BrusoniLuca ConsoleBarbara PerniciPaolo TerenzianiLaTeR: A General Purpose Manager of Temporal Information.ISMIS255-2641994Conference and Workshop Papersclosedconf/ismis/BrusoniCPT9410.1007/3-540-58495-1_26https://doi.org/10.1007/3-540-58495-1_26https://dblp.org/rec/conf/ismis/BrusoniCPT94URL#6813077Sasa BuvacVanja BuvacIan A. MasonThe Semantics of Propositional Contexts.ISMIS468-4771994Conference and Workshop Papersclosedconf/ismis/BuvacBM9410.1007/3-540-58495-1_47https://doi.org/10.1007/3-540-58495-1_47https://dblp.org/rec/conf/ismis/BuvacBM94URL#6813078Jacques CalmetIndra A. TjandraBuilding Bridges Between Knowledge Representation and Algebraic Specification.ISMIS295-3041994Conference and Workshop Papersclosedconf/ismis/CalmetT9410.1007/3-540-58495-1_30https://doi.org/10.1007/3-540-58495-1_30https://dblp.org/rec/conf/ismis/CalmetT94URL#6813079William J. CampbellDistributed Earth Science Validation Centers for Mission to Planet Earth.ISMIS1-121994Conference and Workshop Papersclosedconf/ismis/Campbell9410.1007/3-540-58495-1_1https://doi.org/10.1007/3-540-58495-1_1https://dblp.org/rec/conf/ismis/Campbell94URL#6813080B. Chandrasekaran 0001Causal Understanding in Reasoning About the World.ISMIS13-261994Conference and Workshop Papersclosedconf/ismis/Chandrasekaran9410.1007/3-540-58495-1_2https://doi.org/10.1007/3-540-58495-1_2https://dblp.org/rec/conf/ismis/Chandrasekaran94URL#6813081Yahui ChangLouiqa RaschidBonnie J. DorrTransforming Queries from a Relational Schema to an Equivalent Object Schema: A Prototype Based on F-logic.ISMIS154-1631994Conference and Workshop Papersclosedconf/ismis/ChangRD9410.1007/3-540-58495-1_16https://doi.org/10.1007/3-540-58495-1_16https://dblp.org/rec/conf/ismis/ChangRD94URL#6813082Jianhua Chen 0003The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications.ISMIS478-4871994Conference and Workshop Papersclosedconf/ismis/Chen9410.1007/3-540-58495-1_48https://doi.org/10.1007/3-540-58495-1_48https://dblp.org/rec/conf/ismis/Chen94URL#6813083David Wai-Lok CheungAda Wai-Chee FuJiawei Han 0001A Case-Based Reasoning Approach for Associative Query Answering.ISMIS164-1731994Conference and Workshop Papersclosedconf/ismis/CheungFH9410.1007/3-540-58495-1_17https://doi.org/10.1007/3-540-58495-1_17https://dblp.org/rec/conf/ismis/CheungFH94URL#6813084Laurence CholvyRobert DemolombeAndrew J. I. JonesReasoning About the Safety of Information: From Logical Formalization to Operational Definition.ISMIS488-4991994Conference and Workshop Papersclosedconf/ismis/CholvyDJ9410.1007/3-540-58495-1_49https://doi.org/10.1007/3-540-58495-1_49https://dblp.org/rec/conf/ismis/CholvyDJ94URL#6813085Stephen E. CrossDonald F. RobertsAlice M. MulvehillJ. Allen SearsCase-Based Reasoning Applied to A Force Generation Decision Aid.ISMIS174-1821994Conference and Workshop Papersclosedconf/ismis/CrossRMS9410.1007/3-540-58495-1_18https://doi.org/10.1007/3-540-58495-1_18https://dblp.org/rec/conf/ismis/CrossRMS94URL#6813086Yannis DimopoulosClassical Methods in Nonmonotonic Reasoning.ISMIS500-5101994Conference and Workshop Papersclosedconf/ismis/Dimopoulos9410.1007/3-540-58495-1_50https://doi.org/10.1007/3-540-58495-1_50https://dblp.org/rec/conf/ismis/Dimopoulos94URL#6813087Jürgen DixMartin Müller 0001Partial Evaluation and Relevance for Approximations of Stable Semantics.ISMIS511-5201994Conference and Workshop Papersclosedconf/ismis/DixM9410.1007/3-540-58495-1_51https://doi.org/10.1007/3-540-58495-1_51https://dblp.org/rec/conf/ismis/DixM94URL#6813088Patrick Doherty 0001Witold LukaszewiczCircumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.ISMIS521-5301994Conference and Workshop Papersclosedconf/ismis/DohertyL9410.1007/3-540-58495-1_52https://doi.org/10.1007/3-540-58495-1_52https://dblp.org/rec/conf/ismis/DohertyL94URL#6813089Christoph F. EickEma TotoEvaluation and Enhancement of Bayesian Rule-Sets in a Genetic Algorithm Learning Environment for Classification Tasks.ISMIS366-3751994Conference and Workshop Papersclosedconf/ismis/EickT9410.1007/3-540-58495-1_37https://doi.org/10.1007/3-540-58495-1_37https://dblp.org/rec/conf/ismis/EickT94URL#6813090Floriana EspositoDonato MalerbaGiovanni SemeraroTraps and Pitfalls when Learning Logical Definitions from Relations.ISMIS376-3851994Conference and Workshop Papersclosedconf/ismis/EspositoMS9410.1007/3-540-58495-1_38https://doi.org/10.1007/3-540-58495-1_38https://dblp.org/rec/conf/ismis/EspositoMS94URL#6813091Gilles FouquéWesley W. ChuHenrick YauA Case-Based Reasoning Approach for Associative Query Answering.ISMIS183-1921994Conference and Workshop Papersclosedconf/ismis/FouqueCY9410.1007/3-540-58495-1_19https://doi.org/10.1007/3-540-58495-1_19https://dblp.org/rec/conf/ismis/FouqueCY94URL#6813092Edward A. FoxHow to Make Intelligent Digital Libraries.ISMIS27-381994Conference and Workshop Papersclosedconf/ismis/Fox9410.1007/3-540-58495-1_3https://doi.org/10.1007/3-540-58495-1_3https://dblp.org/rec/conf/ismis/Fox94URL#6813093Honghua GanUnderstanding a Story With Causal Relationships.ISMIS265-2741994Conference and Workshop Papersclosedconf/ismis/Gan9410.1007/3-540-58495-1_27https://doi.org/10.1007/3-540-58495-1_27https://dblp.org/rec/conf/ismis/Gan94URL#6813094Suryanil GhoshParaconsistency and Beyond: A New Approach to Inconsistency Handling.ISMIS531-5401994Conference and Workshop Papersclosedconf/ismis/Ghosh9410.1007/3-540-58495-1_53https://doi.org/10.1007/3-540-58495-1_53https://dblp.org/rec/conf/ismis/Ghosh94URL#6813095Attilio GiordanaFilippo NeriLorenza SaittaFormal Models of Selection in Genetic Algorithms.ISMIS124-1331994Conference and Workshop Papersclosedconf/ismis/GiordanaNS9410.1007/3-540-58495-1_13https://doi.org/10.1007/3-540-58495-1_13https://dblp.org/rec/conf/ismis/GiordanaNS94URL#6813096Jean GoubaultJoachim PoseggaBDDs and Automated Deduction.ISMIS541-5501994Conference and Workshop Papersclosedconf/ismis/GoubaultP9410.1007/3-540-58495-1_54https://doi.org/10.1007/3-540-58495-1_54https://dblp.org/rec/conf/ismis/GoubaultP94URL#6813097Sergio GrecoCarlo ZanioloEfficient Execution of Recursive Queries Through Controlled Binding Propagation.ISMIS193-2021994Conference and Workshop Papersclosedconf/ismis/GrecoZ9410.1007/3-540-58495-1_20https://doi.org/10.1007/3-540-58495-1_20https://dblp.org/rec/conf/ismis/GrecoZ94URL#6813098Joachim HertzbergSylvie ThiébauxTurning an Action Formalism Into a Planner - Essentials of a Case Study.ISMIS305-3141994Conference and Workshop Papersclosedconf/ismis/HertzbergT9410.1007/3-540-58495-1_31https://doi.org/10.1007/3-540-58495-1_31https://dblp.org/rec/conf/ismis/HertzbergT94URL#6813099Yen-Teh HsiaA Possibility-Based Propositional Logic of Conditionals.ISMIS551-5601994Conference and Workshop Papersclosedconf/ismis/Hsia9410.1007/3-540-58495-1_55https://doi.org/10.1007/3-540-58495-1_55https://dblp.org/rec/conf/ismis/Hsia94URL#6813100Xiaohua Hu 0001Ning ShanNick CerconeWojciech ZiarkoDBROUGH: A Rough Set Based Knowledge Discovery System.ISMIS386-3951994Conference and Workshop Papersclosedconf/ismis/HuSCZ9410.1007/3-540-58495-1_39https://doi.org/10.1007/3-540-58495-1_39https://dblp.org/rec/conf/ismis/HuSCZ94URL#6813101Yan-Nong HuangVerónica DahlJiawei Han 0001Incremental Processing of Logic Database Relations.ISMIS561-5701994Conference and Workshop Papersclosedconf/ismis/HuangDH9410.1007/3-540-58495-1_56https://doi.org/10.1007/3-540-58495-1_56https://dblp.org/rec/conf/ismis/HuangDH94URL#6813102Hasan M. JamilFereidoon SadriRecognizing Credible Experts in Inaccurate Databases.ISMIS46-551994Conference and Workshop Papersclosedconf/ismis/JamilS9410.1007/3-540-58495-1_5https://doi.org/10.1007/3-540-58495-1_5https://dblp.org/rec/conf/ismis/JamilS94URL#6813103Y. J. JiangYongyuth AramkulchaiOn the Relationship between Assumption-based Framework and Autoepistemic Logic.ISMIS571-5831994Conference and Workshop Papersclosedconf/ismis/JiangA9410.1007/3-540-58495-1_57https://doi.org/10.1007/3-540-58495-1_57https://dblp.org/rec/conf/ismis/JiangA94URL#6813104Henryk Jan KomorowskiSilvia TrcekTowards Refinement of Definite Logic Programs.ISMIS315-3251994Conference and Workshop Papersclosedconf/ismis/KomorowskiT9410.1007/3-540-58495-1_32https://doi.org/10.1007/3-540-58495-1_32https://dblp.org/rec/conf/ismis/KomorowskiT94URL#6813105Sukhamay KunduJianhua Chen 0003Fuzzy Logic or Lukasiewicz Logic: A Clarification.ISMIS56-641994Conference and Workshop Papersclosedconf/ismis/KunduC9410.1007/3-540-58495-1_6https://doi.org/10.1007/3-540-58495-1_6https://dblp.org/rec/conf/ismis/KunduC94URL#6813106Jonathan M. LeverBarry RichardsparcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints.ISMIS213-2221994Conference and Workshop Papersclosedconf/ismis/LeverR9410.1007/3-540-58495-1_22https://doi.org/10.1007/3-540-58495-1_22https://dblp.org/rec/conf/ismis/LeverR94URL#6813107Tsau Young LinQing Liu 0011Y. Y. YaoLogics Systems for Approximate Reasoning: Approximation via Rough Sets and Topological Spaces.ISMIS65-741994Conference and Workshop Papersclosedconf/ismis/LinLY9410.1007/3-540-58495-1_7https://doi.org/10.1007/3-540-58495-1_7https://dblp.org/rec/conf/ismis/LinLY94URL#6813108Alex Lopez-SuarezMohamed S. KamelRestructuring Rule Bases to Improve Performance.ISMIS396-4051994Conference and Workshop Papersclosedconf/ismis/Lopez-SuarezK9410.1007/3-540-58495-1_40https://doi.org/10.1007/3-540-58495-1_40https://dblp.org/rec/conf/ismis/Lopez-SuarezK94URL#6813109Michael R. LowryAndrew PhilpotThomas PressburgerIan UnderwoodAMPHION: Automatic Programming for Scientific Subroutine Libraries.ISMIS326-3351994Conference and Workshop Papersclosedconf/ismis/LowryPPU9410.1007/3-540-58495-1_33https://doi.org/10.1007/3-540-58495-1_33https://dblp.org/rec/conf/ismis/LowryPPU94URL#6813110James J. LuNeil V. MurrayErik RosenthalSigned Formulas and Fuzzy Operator Logics.ISMIS75-841994Conference and Workshop Papersclosedconf/ismis/LuMR9410.1007/3-540-58495-1_8https://doi.org/10.1007/3-540-58495-1_8https://dblp.org/rec/conf/ismis/LuMR94URL#6813111Thomas Leo McCluskeyJ. M. PorteousLearning Heuristics for Ordering Plan Goals through Static Operator Analysis.ISMIS406-4151994Conference and Workshop Papersclosedconf/ismis/McCluskeyP9410.1007/3-540-58495-1_41https://doi.org/10.1007/3-540-58495-1_41https://dblp.org/rec/conf/ismis/McCluskeyP94URL#6813112Robert MeersmanSome Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract).ISMIS39-451994Conference and Workshop Papersclosedconf/ismis/Meersman9410.1007/3-540-58495-1_4https://doi.org/10.1007/3-540-58495-1_4https://dblp.org/rec/conf/ismis/Meersman94URL#6813113Zbigniew MichalewiczJaroslaw ArabasGenetic Algorithms for the 0/1 Knapsack Problem.ISMIS134-1431994Conference and Workshop Papersclosedconf/ismis/MichalewiczA9410.1007/3-540-58495-1_14https://doi.org/10.1007/3-540-58495-1_14https://dblp.org/rec/conf/ismis/MichalewiczA94URL#6813114Ryszard S. MichalskiIbrahim F. ImamLearning Problem-Oriented Decision Structures from Decision Rule: The AQDT-2 System.ISMIS416-4261994Conference and Workshop Papersclosedconf/ismis/MichalskiI9410.1007/3-540-58495-1_42https://doi.org/10.1007/3-540-58495-1_42https://dblp.org/rec/conf/ismis/MichalskiI94URL#6813115Ephraim NissanHava T. SiegelmannAlex GalperinShuky KimhiTowards Full Automation of the Discovery of Heuristics in a Nuclear Engineering Project: Integration With a Neural Information Language.ISMIS427-4361994Conference and Workshop Papersclosedconf/ismis/NissanSGK9410.1007/3-540-58495-1_43https://doi.org/10.1007/3-540-58495-1_43https://dblp.org/rec/conf/ismis/NissanSGK94URL#6813116Lech PolkowskiAndrzej SkowronRough Mereology.ISMIS85-941994Conference and Workshop Papersclosedconf/ismis/PolkowskiS9410.1007/3-540-58495-1_9https://doi.org/10.1007/3-540-58495-1_9https://dblp.org/rec/conf/ismis/PolkowskiS94URL#6813117Mohamed QuafafouGAITS II: An Intelligent System for Computer-Aided Education.ISMIS223-2321994Conference and Workshop Papersclosedconf/ismis/Quafafou9410.1007/3-540-58495-1_23https://doi.org/10.1007/3-540-58495-1_23https://dblp.org/rec/conf/ismis/Quafafou94URL#6813118Torsten SchaubComputing Queries from Prioritized Default Theories.ISMIS584-5931994Conference and Workshop Papersclosedconf/ismis/Schaub9410.1007/3-540-58495-1_58https://doi.org/10.1007/3-540-58495-1_58https://dblp.org/rec/conf/ismis/Schaub94URL#6813119ShengLi ShiM. Elizabeth C. HullDavid A. BellA New Rule for Updating Evidence.ISMIS95-1041994Conference and Workshop Papersclosedconf/ismis/ShiHB9410.1007/3-540-58495-1_10https://doi.org/10.1007/3-540-58495-1_10https://dblp.org/rec/conf/ismis/ShiHB94URL#6813120Kwang Mong SimBeliefs and Bilattices.ISMIS594-6031994Conference and Workshop Papersclosedconf/ismis/Sim9410.1007/3-540-58495-1_59https://doi.org/10.1007/3-540-58495-1_59https://dblp.org/rec/conf/ismis/Sim94URL#6813121Zbigniew StachniakFast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.ISMIS604-6131994Conference and Workshop Papersclosedconf/ismis/Stachniak9410.1007/3-540-58495-1_60https://doi.org/10.1007/3-540-58495-1_60https://dblp.org/rec/conf/ismis/Stachniak94URL#6813122Emmanuelle Le StrugeonRené MandiauGaetan LibertTowards a Dynamic Multi-Agent Organization.ISMIS203-2121994Conference and Workshop Papersclosedconf/ismis/StrugeonML9410.1007/3-540-58495-1_21https://doi.org/10.1007/3-540-58495-1_21https://dblp.org/rec/conf/ismis/StrugeonML94URL#6813123Paolo TerenzianiDealing with Qualitative and Quantitative Temporal Information Concerning Periodic Events.ISMIS275-2841994Conference and Workshop Papersclosedconf/ismis/Terenziani9410.1007/3-540-58495-1_28https://doi.org/10.1007/3-540-58495-1_28https://dblp.org/rec/conf/ismis/Terenziani94URL#6813124Molly TroxelKim SwarmJan M. ZytkowConcept Hierarchies: A Restricted Form of Knowledge Derived From Regularities.ISMIS437-4471994Conference and Workshop Papersclosedconf/ismis/TroxelSZ9410.1007/3-540-58495-1_44https://doi.org/10.1007/3-540-58495-1_44https://dblp.org/rec/conf/ismis/TroxelSZ94URL#6813125Zhiwei WangS. K. Michael WongA Global Measure of Ambiguity for Classification.ISMIS105-1131994Conference and Workshop Papersclosedconf/ismis/WangW9410.1007/3-540-58495-1_11https://doi.org/10.1007/3-540-58495-1_11https://dblp.org/rec/conf/ismis/WangW94URL#6813126Yang XiangDistributed Multi-Agent Probabilistic Reasoning With Bayesian Networks.ISMIS285-2941994Conference and Workshop Papersclosedconf/ismis/Xiang9410.1007/3-540-58495-1_29https://doi.org/10.1007/3-540-58495-1_29https://dblp.org/rec/conf/ismis/Xiang94URL#6813127Jianping ZhangHsueh-Hsiang LuA Data-Driven Approach to Feature Construction.ISMIS448-4571994Conference and Workshop Papersclosedconf/ismis/ZhangL9410.1007/3-540-58495-1_45https://doi.org/10.1007/3-540-58495-1_45https://dblp.org/rec/conf/ismis/ZhangL94URL#6813128Ning Zhong 0001Setsuo OhsugaThe GLS Discovery System: Its Goal, Architecture and Current Results.ISMIS233-2441994Conference and Workshop Papersclosedconf/ismis/ZhongO9410.1007/3-540-58495-1_24https://doi.org/10.1007/3-540-58495-1_24https://dblp.org/rec/conf/ismis/ZhongO94URL#6813129Shlomo ZilbersteinMeta-Level Control of Approximate Reasoning: A Decision Theoretic Approach.ISMIS114-1231994Conference and Workshop Papersclosedconf/ismis/Zilberstein9410.1007/3-540-58495-1_12https://doi.org/10.1007/3-540-58495-1_12https://dblp.org/rec/conf/ismis/Zilberstein94URL#6813130Zbigniew W. RasMaria ZemankovaMethodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, ProceedingsISMISLecture Notes in Computer Science869Springer1994Editorshipconf/ismis/199410.1007/3-540-58495-1https://doi.org/10.1007/3-540-58495-1https://dblp.org/rec/conf/ismis/1994URL#6820697