NSTL国家科技图书文献中心

1. Integrating Structured Declarative Language (SDL) into ASP Chef NSTL国家科技图书文献中心

Mario Alviano | Paola Guarasci ... - 《Logic Programming and Nonmonotonic Reasoning》 - International Conference on Logic Programming and Nonmonotonic Reasoning - 2025, - 387～392 - 共6页

摘要： Structured Declarative* Language (SDL) into ASP Chef, a low* | the syntax of Answer Set Programming* (ASP), inspired* | This article explores the integration of | -code web application designed to facilitate the | development of pipelines for combinatorial search and

关键词： Answer set programming | Declarative languages | Combinatorial search and optimization | System description

2. Towards Hybrid-AI in Imaging Using VoxLogicA NSTL国家科技图书文献中心

Gina Belmonte | Laura Bussi ... - 《Leveraging Applications of Formal Methods,Verification and Validation,Part IV.Software Engineering Methodologies》 - International Symposium on Leveraging Applications of Formal Methods,Verification and Validation - 2025, - 205～221 - 共17页

摘要：We present the design of a meta-programming | architecture blends together different programming* languages* | , declarative* metalanguage. The design features a global-model* | used for research on declarative* medical image* | system for hybrid AI, integrating spatial model

关键词： Spatial logic | Spatial model checking | Machine learning | Hybrid-AI | Medical imaging

3. A Generalisation of Epistemic Splitting Property NSTL国家科技图书文献中心

Ezgi Iraz Su - 《Logic Programming and Nonmonotonic Reasoning》 - International Conference on Logic Programming and Nonmonotonic Reasoning - 2025, - 393～406 - 共14页

摘要：Answer-set programming (ASP) is a declarative | logic programming* paradigm that provides an efficient* | problem-solving approach in logic-based artificial | intelligence (AI). While it has proven successful, ASP | encounters specific situations where its language falls

关键词： Answer-set programming | Equilibrium logic | Epistemic logic programs | Epistemic splitting property | Subjective constraint monotonicity

4. Haskell Based Spreadsheets NSTL国家科技图书文献中心

Ignacio Ballesteros | Luis Eduardo Bueso d...... - 《Practical Aspects of Declarative Languages》 - ACM SIGPLAN Symposium on Principles of Programming Languages | International Symposium on Practical Aspects of Declarative Languages - 2025, - 146～162 - 共17页

摘要： programming but because of their relevance as a decision | users interact with them. We focus on the declarative | the grounds of modern functional programming | spreadsheet programming* that prevents the appearance of* | functional programming* technologies.*

关键词： Spreadsheets | Haskell | End-user programming | Functional programming

5. ASP-Based Large Neighborhood Prioritized Search for Course Timetabling NSTL国家科技图书文献中心

Irumi Sugimori | Katsumi Inoue ... - 《Logic Programming and Nonmonotonic Reasoning》 - International Conference on Logic Programming and Nonmonotonic Reasoning - 2025, - 57～70 - 共14页

摘要： Programming (ASP). LNPS is a metaheuristic that starts with | the competitiveness of our declarative* approach by* | We develop an approach to solve curriculum | -based course timetabling (CB-CTT) problems with Large | Neighborhood Prioritized Search (LNPS) based on Answer Set

关键词： Answer set programming | Large neighborhood prioritized search | Course timetabling

6. Probabilistic Traces in Declarative Process Mining NSTL国家科技图书文献中心

Michela Vespa | Elena Bellodi ... - 《AIxIA 2024 - Advances in Artificial Intelligence》 - International Conference of the Italian Association for Artificial Intelligence - 2025, - 330～345 - 共16页

摘要： Semantics from Probabilistic Logic Programming, which | process trace w.r.t. a declarative* process specification* | When dealing with real-world processes, it is | essential to consider their inherent uncertainty to more | accurately represent their nature. In this work, we

关键词： Process mining | Probabilistic compliance | Declarative language | Distribution semantics

7. Going Bananas! - Unfolding Program Synthesis with Origami NSTL国家科技图书文献中心

Matheus Campos Ferna... | Fabricio Olivetti de...... - 《Intelligent Systems,Part II》 - Brazilian Conference on Intelligent Systems - 2025, - 3～18 - 共16页

摘要： succinct and declarative, this concept creates additional | functional programming, the concept of Recursion Schemes | Automatically creating a computer program | using input-output examples can be a challenging task | , especially when trying to synthesize computer programs that

关键词： Program synthesis | Genetic programming | Recursion

8. A Practical Approach to Handling Tabular Data in Logic NSTL国家科技图书文献中心

Robin De Vogelaere | Kylian Van Dessel ... - 《Practical Aspects of Declarative Languages》 - ACM SIGPLAN Symposium on Principles of Programming Languages | International Symposium on Practical Aspects of Declarative Languages - 2025, - 88～103 - 共16页

摘要：In the declarative* approach to problem solving* | imperative programming* language. In this paper, we study* | , a widely recognised challenge is how best to | capture the relevant domain knowledge in a formal | knowledge base. A lot of research focuses on formalising

关键词： Knowledge representation | First-order logic | Configuration problems

9. Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach NSTL国家科技图书文献中心

Fang Li | Fei Zuo ... - 《Practical Aspects of Declarative Languages》 - ACM SIGPLAN Symposium on Principles of Programming Languages | International Symposium on Practical Aspects of Declarative Languages - 2025, - 233～248 - 共16页

