Výsledky vyhľadávania - "Answer set programming"
-
1
Dominating Set Reconfiguration with Answer Set Programming
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.07.2024Vydané v Theory and practice of logic programming (01.07.2024)“… We develop an approach to solve the dominating set reconfiguration problem based on answer set programming (ASP…”
Získať plný text
Journal Article -
2
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
ISSN: 1471-0684, 1475-3081, 1475-3081Vydavateľské údaje: Cambridge Cambridge University Press 01.11.2023Vydané v Theory and practice of logic programming (01.11.2023)“…We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of…”
Získať plný text
Journal Article -
3
Multi-Shot Answer Set Programming for Flexible Payroll Management
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.05.2024Vydané v Theory and practice of logic programming (01.05.2024)“… In this paper, we suggest an approach based on a flexible answer set programming (ASP) model and an easy-to-read tabular representation based on the decision model and notation standard…”
Získať plný text
Journal Article -
4
A multiparametric view on answer set programming
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.07.2019Vydané v Annals of mathematics and artificial intelligence (01.07.2019)“…Disjunctive answer set programming (ASP) is an important framework for declarative modeling and problem solving, where the computational complexity of basic decision problems like consistency…”
Získať plný text
Journal Article -
5
Train routing in shunting yards using Answer Set Programming
ISSN: 0957-4174, 1873-6793Vydavateľské údaje: Elsevier Ltd 30.11.2015Vydané v Expert systems with applications (30.11.2015)“…•Formulation of a complex routing problem using Answer Set Programming (ASP).•First ever application of ASP to the train routing problem at shunting yards…”
Získať plný text
Journal Article -
6
Applications of non-monotonic reasoning to automotive product configuration using answer set programming
ISSN: 0956-5515, 1572-8145Vydavateľské údaje: New York Springer US 01.03.2019Vydané v Journal of intelligent manufacturing (01.03.2019)“… In this work, non-monotonic computational logic, answer set programming in particular, is applied to industrial-scale automotive product configuration problems…”
Získať plný text
Journal Article -
7
Answer Set Programming et interrogation
ISSN: 0992-499X, 1958-5748Vydavateľské údaje: Edmonton International Information and Engineering Technology Association (IIETA) 01.01.2018Vydané v Revue d'Intelligence Artificielle (01.01.2018)“… exception, les formalismes habituels ne sont plus adaptés et nous proposons ici d’utiliser l’Answer Set Programming…”
Získať plný text
Journal Article -
8
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.11.2020Vydané v Theory and practice of logic programming (01.11.2020)“…, an autonomous warehouse) such that no two agents collide with each other, and subject to some constraints on the lengths of paths…”
Získať plný text
Journal Article -
9
Answer set programming as a modeling language for course timetabling
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.07.2013Vydané v Theory and practice of logic programming (01.07.2013)“…The course timetabling problem can be generally defined as the task of assigning a number of lectures to a limited set of timeslots and rooms, subject to a given set of hard and soft constraints…”
Získať plný text
Journal Article -
10
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.03.2018Vydané v Annals of mathematics and artificial intelligence (01.03.2018)“…This article deals with the combination of ontologies and rules by means of existential rules and answer set programming…”
Získať plný text
Journal Article -
11
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
ISSN: 1748-7188, 1748-7188Vydavateľské údaje: London BioMed Central 20.07.2017Vydané v Algorithms for molecular biology (20.07.2017)“… These models describe the temporal evolution of the state of the network subject to different competing transitions, potentially leading the system to different attractors…”
Získať plný text
Journal Article -
12
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments
ISSN: 0929-5593, 1573-7527Vydavateľské údaje: New York Springer US 01.06.2022Vydané v Autonomous robots (01.06.2022)“… path’s computation in complex environments. Nonetheless, environment exploration is subject to rules which can be obtained by domain experts and could be used for improving the search…”
Získať plný text
Journal Article -
13
Answer Set Programming Modulo Theories
ISBN: 1339728745, 9781339728742Vydavateľské údaje: ProQuest Dissertations & Theses 01.01.2016“… Answer Set Programming is a widely-used knowledge representation framework that is well-suited for such reasoning tasks and has been successfully applied to practical domains due to efficient…”
Získať plný text
Dissertation -
14
Digital forensics and investigations meet artificial intelligence
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.07.2019Vydané v Annals of mathematics and artificial intelligence (01.07.2019)“… – and in particular the Answer Set Programming (ASP) approach — to the automation of evidence analysis…”
Získať plný text
Journal Article -
15
Dominating Set Reconfiguration with Answer Set Programming
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 14.08.2024Vydané v arXiv.org (14.08.2024)“… We develop an approach to solve the dominating set reconfiguration problem based on Answer Set Programming (ASP…”
Získať plný text
Paper -
16
Upward refinement operators for conceptual blending in the description logic
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.03.2018Vydané v Annals of mathematics and artificial intelligence (01.03.2018)“…Conceptual blending is a mental process that serves a variety of cognitive purposes, including human creativity. In this line of thinking, human creativity is…”
Získať plný text
Journal Article -
17
Answer Set Programming for Flexible Payroll Management
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 19.03.2024Vydané v arXiv.org (19.03.2024)“… In this paper, we suggest an approach based on a flexible Answer Set Programming (ASP) model and an easy-to-read tabular representation based on the Decision Model and Notation (DMN) standard…”
Získať plný text
Paper -
18
Revising event calculus theories to recover from unexpected observations
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.02.2021Vydané v Annals of mathematics and artificial intelligence (01.02.2021)“…Recent extensions of the Event Calculus resulted in powerful formalisms, able to reason about a multitude of commonsense phenomena in causal domains, involving…”
Získať plný text
Journal Article -
19
P-log: refinement and a new coherency condition
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.07.2019Vydané v Annals of mathematics and artificial intelligence (01.07.2019)“…This paper focuses on the investigation and improvement of knowledge representation language P-log that allows for both logical and probabilistic reasoning. We…”
Získať plný text
Journal Article -
20
Data repair of inconsistent nonmonotonic description logic programs
ISSN: 0004-3702, 1872-7921Vydavateľské údaje: Elsevier B.V 01.10.2016Vydané v Artificial intelligence (01.10.2016)“…Combining Description Logic (DL) ontologies and nonmonotonic rules has gained increasing attention in the past decade, due to the growing range of applications…”
Získať plný text
Journal Article

