Splitting a Hybrid ASP Program
نویسندگان
چکیده
منابع مشابه
Hybrid ASP
This paper introduces an extension of Answer Set Programming (ASP) called Hybrid ASP which will allow the user to reason about dynamical systems that exhibit both discrete and continuous aspects. The unique feature of Hybrid ASP is that it allows the use of ASP type rules as controls for when to apply algorithms to advance the system to the next position. That is, if the prerequisites of a rule...
متن کاملSplitting a Logic Program
In many cases a logic program can be divided into two parts so that one of them the bottom part does not refer to the predicates de ned in the top part The bottom rules can be used then for the evaluation of the predicates that they de ne and the computed values can be used to sim plify the top de nitions We discuss this idea of splitting a program in the context of the answer set semantics The...
متن کاملSplitting a CR-Prolog Program
CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is based on the introduction in A-Prolog of consistency-restoring rules (cr-rules for short), and allows an elegant formalization of events or exceptions that are unlikely, unusual, or undesired. The flexibility of the language has been extensively demonstra...
متن کاملSplitting a Logic Program Revisited
Lifschitz and Turner introduced the notion of the splitting set and provided a method to divide a logic program into two parts. They showed that the task of computing the answer sets of the program can be converted into the tasks of computing the answer sets of these parts. However, the empty set and the set of all atoms are the only two splitting sets for many programs, then these programs can...
متن کاملInventory Cost Evaluation Under VMI Program with Lot Splitting
This paper aims to evaluate inventory cost of a Two-echelon serial supply chain system under vendor managed inventory program with stochastic demand, and examine the effect of environmental factors on the cost of overall system. For this purpose, we consider a two-echelon serial supply chain with a manufacturer and a retailer. Under Vendor managed inventory program, the decision on inventory ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.325.8