Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleSeptember 2024
Computing Thermodynamically Consistent Elementary Flux Modes with Answer Set Programming
AbstractElementary Flux Modes (EFM) allow the description of the minimal sets of reactions in a metabolic network under steady-state conditions, representing unique and feasible pathways. They fully characterize the solution space but a combinatorial ...
- ArticleJune 2024
Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming: System Description
AbstractWe present Rhyme, a declarative multi-paradigm query language designed for querying and transforming nested structures such as JSON, tensors, and beyond. Rhyme is designed to be multi-paradigm from ground-up allowing it to seamlessly accommodate ...
- research-articleFebruary 2024
Non-termination in Term Rewriting and Logic Programming
AbstractIn this paper, we define two particular forms of non-termination, namely loops and binary chains, in an abstract framework that encompasses term rewriting and logic programming. The definition of loops relies on the notion of compatibility of ...
- ArticleJanuary 2024
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures
AbstractWe present Rhyme, an expressive language designed for high-level data manipulation, with a primary focus on querying and transforming nested structures such as JSON and tensors, while yielding nested structures as output. Rhyme draws inspiration ...
- research-articleApril 2024
A novel processor for dynamic evolution of constrained SAT problems: The dynamic evolution variant of the discrete Hopfield neural network satisfiability model
Journal of King Saud University - Computer and Information Sciences (JKSUCIS), Volume 36, Issue 1https://doi.org/10.1016/j.jksuci.2024.101927AbstractThe Boolean satisfiability problem, a renowned NP-complete challenge in computer science, has recently garnered interest in the Discrete Hopfield Neural Network - Satisfiability model. This model adeptly integrates logical rules into Hopfield ...
-
- research-articleFebruary 2024
Forming We-intentions under breakdown situations in human-robot interactions
Computer Methods and Programs in Biomedicine (CBIO), Volume 242, Issue Chttps://doi.org/10.1016/j.cmpb.2023.107817AbstractBackground and Objective: When agents (e.g. a person and a social robot) perform a joint activity to achieve a joint goal, they require sharing a relevant group intention, which has been defined as a We-intention. In forming We-intentions, ...
- research-articleOctober 2023
A relaxed condition for avoiding the occur-check
AbstractWe generalize the notion of “not subject to occur-check” (NSTO), on which most known results on avoiding the occur-check in logic programming are based. NSTO means that unification is performed only on such pairs of atoms for which the ...
Highlights- We deal with sufficient conditions for avoiding the occur-check in unification.
- research-articleOctober 2023
Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments
- Giorgos Flouris,
- Theodore Patkos,
- Antonis Bikakis,
- Alexandros Vassiliades,
- Nick Bassiliades,
- Dimitris Plexousakis
International Journal of Approximate Reasoning (IJAR), Volume 161, Issue Chttps://doi.org/10.1016/j.ijar.2023.108992AbstractA representational limitation of current argumentation frameworks is their inability to deal with sets of entities and their properties, for example to express that an argument is applicable for a specific set of entities that have a ...
- research-articleJuly 2023
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells
Annals of Mathematics and Artificial Intelligence (KLU-AMAI), Volume 91, Issue 5Pages 713–750https://doi.org/10.1007/s10472-023-09886-7AbstractDeciphering gene regulatory networks’ functioning is an essential step for better understanding of life, as these networks play a fundamental role in the control of cellular processes. Boolean networks have been widely used to represent gene ...
- research-articleMarch 2023
A first polynomial non-clausal class in many-valued logic
Fuzzy Sets and Systems (FSTS), Volume 456, Issue CPages 1–37https://doi.org/10.1016/j.fss.2022.10.008AbstractThe relevance of polynomial classes of formulas to deductive efficiency motivated their further research, and currently, a great number of such classes is known. Nevertheless, they have been exclusively sought in the setting of ...
- research-articleMarch 2023
Immediate consequences operator on generalized quantifiers
Fuzzy Sets and Systems (FSTS), Volume 456, Issue CPages 72–91https://doi.org/10.1016/j.fss.2022.08.014AbstractThe semantics of a multi-adjoint logic program is usually defined through the immediate consequences operator T P. However, the definition of the immediate consequences operator as the supremum of a set of values can provide some ...
- articleMarch 2023
Formalization of Ethical Decision Making: Implementation in the Data Privacy of Wearable Robots
International Journal of Extreme Automation and Connectivity in Healthcare (IJEACH), Volume 5, Issue 1Pages 1–13https://doi.org/10.4018/IJEACH.320488As automation in robotics and artificial intelligence is increasing, we will need to automate a growing amount of ethical decision making. However, ethical decision-making raises novel challenges for designers, engineers, ethicists, and policymakers, ...
- research-articleJanuary 2023
Witnesses for Answer Sets of Logic Programs
ACM Transactions on Computational Logic (TOCL), Volume 24, Issue 2Article No.: 15, Pages 1–46https://doi.org/10.1145/3568955In this article, we consider Answer Set Programming (ASP). It is a declarative problem solving paradigm that can be used to encode a problem as a logic program whose answer sets correspond to the solutions of the problem. It has been widely applied in ...
- research-articleJanuary 2023
Quantitative extensions of reaction systems based on SOS semantics
Neural Computing and Applications (NCAA), Volume 35, Issue 9Pages 6335–6359https://doi.org/10.1007/s00521-022-07935-6AbstractReaction systems (RSs) are a successful natural computing framework inspired by chemical reaction networks. A RS consists of a set of entities and a set of reactions. Entities can enable or inhibit each reaction and are produced by reactions or ...
- research-articleJanuary 2023
Logic programming for deliberative robotic task planning
Artificial Intelligence Review (ARTR), Volume 56, Issue 9Pages 9011–9049https://doi.org/10.1007/s10462-022-10389-wAbstractOver the last decade, the use of robots in production and daily life has increased. With increasingly complex tasks and interaction in different environments including humans, robots are required a higher level of autonomy for efficient ...
- ArticleJanuary 2023
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)
AbstractThe complex production processes in modern semiconductor manufacturing involve hundreds of operations on the route of a production lot, so that the period from lot release to completion can stretch over several months. Moreover, high-tech machines ...
- ArticleJanuary 2023
Embedding Functional Logic Programming in Haskell via a Compiler Plugin
AbstractWe present a technique to embed a functional logic language in Haskell using a GHC plugin. Our approach is based on a monadic lifting that models the functional logic semantics explicitly. Using a GHC plugin, we get many language extensions that ...
- ArticleJanuary 2023
SwitchLog: A Logic Programming Language for Network Switches
AbstractThe development of programmable switches such as the Intel Tofino has allowed network designers to implement a wide range of new in-network applications and network control logic. However, current switch programming languages, like P4, operate at ...
- research-articleDecember 2022
Specification of schedulability assumptions to leverage multiprocessor Analysis
Journal of Systems Architecture: the EUROMICRO Journal (JOSA), Volume 133, Issue Chttps://doi.org/10.1016/j.sysarc.2022.102761AbstractIn order to ease the early verification of uniprocessor real-time systems, the tool Cheddar provides a service that guarantees the applicability of a schedulability analysis method for a given architecture model. This verification ...
- research-articleOctober 2022
A computational model of Ostrom's Institutional Analysis and Development framework
AbstractThe Institutional Analysis and Development (IAD) framework developed by Elinor Ostrom and colleagues provides great conceptual clarity on the immensely varied topic of social interactions. In this work, we propose a computational model ...
Highlights- A new logic programming language to systematically describe multiagent social interactions.