default search action
12th ISMIS 2000: Charlotte, NC, USA
- Zbigniew W. Ras, Setsuo Ohsuga:
Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings. Lecture Notes in Computer Science 1932, Springer 2000, ISBN 3-540-41094-5
Invited Papers
- W. Bruce Croft:
Information Retrieval Based on Statistical Language Models. 1-11 - Philip J. Emmerman, Uma Y. Movva:
Intelligent Agent Battlespace Augmentation. 12-20 - Ryszard S. Michalski:
Learning and Evolution: An Introduction to Non-darwinian Evolutionary Computation. 21-30
Regular Papers
1A Knowledge Discovery and Learning
- Attilio Giordana, Lorenza Saitta, Michèle Sebag, Marco Botta:
Can Relational Learning Scale Up? 31-39 - Donato Malerba, Floriana Esposito, Antonietta Lanza, Francesca A. Lisi:
Discovering Geographic Knowledge: The INGENS System. 40-48 - Weiqiang Lin, Mehmet A. Orgun:
Temporal Data Mining Using Hidden Periodicity Analysis. 49-58 - Ada Wai-Chee Fu, Renfrew W.-w. Kwong, Jian Tang:
Mining N-most Interesting Itemsets. 59-67
1B Intelligent Information Retrieval
- Barbara Armani, Elisa Bertino, Barbara Catania, D. Laradi, B. Marin, Gian Piero Zarri:
Repository Management in an Intelligent Indexing Approach for Multimedia Digital Libraries. 68-76 - Mohand-Said Hacid, Farouk Toumani:
Logic-Based Approach to Semistructured Data Retrieval. 77-85 - Ronald N. Kostoff:
High Quality Information Retrieval for Improving the Conduct and Management of Research and Development. 86-96 - Essam A. El-Kwae:
Signature-Based Indexing for Retrieval by Spatial Content in Large 2D-String Image Databases. 97-108
2A Knowledge Discovery and Learning
- Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro:
Refining Logic Theories under OI-Implication. 109-118 - Aijun An, Nick Cercone:
Rule Quality Measures Improve the Accuracy of Rule Induction: An Experimental Approach. 119-129 - Aladdin Hafez:
A Dynamic Approach for Knowledge Discovery of Web Access Patterns. 130-138 - Moussa Boussouf, Mohamed Quafafou:
Data Reduction via Conflicting Data Analysis. 139-147 - Jerzy W. Grzymala-Busse, Pankaj Shah:
A Comparison of Rule Matching Methods Used in AQ15 and LERS. 148-156
2B Evolutionary Computation
- Jeffrey K. Bassett, Kenneth A. De Jong:
Evolving Behaviors for Cooperating Agents. 157-165 - William M. Spears, Diana F. Gordon:
Evolving Finite-State Machine Strategies for Protecting Resources. 166-175 - Shuhei Kawasaki, Setsuo Ohsuga:
A Method of Generating Program Specification from Description of Human Activities. 176-185 - Alfredo Cruz:
PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits. 186-195 - Arturo Núñez, María Cristina Riff Rojas:
Evaluating Migration Strategies for an Evolutionary Algorithm Based on the Constraint-Graph that Solves CSP. 196-204
3A Methodologies
- Jennifer Kashmirian, Lin Padgham:
Relative Robustness: An Empirical Investigation of Behaviour Based and Plan Based Paradigms as Environmental Conditions Change. 205-215 - Jörg Hoffmann:
A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm. 216-227 - Rosy Barruffi, Michela Milano, Paolo Torroni:
Planning while Executing: A Constraint-Based Approach. 228-236
3B Intelligent Information Systems
- Katsuaki Tanaka, Michiko Higashiyama, Setsuo Ohsuga:
Problem Decomposition and Multi-agent System Creation for Distributed Problem Solving. 237-246 - S. K. Michael Wong, Cory J. Butz:
A Comparative Study of Noncontextual and Contextual Dependencies. 247-255 - Barry G. T. Lowden, Jerome Robinson:
Extended Query Answering Using Integrity Rules. 256-265
4A Knowledge Discovery and Learning
- Kamran Karimi, Howard J. Hamilton:
Finding Temporal Relations: Causal Bayesian Networks vs. C4.5. 266-273 - Johanne Morin, Stan Matwin:
Learning Relational Clichés with Contextual LGG. 274-282 - James F. Peters, Andrzej Skowron, Zbigniew Suraj, Liting Han, Sheela Ramanna:
Design of Rough Neurons: Rough Set Foundation and Petri Net Model. 283-291 - Alicja Wieczorkowska:
Towards Musical Data Classification via Wavelet Analysis. 292-300
4B Logic for AI
- James J. Lu, Neil V. Murray, Erik Rosenthal:
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. 301-310 - Tomoko Ninomiya, Masao Mukaidono:
Fundamental Properties on Axioms of Kleene Algebra. 311-320 - Antonio Badia:
Extending Entity-Relationship Models with Higher-Order Operators. 321-330 - Jianhua Chen:
Combining Description Logics with Stratified Logic Programs in Knowledge Representation. 331-339
5A Knowledge Discovery and Learning
- Mourad Oussalah, Dalila Tamzalit:
Emergence Measurement and Analyzes of Conceptual Abstractions During Evolution Simulation in OOD. 340-348 - Diana R. Cundell, Randy S. Silibovsky, Robyn Sanders, Les M. Sztandera:
Using Intelligent Systems in Predictions of the Bacterial Causative Agent of an Infection. 349-357 - Rosina Weber, David W. Aha, Héctor Muñoz-Avila, Len Breslow:
An Intelligent Lessons Learned Process. 358-367
5B Intelligent Information Systems
- David A. Maluf, Gio Wiederhold:
What the Logs Can Tell You: Mediation to Implement Feedback in Training. 368-376 - C. A. Johnson:
Top-Down Query Processing in First Order Deductive Databases under the DWFS. 377-388 - Chris Fernandes, Lawrence J. Henschen:
Discovering and Resolving User Intent in Heterogeneous Databases. 389-399
6A Learning and Knowledge Discovery
- Sanghyun Park, Wesley W. Chu:
Discovering and Matching Elastic Rules from Sequence Databases. 400-408 - Lorenza Saitta, Jean-Daniel Zucker:
Perception-Based Granularity Levels in Concept Representation. 409-416 - Alexey Tsymbal, Seppo Puuronen:
Local Feature Selection with Dynamic Integration of Classifiers. 417-425 - Stefan Kramer, Gerhard Widmer, Bernhard Pfahringer, Michael de Groeve:
Prediction of Ordinal Classes Using Regression Trees. 426-434
6B Intelligent Information Retrieval
- Ali H. Alsaffar, Jitender S. Deogun, Hayri Sever:
Optimal Queries in Information Filtering. 435-443 - Bipin C. Desai, Sami S. Haddad, Abdelbaset Ali:
Automatic Semantic Header Generator. 444-452 - Minkoo Kim, Ali H. Alsaffar, Jitender S. Deogun, Vijay V. Raghavan:
On Modeling of Concept Based Retrieval in Generalized Vector Spaces. 453-462 - Cécile Boisson, Nahid Shahmehri:
Template Generation for Identifying Text Patterns. 463-473
7A Knowledge Discovery and Learning
- David A. Maluf, Jiming Liu:
Qualitative Discovery in Medical Databases. 474-485 - Eric Louie, Tsau Young Lin:
Finding Association Rules Using Fast Bit Computation: Machine-Oriented Modeling. 486-494 - Jamil Saquer, Jitender S. Deogun:
Using Closed Itemsets for Discovering Representative Association Rules. 495-504 - Marzena Kryszkiewicz, Henryk Rybinski:
Legitimate Approach to Association Rules under Incompleteness. 505-514
7B Logic for AI
- Robert Demolombe, Maria del Pilar Pozos Parra:
A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. 515-524 - Sai Kiran Lakkaraju, Yan Zhang:
Rule Based Abduction. 525-533 - Edgar Altamirano, Gonzalo Escalada-Imaz:
An Efficient Proof Method for Non-clausal Reasoning. 534-542 - Daniel Pacholczyk, Florence Dupin de Saint-Cyr:
An Intelligent System Dealing with Complex Nuanced Information within a Statistical Context. 543-551
8A Learning and Knowledge Discovery
- Tapio Elomaa, Juho Rousu:
On the Complexity of Optimal Multisplitting. 552-561 - Brock Barber, Howard J. Hamilton:
Parametric Algorithms for Mining Share-Frequent Itemsets. 562-572 - Shusaku Tsumoto:
Discovery of Clinical Knowledge in Hospital Information Systems: Two Case Studies. 573-581 - Jan M. Zytkow, Zbigniew W. Ras:
Foundations and Discovery of Operational Definitions. 582-590 - Chunnian Liu, Ning Zhong, Setsuo Ohsuga:
A Multi-agent Based Architecture for Distributed KDD Process. 591-600
8B Knowledge Representation
- Enric Plaza, Josep Lluís Arcos:
Towards a Software Architecture for Case-Based Reasoning Systems. 601-609 - Ron M. Simpson, Thomas Leo McCluskey, Donghong Liu, Diane E. Kitchin:
Knowledge Representation in Planning: A PDDL to OCLh Translation. 610-618 - Hiroyuki Yamauchi, Setsuo Ohsuga:
A Method and Language for Constructing Multiagent Systems. 619-628 - M. Ouerd, B. John Oommen, Stan Matwin:
A Formalism for Building Causal Polytree Structures Using Data Distributions. 629-637 - Sébastien Mustière, Lorenza Saitta, Jean-Daniel Zucker:
Abstraction in Cartographic Generalization. 638-644
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.