6. ISMIS 1991: Charlotte, N.C., USA Zbigniew W. Ras , Maria Zemankova (Eds.):
Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings.
Lecture Notes in Computer Science 542 Springer 1991, ISBN 3-540-54563-8 Invited Talks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Larry Kerschberg :
Methodologies for Data/Knowledge/Information Engineering: Will the Twain Meet? (Extended Abstract).
32-34
export record as
dblp key:
export record as
dblp key:
Gio Wiederhold :
The Roles of Artificial Intelligence in Information Systems.
38-51
Expert Systems
export record as
dblp key:
Christoph F. Eick :
Integrating Variables and Operations into Rule-Based Forward Chaining Systems.
52-61
export record as
dblp key:
David Mutchler :
The Multi-Player Version of Minimax Displays Game-Tree Pathology.
62-71
export record as
dblp key:
Intelligent Databases
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jiawei Han ,
Qiang Wang :
Efficient Evaluation of Linear Recursions with Function Sysmbols in Deductive Databases.
132-141
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Knowledge Representation
export record as
dblp key:
export record as
dblp key:
Jacek Malec :
Process Transition Networks: A Formal Graphical Knowledge Representation Tool.
193-202
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Paolo Terenziani :
Combining Time Points and Time Intervals in a Hybrid Knowledge Representation Formalism.
246-255
export record as
dblp key:
conf/ismis/Thirunarayan91 export record as
dblp key:
export record as
dblp key:
Learning And Adaptive Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ismis/Coates-Stephens91 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Diana F. Gordon :
Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans.
358-367
export record as
dblp key:
conf/ismis/Grzymala-Busse91 export record as
dblp key:
Cezary Z. Janikow :
A New System for Inductive Learning in Attribute-Based Spaces.
378-388
export record as
dblp key:
conf/ismis/MichalewiczM91 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Logic For Artificial Intelligence
export record as
dblp key:
Seiki Akama :
Amalgamated Logic Programming and Non-Monotonic Reasoning.
450-458
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Peter A. Flach :
Towards a Theory of Inductive Logic Programming.
510-519
export record as
dblp key:
Y. J. Jiang :
Another View of Autoepistemic Logic and Truth Maintenance System.
520-529
export record as
dblp key:
export record as
dblp key:
Sven Lorenz :
Nonmonotonic Temporal Reasoning: Persistence, Justified Causation and Event Minimization.
540-549
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Xumin Nie :
How Well Are Non-Horn Clauses Handled?
580-588
export record as
dblp key:
export record as
dblp key:
Jan A. Plaza :
Completeness for Propositional Logic Programs with Negation.
600-609
export record as
dblp key:
Arcot Rajasekar :
Disjunctive Logic Programs and Constrain Processing.
610-619
export record as
dblp key:
export record as
dblp key:
Richmond H. Thomason :
A Semantic Analysis of Monotonic Inheritance with Roles and Relations.
630-644
data released under the ODC-BY 1.0 license
