aplomb
发表于 2025-3-23 12:48:06
Sorts in qualitative reasoning, on the basis of the models, either by interpretation of the models or by envisioning. Models of Qualitative Reasoning can be conceived as logical theories, but not as arbitrary ones, rather as theories that have models in the model theoretic sense. Sorts are an integral part of Qualitative Reasonin
谄媚于性
发表于 2025-3-23 17:18:51
http://reply.papertrans.cn/88/8721/872008/872008_12.png
STALE
发表于 2025-3-23 20:10:10
http://reply.papertrans.cn/88/8721/872008/872008_13.png
SMART
发表于 2025-3-24 02:00:05
Knowledge representation in LILOG,eir origin in the area of computational linguistics into the framework of an order-sorted predicate logic. The structuring concept introduced for L. is a simple form of separating logical theories into modules.
promote
发表于 2025-3-24 04:19:05
What KL-ONE lookalikes need to cope with natural language,of the meaning of plural noun phrases, namely Discourse Semantics Theory, Generalized Quantifier Theory, and Referential Net Theory..Our goal in the present work is to extend KL-ONE lookalikes by set maintenance and to support the use of sets in an NL system with a well-suited linguistic theory.
Phenothiazines
发表于 2025-3-24 08:39:07
http://reply.papertrans.cn/88/8721/872008/872008_16.png
赏心悦目
发表于 2025-3-24 14:39:45
http://reply.papertrans.cn/88/8721/872008/872008_17.png
纺织品
发表于 2025-3-24 15:56:21
http://reply.papertrans.cn/88/8721/872008/872008_18.png
流出
发表于 2025-3-24 22:48:31
0302-9743 stems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.978-3-540-52337-6978-3-540-46965-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
scrape
发表于 2025-3-25 00:51:08
Many-sorted inferences in automated theorem proving, show how the structure of a sort hierarchy influences the inferences of our many-sorted calculus and discuss the ways to state certain axioms of a theorem proving problem by an adequate definition of a sort hierarchy. We conclude with a brief survey on related work.