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

9783540568049, 9783540477501

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modelling of industrial systems

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_32 ◽

1993 ◽

pp. 338-349 ◽

Cited By ~ 5

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 1

Author(s):

Honghua Gan

Keyword(s):

Natural Language ◽

Natural Language Understanding ◽

Language Understanding ◽

Default Theory

Download Full-text

Automatic theorem generation in plane geometry

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_39 ◽

1993 ◽

pp. 415-424 ◽

Cited By ~ 8

Author(s):

R. Bagai ◽

V. Shanbhogue ◽

J. M. Żytkow ◽

S. C. Chou

Keyword(s):

Plane Geometry ◽

Automatic Theorem

Download Full-text

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 ◽

Rule Based

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

Author(s):

Heng Chu ◽

David A. Plaisted

Keyword(s):

Theorem Proving ◽

Model Finding

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 ◽

Cited By ~ 8

Author(s):

Jack Minker ◽

Carolina Ruiz

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

Lecture Notes in Computer Science - Methodologies for Intelligent SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Modelling of industrial systems

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

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

Automatic theorem generation in plane geometry

Input-driven control of rule-based expert systems

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

Integrating machine-learning techniques in knowledge-based systems verification

Reasoning about higher order uncertainty in possibilistic logic

Model finding strategies in semantically guided instance-based theorem proving

On extended disjunctive logic programs

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