Lecture Notes in Computer Science - Methodologies for Intelligent Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540584957, 9783540490104

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partial evaluation and relevance for approximations of the stable semantics

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_51 ◽

1994 ◽

pp. 511-520 ◽

Cited By ~ 4

Author(s):

Jürgen Dix ◽

Martin Müller

Keyword(s):

Partial Evaluation ◽

Stable Semantics

Download Full-text

Signed formulas and fuzzy operator logics

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_8 ◽

1994 ◽

pp. 75-84 ◽

Cited By ~ 7

Author(s):

James J. Lu ◽

Neil V. Murray ◽

Erik Rosenthal

Keyword(s):

Fuzzy Operator ◽

Signed Formulas

Download Full-text

Circumscribing features and fluents: A fluent logic for reasoning about action and change

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_52 ◽

1994 ◽

pp. 521-530

Author(s):

Patrick Doherty ◽

Witold łukaszewicz

Keyword(s):

Reasoning About Action

Download Full-text

Reasoning about the safety of information: from logical formalization to operational definition

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_49 ◽

1994 ◽

pp. 488-499 ◽

Cited By ~ 6

Author(s):

Laurence Cholvy ◽

Robert Demolombe ◽

Andrew Jones

Keyword(s):

Operational Definition ◽

Logical Formalization

Download Full-text

Restructuring rule bases to improve performance

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_40 ◽

1994 ◽

pp. 396-405

Author(s):

Alex Lopez-Suarez ◽

M. Kamel

Keyword(s):

Improve Performance ◽

Rule Bases

Download Full-text

Towards a dynamic multi-agent organization

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_21 ◽

1994 ◽

pp. 203-212 ◽

Cited By ~ 3

Author(s):

Emmanuelle Le Strugeon ◽

René Mandiau ◽

GaËtan Libert

Keyword(s):

Multi Agent

Download Full-text

A case-based reasoning approach for associative query answering

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_19 ◽

1994 ◽

pp. 183-192 ◽

Cited By ~ 6

Author(s):

Gilles Fouqué ◽

Wesley W. Chu ◽

Henrick Yau

Keyword(s):

Query Answering ◽

Case Based Reasoning ◽

Associative Query Answering ◽

Case Based

Download Full-text

Knowledge discovery in databases: A rule-based attribute-oriented approach

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_17 ◽

1994 ◽

pp. 164-173 ◽

Cited By ~ 9

Author(s):

David Wai-lok Cheung ◽

Ada Wai-Chee Fu ◽

Jiawei Han

Keyword(s):

Knowledge Discovery ◽

Knowledge Discovery In Databases ◽

Rule Based ◽

Oriented Approach

Download Full-text

Formal models of selection in genetic algorithms

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_13 ◽

1994 ◽

pp. 124-133

Author(s):

A. Giordana ◽

F. Neri ◽

L. Saitta

Keyword(s):

Genetic Algorithms ◽

Formal Models

Download Full-text

A new rule for updating evidence

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-58495-1_10 ◽

1994 ◽

pp. 95-104 ◽

Cited By ~ 3

Author(s):

ShengLi Shi ◽

M. E. C. Hull ◽

D. A. Bell

Download Full-text

Lecture Notes in Computer Science - Methodologies for Intelligent SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Partial evaluation and relevance for approximations of the stable semantics

Signed formulas and fuzzy operator logics

Circumscribing features and fluents: A fluent logic for reasoning about action and change

Reasoning about the safety of information: from logical formalization to operational definition

Restructuring rule bases to improve performance

Towards a dynamic multi-agent organization

A case-based reasoning approach for associative query answering

Knowledge discovery in databases: A rule-based attribute-oriented approach

Formal models of selection in genetic algorithms

A new rule for updating evidence

Lecture Notes in Computer Science - Methodologies for Intelligent Systems
Latest Publications