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

Modelling of industrial systems

1993 ◽  
pp. 338-349 ◽  
Author(s):  
Lennart Ljung
Keyword(s):  
Industrial Systems

Automatic theorem generation in plane geometry

1993 ◽  
pp. 415-424 ◽  
Author(s):  
R. Bagai ◽  
V. Shanbhogue ◽  
J. M. Żytkow ◽  
S. C. Chou
Keyword(s):  
Plane Geometry ◽  
Automatic Theorem

Input-driven control of rule-based expert systems

1993 ◽  
pp. 86-95
Author(s):  
Gabriel Valiente Feruglio
Keyword(s):  
Expert Systems ◽  
Rule Based

Reasoning about higher order uncertainty in possibilistic logic

1993 ◽  
pp. 316-325 ◽  
Author(s):  
Churn Jung Liau ◽  
Bertrand I. -Peng Lin
Keyword(s):  
Higher Order ◽  
Possibilistic Logic

On extended disjunctive logic programs

1993 ◽  
pp. 1-18 ◽  
Author(s):  
Jack Minker ◽  
Carolina Ruiz
Keyword(s):  
Logic Programs ◽  
Disjunctive Logic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document