Novice
发表于 2025-3-21 18:38:36
书目名称Declarative Programming and Knowledge Management影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0264383<br><br> <br><br>书目名称Declarative Programming and Knowledge Management影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0264383<br><br> <br><br>书目名称Declarative Programming and Knowledge Management网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0264383<br><br> <br><br>书目名称Declarative Programming and Knowledge Management网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0264383<br><br> <br><br>书目名称Declarative Programming and Knowledge Management被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0264383<br><br> <br><br>书目名称Declarative Programming and Knowledge Management被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0264383<br><br> <br><br>书目名称Declarative Programming and Knowledge Management年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0264383<br><br> <br><br>书目名称Declarative Programming and Knowledge Management年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0264383<br><br> <br><br>书目名称Declarative Programming and Knowledge Management读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0264383<br><br> <br><br>书目名称Declarative Programming and Knowledge Management读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0264383<br><br> <br><br>
取回
发表于 2025-3-21 23:01:42
Exploring Properties of Icosoku by Constraint Satisfaction Approachich can provide the answers to our first two questions. The purpose of this paper is to share our preliminary result and problems to encourage researchers in both group theory and constraint communities to consider this topic further.
VOK
发表于 2025-3-22 04:26:23
Facets of the , Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Lterpolation. It supports a workflow based on documents that intersperse macro definitions, invocations of reasoners, and.-formatted natural language text. Starting from various examples, the paper discusses features and application possibilities of . along with current limitations and issues for future research.
PATRI
发表于 2025-3-22 07:21:00
http://reply.papertrans.cn/27/2644/264383/264383_4.png
Conduit
发表于 2025-3-22 09:57:23
Ahmet Cavuldak,Oliver Hidalgo,Holger Zapfnt constraint logic programming can be used to generate test data, focusing on strings in particular. To do so, we introduce a prototypical CLP solver over string constraints. As case studies, we use it to generate valid IBAN numbers, calendar dates and specific data in JSON.
Flu表流动
发表于 2025-3-22 14:23:04
http://reply.papertrans.cn/27/2644/264383/264383_6.png
Flu表流动
发表于 2025-3-22 18:29:25
From Textual Information Sources to Linked Data in the Agatha Project the domain of criminal investigations. The provided architecture and ontology are language independent. Although some of the NLP modules are language dependent, they can be built using adequate AI methodologies.
SPECT
发表于 2025-3-22 23:24:23
Towards Constraint Logic Programming over Strings for Test Data Generationnt constraint logic programming can be used to generate test data, focusing on strings in particular. To do so, we introduce a prototypical CLP solver over string constraints. As case studies, we use it to generate valid IBAN numbers, calendar dates and specific data in JSON.
figure
发表于 2025-3-23 04:41:54
– Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative,Markup and a Cn process declarative application-specific markup that is expressed in.notation and incorporate large external fact bases that are typically provided in RDF. . includes specially developed.styles and a core system that is written in ., which is used there in many roles, utilizing that it realizes the potential of Prolog as a unifying language.
Libido
发表于 2025-3-23 08:08:33
Conference proceedings 2020ent research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques..