


Остановите войну!
for scientists:


default search action
9th ISMIS 1996: Zakopane, Poland
- Zbigniew W. Ras, Maciej Michalewicz:
Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings. Lecture Notes in Computer Science 1079, Springer 1996, ISBN 3-540-61286-6
Invited Talks
- Michael L. Brodie:
Putting Objects to Work on a Massive Scale. 1-18 - Didier Dubois, Henri Prade:
Approximate and Commonsense Reasoning: From Theory to Practice. 19-33 - Matthias Jarke, Manfred A. Jeusfeld
, Peter Peters, Peter Szczurko:
Distributed Information Systems Engineering. 34-49 - Erik Sandewall:
Towards a World-Wide Knowledge Base. 50-55 - Gregory Piatetsky-Shapiro:
Data Mining and Knowledge Discovery in Business Databases. 56-67
Knowledge Representation
- Patrick Lambrix
, Jalal Maleki:
Learning Composite Concepts in Description Logics: A First Step. 68-77 - Rose Dieng:
Comparison of Conceptual Graphs for Modelling Knowledge of Multiple Experts. 78-87 - Yan Zhang:
Semantical Considerations for Knowledge Base Updates. 88-97 - Agata Wrzos-Kaminska:
Partial Evaluation in Constraint Logic Programming. 98-107
Learning and Discovery Systems
- Eric Bloedorn, Ryszard S. Michalski:
The AQ17-DCI System for Data-Driven Constructive Induction and its Application to the Analysis of World Economics. 108-117 - Ning Shan, Howard J. Hamilton, Nick Cercone:
Induction of Classification Rules from Imperfect Data. 118-127 - Shusaku Tsumoto, Hiroshi Tanaka:
Induction of Expert System Rules from Databases Based on Rough Set Theory and Resampling Methods. 128-138 - Jan M. Zytkow, Robert Zembowicz:
Search for Patterns at Each Scale in Massive Data. 139-148
Invited Session on Evolutionary Computation
- Kenneth A. De Jong:
On Evolving Intelligence . 149-157 - Thomas Bäck
, Martin Schütz:
Intelligent Mutation Rate Control in Canonical Genetic Algorithms. 158-167 - Attilio Giordana, Filippo Neri
, Lorenza Saitta:
A Fine-Grained Parallel Evolutionary Program for Concept Induction. 168-177 - A. E. Eiben:
Evolutionary Exploration of Search Spaces. 178-188 - Zbigniew Michalewicz, Jing Xiao, Krzysztof Trojanowski:
Evolutionary Computation: One Project, Many Directions. 189-201
Logic for AI
- Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü:
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). 202-211 - Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam:
Automating Proofs of Integrity Constraints in Situation Calculus. 212-222 - Pawel Cholewinski:
Towards Programming in Default Logic. 223-232 - Jianhua Chen, Sukhamay Kundu:
A Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator. 233-242 - Frank Dignum, Hans Weigand, Egon Verharen:
Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints. 243-252
Intelligent Information Systems
- Robert Demolombe:
Validity Queries and Completeness Queries. 253-263 - Michael Minock, Wesley W. Chu:
Explanation for Cooperative Information Systems. 264-273 - Joseph D. Oldham, V. Wiktor Marek:
Toward Intelligent Representation of Database Content. 274-284 - Marzena Kryszkiewicz, Henryk Rybinski:
Reducing Information Systems with Uncertain Attributes. 285-294
Knowledge Representation
- Anne-Marie Dery, Stéphane Ducasse, Mireille Blay-Fornarino:
Object and Dependency Oriented Programming in FLO. 295-304 - John K. Debenham:
Knowledge Simplification. 305-314 - Stefan Brüning, Torsten Schaub:
A Model-Based Approach to Consistency-Checking. 315-324 - Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani
:
Resource-Based vs. Task-Based Approaches for Scheduling Problems. 325-334
Approximate Reasoning
- François G. Pin:
A Fuzzy Behaviorist Approach to Sensor-Based Robot Control. 335-345 - Les M. Sztandera:
Knowledge-Based Fuzzy Neural Networks. 346-355
Evolutionary Computation
- Franciszek Seredynski:
Coevolutionary Game-Theoretic Multi-Agent Systems. 356-365 - Hung Son Nguyen
, Sinh Hoa Nguyen, Andrzej Skowron:
Searching for Features Defined by Hyperplanes. 366-375
Intelligent Information Systems
- Hendrik Blockeel
, Luc De Raedt
:
Inductive Database Design. 376-385 - Grace SauLan Loo, Tharam S. Dillon, John Zeleznikow
, Kok-Huat Lee:
Enhancing Query Processing of Information Systems. 386-397 - Gian Piero Zarri, Luca Gilardoni:
Structuring and Retrieval of the Complex Predicate Arguments Proper to the NKRL Conceptual Language. 398-407 - Patrick Bosc, Olivier Pivert:
On the Handling of Imperfect Data in Relational Database Systems - From Null Values to Possibility Distributions. 408-417 - Slawomir T. Wierzchon, Mieczyslaw A. Klopotek:
Modified Component Valuations in Valuation Based Systems as a Way to Optimize Query Processing. 418-427
Learning and Discovery Systems
- Ibrahim F. Imam, Ryszard S. Michalski:
Learning for Decision Making: the FRD Approach and a Comparative Study. 428-437 - Shusaku Tsumoto, Wojciech Ziarko:
The Application of Rough Sets-Based Data Mining Technique to Differential Diagnosis of Meningoenchepahlitis. 438-447 - Torulf Mollestad, Andrzej Skowron:
A Rough Set Framework for Data Mining of Propositional Default Rules. 448-457 - Ibrahim F. Imam:
An Empirical Study on The Incompetence of Attribute Selection Criteria. 458-467 - Floriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro:
Locally Finite, Proper and Complete Operators for Refining Datalog Programs. 468-478
Intelligent Information Systems
- Sunil J. Noronha, Stan Szpakowicz:
Forest Fire Management with Negoplan. 479-490 - Olga Pons, Juan Miguel Medina, Juan C. Cubero, María Amparo Vila Miranda:
An Architecture for a Deductive Fuzzy Relational Database. 491-500 - Ning Zhong, Setsuo Ohsuga:
A Multi-Step Process for Discovering, Managing and Refining Strong Functional Relations Hidden in Databases. 501-510 - R. Capobianchi, M. Mautref, Maurice van Keulen, Herman Balsters:
An Architecture and Methodology for the Design and Development of Technical Information Systems. 511-520
Logic for Artificial Intelligence
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
Explaining Explanation Closure. 521-530 - Luc De Raedt
:
PAC-Learning Logic Programs under the Closed-World Assumption. 531-540 - Lars Karlsson:
Planning, Truth Criteria and the Systematic Approach to Action and Change. 541-550 - Marta Franová:
Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving. 551-560
Intelligent Information Systems
- Parke Godfrey, Jarek Gryz, Jack Minker:
Semantic Query Optimization for Bottom-Up Evaluation. 561-571 - Can Türker, Stefan Conrad, Gunter Saake:
Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems. 572-581 - Jutta Eusterbrock:
A Multi-Layer Architecture for Knowledge-Based System Synthesis. 582-592 - Mohan Ravindranathan, Roy Leitch:
MuRaLi: An Architecture for Multiple Reasoning. 593-602 - Boris Cadish, Zinovy Diskin:
Heterogeneous View Integration via Sketches and Equations. 603-612
Learning and Discovery Systems
- Luc Dehaspe, Luc De Raedt
:
DLAB: A Declarative Language Bias Formalism. 613-622 - Willi Klösgen:
Knowledge Discovery in Databases and Data Mining. 623-632 - Jerzy W. Bala, Peter Pachowicz, Harry Wechsler:
Learning with Noise in Engineering Domains. 633-642 - Christel Vrain:
Hierarchical Conceptual Clustering in a First Order Representation. 643-652 - Wojciech Ziarko, Nick Cercone, Xiaohua Hu:
Rule Discovery from Databases with Decision Matrices. 653-662

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.