喜悦
发表于 2025-3-21 19:51:09
书目名称Sorts and Types in Artificial Intelligence影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0872008<br><br> <br><br>书目名称Sorts and Types in Artificial Intelligence影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0872008<br><br> <br><br>书目名称Sorts and Types in Artificial Intelligence网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0872008<br><br> <br><br>书目名称Sorts and Types in Artificial Intelligence网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0872008<br><br> <br><br>书目名称Sorts and Types in Artificial Intelligence被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0872008<br><br> <br><br>书目名称Sorts and Types in Artificial Intelligence被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0872008<br><br> <br><br>书目名称Sorts and Types in Artificial Intelligence年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0872008<br><br> <br><br>书目名称Sorts and Types in Artificial Intelligence年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0872008<br><br> <br><br>书目名称Sorts and Types in Artificial Intelligence读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0872008<br><br> <br><br>书目名称Sorts and Types in Artificial Intelligence读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0872008<br><br> <br><br>
敌手
发表于 2025-3-21 23:08:03
A calculus for order-sorted predicate logic with sort literals,
audiologist
发表于 2025-3-22 01:32:33
http://reply.papertrans.cn/88/8721/872008/872008_3.png
向外供接触
发表于 2025-3-22 07:00:23
http://reply.papertrans.cn/88/8721/872008/872008_4.png
Lacerate
发表于 2025-3-22 09:29:25
Karl Hans Bläsius,Ulrich Hedtstück,Claus-Rainer Ro
Slit-Lamp
发表于 2025-3-22 14:02:30
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
发表于 2025-3-22 19:50:05
http://reply.papertrans.cn/88/8721/872008/872008_7.png
Tempor
发表于 2025-3-23 00:15:10
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
发表于 2025-3-23 03:14:17
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
发表于 2025-3-23 06:37:04
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