Using robotic systems in laboratory settings increases the quality and reproducibility of laboratory experiments. One challenge laboratory personal faces is the need of programming knowledge to set up the robotic syst...
详细信息
As the scale of integrated circuit (IC) design continues to expand, the multi-FPGA system (MFS) is widely employed for logic emulation and simulation acceleration which ensures the functional correctness of logic circ...
详细信息
Visual programming tools have recently been introduced to enable Deep Learning (DL) development without the need for expertise in traditional programming languages and frameworks. However, these tools often exhibit li...
详细信息
A challenge of writing concurrent message-passing programs is ensuring the absence of partial deadlocks, which can cause severe memory leaks in long-running systems. the Go programming language is particularly suscept...
详细信息
In this paper, we present the integration of MiniZinc into ASP Chef, expanding its capabilities to include constraint programming alongside Answer Set programming (ASP). By leveraging the web assembly version of MiniZ...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
In this paper, we present the integration of MiniZinc into ASP Chef, expanding its capabilities to include constraint programming alongside Answer Set programming (ASP). By leveraging the web assembly version of MiniZinc, this integration allows for running MiniZinc models directly in the browser, eliminating the need for additional software installations. this browser-based approach is particularly advantageous for educational settings and rapid prototyping, offering a seamless and accessible environment for learners and practitioners. To facilitate the incorporation of MiniZinc in ASP recipes, we have implemented a mapping mechanism that converts facts to MiniZinc data and vice versa. this integration not only broadens the scope of problems that can be addressed using ASP Chef but also simplifies the workflow for users, making it a versatile tool for complex computational tasks.
the proceedings contain 85 papers. the topics discussed include: Deft: a scalable tree index for disaggregated memory;ParallelEVM: operation-level concurrent transaction execution for EVM-compatible blockchains;unders...
ISBN:
(纸本)9798400711961
the proceedings contain 85 papers. the topics discussed include: Deft: a scalable tree index for disaggregated memory;ParallelEVM: operation-level concurrent transaction execution for EVM-compatible blockchains;understanding and detecting SQL function bugs;FastIOV: fast startup of passthrough network I/O virtualization for secure containers;flex: fast, accurate DNN inference on low-cost edges using heterogeneous accelerator execution;hey hey, my my, skewness is here to stay: challenges and opportunities in cloud block store traffic;multi-grained specifications for distributed system model checking and verification;and improving GPU sharing performance through adaptive bubbleless spatial-temporal sharing.
this article explores the integration of Structured Declarative Language (SDL) into ASP Chef, a low-code web application designed to facilitate the development of pipelines for combinatorial search and optimization. S...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
this article explores the integration of Structured Declarative Language (SDL) into ASP Chef, a low-code web application designed to facilitate the development of pipelines for combinatorial search and optimization. SDL is a recent proposal aimed at simplifying the syntax of Answer Set programming (ASP), inspired by the straightforwardness of SQL. the integration is achieved through the implementation of a server that compiles SDL specifications into ASP programs and the addition of a new operation in ASP Chef to manage data exchange withthe server. this integration aims to streamline the development process and make it more accessible for users working on combinatorial optimization tasks.
this paper introduces Helix, a distributed system for high-throughput, low-latency large language model (LLM) serving in heterogeneous GPU clusters. the key idea behind Helix is to formulate inference computation of L...
详细信息
Explainability in Artificial Intelligence (XAI) is crucial for enhancing the transparency and trustworthiness of AI systems. Our work focuses on providing clear explanations for why certain atoms in a given answer set...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
Explainability in Artificial Intelligence (XAI) is crucial for enhancing the transparency and trustworthiness of AI systems. Our work focuses on providing clear explanations for why certain atoms in a given answer set are evaluated as such, hence contributing to the understanding of the decisions made by Answer Set programming (ASP) systems. We employ simple inference rules to elucidate these decisions, avoiding complex derivations to maintain clarity. Moreover, we introduce the notion of preferred unit-provable unsatisfiable subsets (preferred 1-PUS) to identify relevant portions of ASP encodings, prioritizing program rules over assignments, withthe objective of minimizing the assumptions involved in the explanation process. the proposed principles are implemented in a new XAI system.
the proceedings contain 30 papers. the topics discussed include: applications of answer set programming where theory meets practice;when is it morally acceptable to break the rules? a preference-based approach;formal ...
the proceedings contain 30 papers. the topics discussed include: applications of answer set programming where theory meets practice;when is it morally acceptable to break the rules? a preference-based approach;formal reasoning methods for explainability in machine learning;from probabilistic logics to neuro-symbolic artificial intelligence;norms, policy and laws: modeling, compliance and violation;datalog-based systems can use incremental SMT solving;formal semantics and scalability for datalog with aggregates: a cardinality-based solution;a logicprogramming approach to regression based repair of incorrect initial belief states;and a hybrid neuro-symbolic approach for complex event processing.
暂无评论