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

TOTAL DOCUMENTS

60

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540568049, 9783540477501

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Input-driven control of rule-based expert systems

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_9 ◽

1993 ◽

pp. 86-95

Author(s):

Gabriel Valiente Feruglio

Keyword(s):

Expert Systems ◽

Download Full-text

A knowledge-Based approach to group analysis in automated manufacturing systems

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_54 ◽

1993 ◽

pp. 581-590

Author(s):

Kesheng Wang

Keyword(s):

Manufacturing Systems ◽

Group Analysis ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Knowledge Based

Download Full-text

Integrating machine-learning techniques in knowledge-based systems verification

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_38 ◽

1993 ◽

pp. 405-414

Author(s):

Hakim Lounis

Keyword(s):

Machine Learning ◽

Machine Learning Techniques ◽

Knowledge Based Systems ◽

Knowledge Based ◽

Learning Techniques

Download Full-text

Reasoning about higher order uncertainty in possibilistic logic

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_30 ◽

1993 ◽

pp. 316-325 ◽

Author(s):

Churn Jung Liau ◽

Bertrand I. -Peng Lin

Keyword(s):

Higher Order ◽

Possibilistic Logic

Download Full-text

Model finding strategies in semantically guided instance-based theorem proving

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_2 ◽

1993 ◽

pp. 19-28 ◽

Author(s):

Heng Chu ◽

David A. Plaisted

Keyword(s):

Theorem Proving ◽

Download Full-text

On extended disjunctive logic programs

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_1 ◽

1993 ◽

pp. 1-18 ◽

Author(s):

Jack Minker ◽

Carolina Ruiz

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

On the satisfiability of symmetrical constrained satisfaction problems

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_33 ◽

1993 ◽

pp. 350-361 ◽

Author(s):

Jean-Francois Puget

Download Full-text

Modelling of industrial systems

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_32 ◽

1993 ◽

pp. 338-349 ◽

Author(s):

Lennart Ljung

Keyword(s):

Industrial Systems

Download Full-text

On the complexity of the instance checking problem in concept languages with existential quantification

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_47 ◽

1993 ◽

pp. 508-517 ◽

Author(s):

Andrea Schaerf

Keyword(s):

Existential Quantification ◽

Concept Languages

Download Full-text

Script and frame: Mixed natural language understanding system with default theory

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_43 ◽

1993 ◽

pp. 466-475 ◽

Author(s):

Honghua Gan

Keyword(s):

Natural Language ◽

Natural Language Understanding ◽

Language Understanding ◽

Download Full-text