检索结果-内蒙古大学图书馆

26th International Conference on Theory and Practice of Digital Libraries (TPDL)

作者： Allen, Robert B. New York NY United States

ISBN: (纸本)9783031168024;9783031168017

We have proposed that scientific research reports should be constructed entirely of structured knowledge rather than text. In an earlier paper, we emphasized Research Designs as a framework for structured research reports and described how a structured implementation might be applied to Pasteur's classic swan-neck flask experiment. In this paper, we examine some of the issues encountered in developing that implementation using dynamic models. For instance, we consider issues associated with modeling state transitions.

关键词： declarative programming Direct representation Hypothesis Model Pasteur Research Designs

来源：评论

学校读者我要写书评

暂无评论

Axiomatization of a denotational semantics for first-order logic

引用

LOGIC JOURNAL OF THE IGPL 2004年第4期12卷 277-299页

作者： Vermeulen, C. F. M. Univ Auckland Dept Philosophy Auckland 1 New Zealand

An axiomatization is presented of the denotational semantics for first order language of Apt [1]. The goal is to obtain a rational reconstruction of the intuitions underlying this semantics. The axiomatization combines ideas about four valued logic with facts about substitutions. Soundness and completeness of the axiomatization are established. From the completeness proof a decision procedure is obtained that shows how four valued logic and order sensitivity of substitution together add up in a natural way to the denotational semantics for the language of first order logic as proposed by Apt.

关键词： declarative programming denotational semantics first order logic axiomatization

来源：评论

学校读者我要写书评

暂无评论

A multimedia programming model based on timed concurrent constraint programming

引用

COMPUTER SYSTEMS SCIENCE AND ENGINEERING 1998年第4期13卷 195-205页

作者： Papadopoulos, GA Univ Cyprus Dept Comp Sci Multimedia Res & Dev Lab CY-1678 Nicosia Cyprus

We propose the development of multimedia programming frameworks based on the declarative logic programming setting and in particular the framework of object-oriented timed concurrent constraint programming (OO-TCCP). The real-time extensions that have been proposed for the concurrent constraint programming framework are coupled with the object-oriented and inheritance mechanisms that have been developed for logic programs yielding an integrated declarative environment for multimedia objects modelling. composition and synchronisation. The expressiveness and ability of OO-TCCP to act as a basis for building high-level, user-friendly authoring environments is illustrated by presenting a simple object model for multimedia composition and synchronisation followed by an analysis on how it can be used to model the temporal behaviour and relationships of multimedia objects. We then define a "universal" set of multimedia programming primitives and we show how they can be implemented in OO-TCCP. Finally, we argue about the benefits of our approach wrt both easiness of programming and implementation of the proposed framework. To the best of our knowledge this is the first time logic programming (in the form of concurrent constraint programming or otherwise) is used as a basis for designing and implementing multimedia programming frameworks.

关键词： multimedia programming declarative programming modelling and synchronisation of multimedia objects (applications of) concurrent constraint programming

来源：评论

学校读者我要写书评

暂无评论

SWOWS and dynamic queries to build browsing applications on linked data

引用

JOURNAL OF VISUAL LANGUAGES AND COMPUTING 2014年第6期25卷 738-744页

作者： Bottoni, Paolo Ceriani, Miguel Univ Roma La Sapienza Dept Comp Sci Rome Italy

The linked data initiative is pushing dataset maintainers to publish data online in a highly reusable way through a set of open standards, such as RDF and SPARQL. The variety and amount of structured data available on the Web are increasing, but their consumption is still quite limited. In particular, applications that are used to explore linked data are usually generic linked data browsers or applications with hard-coded logic tailored for specific needs. SWOWS is a platform for declarative specification of applications consuming linked data. In this paper, we describe the use of the platform-for creating browsing applications tailored to specific contexts, and show how the declarative paradigm supports the development of flexible applications. To this end, the platform has been extended to support the dynamic generation of SPARQL queries. An example of a linked data browser created with the platform is given. (C) 2014 Elsevier Ltd. All rights reserved.

关键词： Linked data Semantic Web declarative programming Visual programming languages Visual exploration SPARQL Semantic information retrieval Interactive applications

来源：评论

学校读者我要写书评

暂无评论

A Taste of Functional programming - 1

引用

RESONANCE-JOURNAL OF SCIENCE EDUCATION 2007年第8期12卷 27-48页

作者： Mukund, Madhavan Chennai Math Inst H1 SIPCOT IT PkPadur PO Siruseri 603103 India

Functional programming has its roots in Alonzo Church's lambda calculus. A functional program is a collection of functions that work together to transform data. Though Lisp brought functional programming to public attention in the 1950s, it was John Backus's 1977 Turing Award lecture criticizing the limitations of imperative programming languages that led to a resurgence of interest in this field. The 1970s and 1980s saw a number of advances, leading to the development of the language Haskell, which carefully combined ideas from many earlier languages. In this article, we explore some basic notions of functional programming via Haskell.

关键词： programming languages functional programming declarative programming Haskell lazy reduction infinite data structures

来源：评论

学校读者我要写书评

暂无评论

Tabular logics with no finite bases for inference rules

引用

LOGIC JOURNAL OF THE IGPL 2004年第4期12卷 301-311页

作者： Rybakov, V. Manchester Metropolitan Univ Dept Comp & Math Manchester M1 5GD Lancs England

We find an example of a rooted, finite, partially ordered set Q(g) such that the superintuitionistic logic L(Q(g)) generated by Q(g) has no finite bases for admissible inference rules. The modal logic based on Q(g) al... 详细信息

关键词： axiomatization declarative programming denotational semantics first order logic

来源：评论

学校读者我要写书评

