Výsledky vyhledávání - "Answer Set Programming"
-
1
Dominating Set Reconfiguration with Answer Set Programming
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.07.2024Vydáno 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ískat plný text
Journal Article -
2
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
ISSN: 1471-0684, 1475-3081, 1475-3081Vydáno: Cambridge Cambridge University Press 01.11.2023Vydáno 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ískat plný text
Journal Article -
3
Multi-Shot Answer Set Programming for Flexible Payroll Management
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.05.2024Vydáno 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ískat plný text
Journal Article -
4
A multiparametric view on answer set programming
ISSN: 1012-2443, 1573-7470Vydáno: Cham Springer International Publishing 01.07.2019Vydáno 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ískat plný text
Journal Article -
5
Train routing in shunting yards using Answer Set Programming
ISSN: 0957-4174, 1873-6793Vydáno: Elsevier Ltd 30.11.2015Vydáno 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ískat plný text
Journal Article -
6
Applications of non-monotonic reasoning to automotive product configuration using answer set programming
ISSN: 0956-5515, 1572-8145Vydáno: New York Springer US 01.03.2019Vydáno 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ískat plný text
Journal Article -
7
Answer Set Programming et interrogation
ISSN: 0992-499X, 1958-5748Vydáno: Edmonton International Information and Engineering Technology Association (IIETA) 01.01.2018Vydáno 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ískat 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-3081Vydáno: Cambridge, UK Cambridge University Press 01.11.2020Vydáno 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ískat plný text
Journal Article -
9
Answer set programming as a modeling language for course timetabling
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.07.2013Vydáno 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ískat 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-7470Vydáno: Cham Springer International Publishing 01.03.2018Vydáno 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ískat plný text
Journal Article -
11
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
ISSN: 1748-7188, 1748-7188Vydáno: London BioMed Central 20.07.2017Vydáno 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ískat 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-7527Vydáno: New York Springer US 01.06.2022Vydáno 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ískat plný text
Journal Article -
13
Answer Set Programming Modulo Theories
ISBN: 1339728745, 9781339728742Vydáno: 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ískat plný text
Dissertation -
14
Digital forensics and investigations meet artificial intelligence
ISSN: 1012-2443, 1573-7470Vydáno: Cham Springer International Publishing 01.07.2019Vydáno 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ískat plný text
Journal Article -
15
Dominating Set Reconfiguration with Answer Set Programming
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 14.08.2024Vydáno v arXiv.org (14.08.2024)“… We develop an approach to solve the dominating set reconfiguration problem based on Answer Set Programming (ASP…”
Získat plný text
Paper -
16
Upward refinement operators for conceptual blending in the description logic
ISSN: 1012-2443, 1573-7470Vydáno: Cham Springer International Publishing 01.03.2018Vydáno 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ískat plný text
Journal Article -
17
Answer Set Programming for Flexible Payroll Management
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 19.03.2024Vydáno 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ískat plný text
Paper -
18
Revising event calculus theories to recover from unexpected observations
ISSN: 1012-2443, 1573-7470Vydáno: Cham Springer International Publishing 01.02.2021Vydáno 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ískat plný text
Journal Article -
19
P-log: refinement and a new coherency condition
ISSN: 1012-2443, 1573-7470Vydáno: Cham Springer International Publishing 01.07.2019Vydáno 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ískat plný text
Journal Article -
20
Data repair of inconsistent nonmonotonic description logic programs
ISSN: 0004-3702, 1872-7921Vydáno: Elsevier B.V 01.10.2016Vydáno 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ískat plný text
Journal Article