摘要： Programming (ASP) to model and analyze provenance graphs. We | identification. The declarative* nature of ASP allows for* | Provenance graphs are useful and powerful | tools for representing system-level activities in | cybersecurity; however, existing approaches often struggle

关键词： Provenance graphs | Answer set programming | Cyber threat detection

10. Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role-based behaviors NSTL国家科技图书文献中心

Yibin Xu | Tijs Slaats ... - 《Journal of Software》 - 2025,37(1) - e2730～ - 共22页

摘要： programming paradigms require additional complicated access | response (DCR) graphs for role-based and declarative | Smart contracts executed on blockchains are | interactive programs where external actors generate events | that trigger function invocations. Events can be

关键词： Process-oriented programming | Refinement | Role-based programming | Safe evolution | Smart contract programming | Smart contract security | Test-driven modelling

摘要： Structured Declarative Language (SDL) into ASP Chef, a low | the syntax of Answer Set Programming (ASP), inspired | This article explores the integration of | -code web application designed to facilitate the | development of pipelines for combinatorial search and

关键词： Answer set programming | Declarative languages | Combinatorial search and optimization | System description

摘要：We present the design of a meta-programming | architecture blends together different programming languages | , declarative metalanguage. The design features a global-model | used for research on declarative medical image | system for hybrid AI, integrating spatial model

关键词： Spatial logic | Spatial model checking | Machine learning | Hybrid-AI | Medical imaging

摘要：Answer-set programming (ASP) is a declarative | logic programming paradigm that provides an efficient | problem-solving approach in logic-based artificial | intelligence (AI). While it has proven successful, ASP | encounters specific situations where its language falls

关键词： Answer-set programming | Equilibrium logic | Epistemic logic programs | Epistemic splitting property | Subjective constraint monotonicity

摘要： programming but because of their relevance as a decision | users interact with them. We focus on the declarative | the grounds of modern functional programming | spreadsheet programming that prevents the appearance of | functional programming technologies.

关键词： Spreadsheets | Haskell | End-user programming | Functional programming

摘要： Programming (ASP). LNPS is a metaheuristic that starts with | the competitiveness of our declarative approach by | We develop an approach to solve curriculum | -based course timetabling (CB-CTT) problems with Large | Neighborhood Prioritized Search (LNPS) based on Answer Set

关键词： Answer set programming | Large neighborhood prioritized search | Course timetabling

摘要： Semantics from Probabilistic Logic Programming, which | process trace w.r.t. a declarative process specification | When dealing with real-world processes, it is | essential to consider their inherent uncertainty to more | accurately represent their nature. In this work, we

关键词： Process mining | Probabilistic compliance | Declarative language | Distribution semantics

摘要： succinct and declarative, this concept creates additional | functional programming, the concept of Recursion Schemes | Automatically creating a computer program | using input-output examples can be a challenging task | , especially when trying to synthesize computer programs that

关键词： Program synthesis | Genetic programming | Recursion

摘要：In the declarative approach to problem solving | imperative programming language. In this paper, we study | , a widely recognised challenge is how best to | capture the relevant domain knowledge in a formal | knowledge base. A lot of research focuses on formalising

关键词： Knowledge representation | First-order logic | Configuration problems

摘要： Programming (ASP) to model and analyze provenance graphs. We | identification. The declarative nature of ASP allows for | Provenance graphs are useful and powerful | tools for representing system-level activities in | cybersecurity; however, existing approaches often struggle

关键词： Provenance graphs | Answer set programming | Cyber threat detection

摘要： programming paradigms require additional complicated access | response (DCR) graphs for role-based and declarative | Smart contracts executed on blockchains are | interactive programs where external actors generate events | that trigger function invocations. Events can be

关键词： Process-oriented programming | Refinement | Role-based programming | Safe evolution | Smart contract programming | Smart contract security | Test-driven modelling

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： Structured Declarative* Language (SDL) into ASP Chef, a low* | the syntax of Answer Set Programming* (ASP), inspired* | This article explores the integration of | -code web application designed to facilitate the | development of pipelines for combinatorial search and

摘要：We present the design of a meta-programming | architecture blends together different programming* languages* | , declarative* metalanguage. The design features a global-model* | used for research on declarative* medical image* | system for hybrid AI, integrating spatial model

摘要：Answer-set programming (ASP) is a declarative | logic programming* paradigm that provides an efficient* | problem-solving approach in logic-based artificial | intelligence (AI). While it has proven successful, ASP | encounters specific situations where its language falls

摘要： programming but because of their relevance as a decision | users interact with them. We focus on the declarative | the grounds of modern functional programming | spreadsheet programming* that prevents the appearance of* | functional programming* technologies.*

摘要： Programming (ASP). LNPS is a metaheuristic that starts with | the competitiveness of our declarative* approach by* | We develop an approach to solve curriculum | -based course timetabling (CB-CTT) problems with Large | Neighborhood Prioritized Search (LNPS) based on Answer Set

摘要： Semantics from Probabilistic Logic Programming, which | process trace w.r.t. a declarative* process specification* | When dealing with real-world processes, it is | essential to consider their inherent uncertainty to more | accurately represent their nature. In this work, we

摘要：In the declarative* approach to problem solving* | imperative programming* language. In this paper, we study* | , a widely recognised challenge is how best to | capture the relevant domain knowledge in a formal | knowledge base. A lot of research focuses on formalising

摘要： Programming (ASP) to model and analyze provenance graphs. We | identification. The declarative* nature of ASP allows for* | Provenance graphs are useful and powerful | tools for representing system-level activities in | cybersecurity; however, existing approaches often struggle