暂无评论

Microflows: Leveraging Process Mining and an Automated Constraint Recommender for Microflow Modeling 1

引用

7th International Symposium on Business Modeling and Software Design (BMSD)

作者： Oberhauser, Roy Stigler, Sebastian Aalen Univ Comp Sci Dept Aalen Germany

ISBN: (数字)9783319784281

ISBN: (纸本)9783319784281;9783319784274

Businesses and software development processes alike are being challenged by the digital transformation and agility trend. Business processes are increasingly being automated yet are also expected to be agile. Current business process modeling is typically labor-intensive and results in rigid process models. For larger processes it becomes arduous to consider all possible process variations and enactment circumstances. Contemporaneously, in software development microservices have become a popular software architectural style for partitioning business logic into fine-grained services accessible via lightweight protocols which can be rapidly and individually developed by small teams and flexibly (re) deployed. This results in an increasing number of available services and a much more dynamic IT service landscape. Thus, a more dynamic form of modeling, integration, and orchestration of these microservices with business processes is needed. This paper describes agile business process modeling with Microflows, an automatic lightweight declarative approach for the workflow-centric orchestration of semantically-annotated microservices using agent-based clients, graph-based methods, and the lightweight semantic vocabularies JSON-LD and Hydra. A graphical modeling tool supports Microflow modeling and provides dynamic constraint and microservice recommendations via a recommender service using machine learning of domain-categorized Microflows. To be able to utilize existing process model knowledge, a case study shows how Microflow constraints can be automatically extracted from existing Business Process Modeling Notation (BPMN) process files and transformed into flexible Microflow constraints, which can then be used to train the recommendation service. Further, it describes process mining of Microflow execution logs to automatically extract BPMN models and automated recovery for errors occurring during enactment.

关键词： Business process modeling Workflow management systems Microservices Service orchestration Agent systems Semantic technology declarative programming Recommenders Recommendation engines Business process mining Business Process Modeling Notation

来源：评论

学校读者我要写书评

暂无评论

Prompt2DeModel: declarative Neuro-Symbolic Modeling with Natural Language 18th

Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Nat...

引用

18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy)

作者： Faghihi, Hossein Rajaby Nafar, Aliakbar Uszok, Andrzej Karimian, Hamid Kordjamshidi, Parisa Michigan State Univ E Lansing MI 48824 USA Florida Inst Human & Machine Cognit Pensacola FL USA

ISBN: (纸本)9783031711695;9783031711701

This paper presents a conversational pipeline for crafting domain knowledge for complex neuro-symbolic models through natural language prompts. It leverages large language models to generate declarative programs in the DomiKnowS framework. The programs in this framework express concepts and their relationships as a graph in addition to logical constraints between them. The graph, later, can be connected to trainable neural models according to those specifications. Our proposed pipeline utilizes techniques like dynamic in-context demonstration retrieval, model refinement based on feedback from a symbolic parser, visualization, and user interaction to generate the tasks' structure and formal knowledge representation. This approach empowers domain experts, even those not well-versed in ML/AI, to formally declare their knowledge to be incorporated in customized neural models in the DomiKnowS framework.

关键词： Neuro-Symbolic AI Code Generation Constraint Integration declarative programming Language to Code Generative AI Large Language Models

来源：评论

学校读者我要写书评

暂无评论

A System for Using Wireless Sensor Networks as Globally Deductive Databases

A System for Using Wireless Sensor Networks as Globally Dedu...

引用

4th Annual IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WIMOB)/SecPriWiMob/SAUCEWiMob/HWN-RMQWiMob/STWiMob

作者： Choochaisri, Supasate Intanagonwiwat, Chalermek Chulalongkorn Univ Dept Comp Engn Bangkok 10330 Thailand

ISBN: (纸本)9780769533933

Several research efforts have abstracted wireless sensor networks as relational databases whose data can be easily queried by users. However, none of these works includes recursive query mechanisms and globally logic reasoning techniques necessary for powerful uses as in deductive databases. In this paper, we propose an approach for abstracting wireless sensor networks as deductive databases that consist of rules, predicates, and logic-based queries. Our approach enables globally logic reasoning and data relating on a query that can be recursive or non-recursive. Additionally, the approach is more convenient to users because the users no longer need to be concerned about local behaviors of each sensor node. We also present LogicQ, an underlying system for disseminating and processing logic-based queries as well as collecting data in an energy-efficient manner. LogicQ uses a data filtering and suppressing technique that directly corresponds to an injected logic-based query for energy savings. Our performance analysis indicates that LogicQ can handle logic-based queries efficiently in terms of completeness and soundness while minimizing the energy consumption.

关键词： declarative programming Deductive Database Logic programming Recursive Query Processing Wireless Sensor Networks

来源：评论

学校读者我要写书评

暂无评论

On Development Practices for End Users

On Development Practices for End Users

引用

Workshop on New Trends in Search Computing/Workshop on Search Computing Challenges and Directions

作者： Bozzon, Alessandro Brambilla, Marco Imran, Muhammad Daniel, Florian Casati, Fabio Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy Univ Trento I-38123 Povo TN Italy

ISBN: (纸本)9783642196676

The paper discusses some trends in end user programming (EUP) and takes inspiration from the discussions in a panel and in a vertical session on research evaluation within the second Search Computing workshop. We discuss the controversial successes and failures in this field and we elaborate on which facilities could foster adoption of end user programming. We discuss various dimensions of end user programming, including vertical versus horizontal language definition, declarative versus imperative approaches. We exemplify our discussion in the realistic scenario of research evaluation by comparing the Search Computing and ResEval approaches.

关键词： crowd programming end user development mashup conceptual modeling declarative programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：