摘要记录
发表于 2025-3-23 09:57:19
Integrating Temporal Annotations in a Modular Logic Languageeover, in those examples, time and modularity are considered orthogonal to each other. In this paper we propose the addition of temporal annotations to a modular extension of LP such that the usage of a module is influenced by temporal conditions. Besides illustrative examples we also provide an ope
裙带关系
发表于 2025-3-23 14:25:06
http://reply.papertrans.cn/16/1594/159368/159368_12.png
harmony
发表于 2025-3-23 19:18:40
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semanticsaring of computed values. In this way, .-rewriting reflects the call-time choice semantics for non-determinism adopted by modern functional logic languages, where programs are rewrite systems possibly non-confluent and non-terminating. In this paper we extend that work providing a notion of .-narrow
TRACE
发表于 2025-3-24 00:05:38
Type Unification with Wildcardsex types can arise. The term...is for example a correct type in ...In this paper we present a type unification algorithm for . type terms. The algorithm unifies type terms, which are in subtype relationship. For this we define . type terms and its subtyping relation, formally..As . allows wildcards
obsession
发表于 2025-3-24 03:07:19
http://reply.papertrans.cn/16/1594/159368/159368_15.png
sacrum
发表于 2025-3-24 08:56:49
http://reply.papertrans.cn/16/1594/159368/159368_16.png
carotenoids
发表于 2025-3-24 12:07:17
http://reply.papertrans.cn/16/1594/159368/159368_17.png
ALIEN
发表于 2025-3-24 16:36:32
http://reply.papertrans.cn/16/1594/159368/159368_18.png
accomplishment
发表于 2025-3-24 22:49:22
Encoding of Planning Problems and Their Optimizations in Linear Logic in linear logic. This paper shows how planning problems can be encoded in Linear Logic and how some optimizations of planning problems can be encoded. These optimizations can help planners to improve the efficiency of finding solutions (plans).
HAWK
发表于 2025-3-25 00:01:10
Relational Models for Tabling Logic Programs in a Database the database, rather than performing a complete re-computation. To validate this approach, we have extended the YapTab tabling system, providing engine support for exporting and importing tables to and from the MySQL RDBMS. Three different relational models for data storage and two recordset retrieval strategies are compared.