scientific article; zbMATH DE number 67969

MaRDI QIDQ4013978zbMATH OpenFDO

Authors Karl Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann

Publication date 27 September 1992

zbMATH Keywords

L-LILOG inference systemorder-sorted logic

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic in artificial intelligence (68T27) Natural language processing (68T50) Artificial intelligence (68T99)

Recommendations

• Algorithms for solution inference based on unified logical control models
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 812533
• Estimating logic structure in complex system
• LTLC: Linear Temporal Logic for Control
• On differential design of logical control systems
• On Liu's inference rule for uncertain systems
• scientific article; zbMATH DE number 4003495
• scientific article; zbMATH DE number 3873178

Cited in

(6)

• Controlling backward inference
• Agenda control for heterogeneous reasoners
• scientific article; zbMATH DE number 4176512 (Why is no real title available?)
• DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE
• scientific article; zbMATH DE number 4053072 (Why is no real title available?)
• scientific article; zbMATH DE number 67968 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4013978)