Abstract is missing.
- Distributed Earth Science Validation Centers for Mission to Planet EarthWilliam J. Campbell. 1-12
- Causal Understanding in Reasoning About the WorldB. Chandrasekaran. 13-26
- How to Make Intelligent Digital LibrariesEdward A. Fox. 27-38
- Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract)Robert Meersman. 39-45
- Recognizing Credible Experts in Inaccurate DatabasesHasan M. Jamil, Fereidoon Sadri. 46-55
- Fuzzy Logic or Lukasiewicz Logic: A ClarificationSukhamay Kundu, Jianhua Chen. 56-64
- Logics Systems for Approximate Reasoning: Approximation via Rough Sets and Topological SpacesTsau Young Lin, Qing Liu, Y. Y. Yao. 65-74
- Signed Formulas and Fuzzy Operator LogicsJames J. Lu, Neil V. Murray, Erik Rosenthal. 75-84
- Rough MereologyLech Polkowski, Andrzej Skowron. 85-94
- A New Rule for Updating EvidenceShengLi Shi, M. Elizabeth C. Hull, David A. Bell. 95-104
- A Global Measure of Ambiguity for ClassificationZhiwei Wang, S. K. Michael Wong. 105-113
- Meta-Level Control of Approximate Reasoning: A Decision Theoretic ApproachShlomo Zilberstein. 114-123
- Formal Models of Selection in Genetic AlgorithmsAttilio Giordana, Filippo Neri, Lorenza Saitta. 124-133
- Genetic Algorithms for the 0/1 Knapsack ProblemZbigniew Michalewicz, Jaroslaw Arabas. 134-143
- On the Weakening of Fuzzy Relational QueriesTroels Andreasen, Olivier Pivert. 144-153
- Transforming Queries from a Relational Schema to an Equivalent Object Schema: A Prototype Based on F-logicYahui Chang, Louiqa Raschid, Bonnie J. Dorr. 154-163
- A Case-Based Reasoning Approach for Associative Query AnsweringDavid Wai-Lok Cheung, Ada Wai-Chee Fu, Jiawei Han. 164-173
- Case-Based Reasoning Applied to A Force Generation Decision AidStephen E. Cross, Donald F. Roberts, Alice M. Mulvehill, J. Allen Sears. 174-182
- A Case-Based Reasoning Approach for Associative Query AnsweringGilles Fouqué, Wesley W. Chu, Henrick Yau. 183-192
- Efficient Execution of Recursive Queries Through Controlled Binding PropagationSergio Greco, Carlo Zaniolo. 193-202
- Towards a Dynamic Multi-Agent OrganizationEmmanuelle Le Strugeon, René Mandiau, Gaetan Libert. 203-212
- parcPlan: A Planning Architecture with Parallel Actions, Resources and ConstraintsJonathan M. Lever, Barry Richards. 213-222
- GAITS II: An Intelligent System for Computer-Aided EducationMohamed Quafafou. 223-232
- The GLS Discovery System: Its Goal, Architecture and Current ResultsNing Zhong, Setsuo Ohsuga. 233-244
- Declarative Semantics for Contradictory Modular Logic ProgramsAnastasia Analyti, Sakti Pramanik. 245-254
- LaTeR: A General Purpose Manager of Temporal InformationVittorio Brusoni, Luca Console, Barbara Pernici, Paolo Terenziani. 255-264
- Understanding a Story With Causal RelationshipsHonghua Gan. 265-274
- Dealing with Qualitative and Quantitative Temporal Information Concerning Periodic EventsPaolo Terenziani. 275-284
- Distributed Multi-Agent Probabilistic Reasoning With Bayesian NetworksYang Xiang. 285-294
- Building Bridges Between Knowledge Representation and Algebraic SpecificationJacques Calmet, Indra A. Tjandra. 295-304
- Turning an Action Formalism Into a Planner - Essentials of a Case StudyJoachim Hertzberg, Sylvie Thiébaux. 305-314
- Towards Refinement of Definite Logic ProgramsHenryk Jan Komorowski, Silvia Trcek. 315-325
- AMPHION: Automatic Programming for Scientific Subroutine LibrariesMichael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood. 326-335
- RUTH: an ILP Theory Revision SystemHilde Adé, Bart Malfait, Luc De Raedt. 336-345
- Dynamic Reducts as a Tool for Extracting Laws from Decisions TablesJan G. Bazan, Andrzej Skowron, Piotr Synak. 346-355
- Learning First Order TheoriesMarco Botta. 356-365
- Evaluation and Enhancement of Bayesian Rule-Sets in a Genetic Algorithm Learning Environment for Classification TasksChristoph F. Eick, Ema Toto. 366-375
- Traps and Pitfalls when Learning Logical Definitions from RelationsFloriana Esposito, Donato Malerba, Giovanni Semeraro. 376-385
- DBROUGH: A Rough Set Based Knowledge Discovery SystemXiaohua Hu, Ning Shan, Nick Cercone, Wojciech Ziarko. 386-395
- Restructuring Rule Bases to Improve PerformanceAlex Lopez-Suarez, Mohamed S. Kamel. 396-405
- Learning Heuristics for Ordering Plan Goals through Static Operator AnalysisT. L. McCluskey, J. M. Porteous. 406-415
- Learning Problem-Oriented Decision Structures from Decision Rule: The AQDT-2 SystemRyszard S. Michalski, Ibrahim F. Imam. 416-426
- Towards Full Automation of the Discovery of Heuristics in a Nuclear Engineering Project: Integration With a Neural Information LanguageEphraim Nissan, Hava Sigelmann, Alex Galperin, Shuky Kimhi. 427-436
- Concept Hierarchies: A Restricted Form of Knowledge Derived From RegularitiesMolly Troxel, Kim Swarm, Jan M. Zytkow. 437-447
- A Data-Driven Approach to Feature ConstructionJianping Zhang, Hsueh-Hsiang Lu. 448-457
- Reasoning About Action and Time with Epistemic ConditionalsNicholas Asher. 458-467
- The Semantics of Propositional ContextsSasa Buvac, Vanja Buvac, Ian A. Mason. 468-477
- The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic SpecificationsJianhua Chen. 478-487
- Reasoning About the Safety of Information: From Logical Formalization to Operational DefinitionLaurence Cholvy, Robert Demolombe, Andrew J. I. Jones. 488-499
- Classical Methods in Nonmonotonic ReasoningYannis Dimopoulos. 500-510
- Partial Evaluation and Relevance for Approximations of Stable SemanticsJürgen Dix, Martin Müller. 511-520
- Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and ChangePatrick Doherty, Witold Lukaszewicz. 521-530
- Paraconsistency and Beyond: A New Approach to Inconsistency HandlingSuryanil Ghosh. 531-540
- BDDs and Automated DeductionJean Goubault, Joachim Posegga. 541-550
- A Possibility-Based Propositional Logic of ConditionalsYen-Teh Hsia. 551-560
- Incremental Processing of Logic Database RelationsYan-Nong Huang, Verónica Dahl, Jiawei Han. 561-570
- On the Relationship between Assumption-based Framework and Autoepistemic LogicY. J. Jiang, Yongyuth Aramkulchai. 571-583
- Computing Queries from Prioritized Default TheoriesTorsten Schaub. 584-593
- Beliefs and BilatticesKwang Mong Sim. 594-603
- Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical LogicsZbigniew Stachniak. 604-613