Titlebook: Sorts and Types in Artificial Intelligence; Workshop, Eringerfel Karl Hans Bläsius,Ulrich Hedtstück,Claus-Rainer Ro Conference proceedings

喜悦

书目名称Sorts and Types in Artificial Intelligence影响因子(影响力)




书目名称Sorts and Types in Artificial Intelligence影响因子(影响力)学科排名




书目名称Sorts and Types in Artificial Intelligence网络公开度




书目名称Sorts and Types in Artificial Intelligence网络公开度学科排名




书目名称Sorts and Types in Artificial Intelligence被引频次




书目名称Sorts and Types in Artificial Intelligence被引频次学科排名




书目名称Sorts and Types in Artificial Intelligence年度引用




书目名称Sorts and Types in Artificial Intelligence年度引用学科排名




书目名称Sorts and Types in Artificial Intelligence读者反馈




书目名称Sorts and Types in Artificial Intelligence读者反馈学科排名

敌手

A calculus for order-sorted predicate logic with sort literals,

audiologist

向外供接触

Lacerate

Karl Hans Bläsius,Ulrich Hedtstück,Claus-Rainer Ro

Slit-Lamp

Many-sorted inferences in automated theorem proving,on calculus is proposed. The advantages of such a calculus and the problems related to its definition are illustrated with several examples. We also discuss the problems, which arise when extending this calculus with equality reasoning and present a many-sorted version of the paramodulation rule. We

Receive

Tempor

Types, modules and databases in the logic programming language PROTOS-L, on many-sorted, order-sorted and polymorphic approaches to types in logic programming the basic components of the typed logic programming language PROTOS-L are discussed. It has a polymorphic order-sorted type concept and a module concept that allows the integration of external data bases. PROTOS-L

Decimate

Knowledge representation in LILOG,odelling the semantic background knowledge of the LILOG natural language understanding system. Moreover, it is also used as the target language for representing information extracted from German texts in a logical form. The aspects of L. discussed here focus on the sort concept of L. and its means f

CURL

Structure and control of the L-LILOG Inference system,aning of natural language texts and to represent the background knowledge. An inference system for L-LILOG II has been developed including a control component which restricts the possible inferences and guides the search for proofs. This control of reasoning is based to some extend on meta knowledge