Results 51 to 60 of about 33,717 (206)
Dreptul Algoritmic // Algorithmic Law
Analele Ştiinţifice ale Universităţii "Al.I. Cuza" din Iaşi. Ştiinţe Juridice, 2021 The law is a set of rules of social coexistence, so it is natural to ask ourselves whether legal rules can be “translated” into a programming language that provides the algorithmic solution to a legal problem. “If” the answer is positive, “then” what are
Silvia Uscov
doaj +1 more source
Explainable Answer-set Programming
Electronic Proceedings in Theoretical Computer Science, 2023 The interest in explainability in artificial intelligence (AI) is growing vastly due to the near ubiquitous state of AI in our lives and the increasing complexity of AI systems. Answer-set Programming (ASP) is used in many areas, among them are industrial optimisation, knowledge management or life sciences, and thus of great interest in the context of ...
openaire +2 more sources
Proceedings, 2019 When it comes to the writing of a new logic program or theory, it is of great importance to obtain a concise and minimal representation, for simplicity and ease of interpretation reasons.
Rodrigo Martin, Pedro Cabalar
doaj +1 more source
Prioritizing Answer Sets Based on Conditional Expert Knowledge
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 Answer set programming (ASP) and conditional reasoning both are powerful and widely used methodologies from the field of knowledge representation and reasoning (KR) which are capable of formalizing default statements that usually hold but also leave room
Marco Wilhelm +2 more
doaj +1 more source
Designing experiments to discriminate families of logic models
Frontiers in Bioengineering and Biotechnology, 2015 Logic models of signaling pathways are a promising way of building effective in silico functional models of a cell, in particular of signaling pathways.
Santiago eVidela +10 more
doaj +1 more source
Case Study: Students’ Code-Tracing Skills and Calibration of Questions for Computer Adaptive Tests
Applied Sciences, 2020 Computer adaptive testing (CAT) enables an individualization of tests and better accuracy of knowledge level determination. In CAT, all test participants receive a uniquely tailored set of questions.
Robert Pinter +5 more
doaj +1 more source
DynASP2.5: Dynamic Programming on Tree Decompositions in Action
Algorithms, 2021 Efficient exact parameterized algorithms are an active research area. Such algorithms exhibit a broad interest in the theoretical community. In the last few years, implementations for computing various parameters (parameter detection) have been ...
Johannes K. Fichte +3 more
doaj +1 more source
Algorithms, 2023 Incremental techniques aim at making it possible to improve the performance of the grounding and solving processes by reusing the results of previous executions. Clingo supports both incremental grounding and incremental solving computations. In order to
Marcello Balduccini +2 more
doaj +1 more source
(Re)configuration based on model generation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Reconfiguration is an important activity for companies selling configurable products or services which have a long life time. However, identification of a set of required changes in a legacy configuration is a hard problem, since even small changes in ...
Gerhard Friedrich +5 more
doaj +1 more source