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 DeJong: 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

last updated on Thu May 23 03:35:35 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page