Pushing the Limits of Clingo’s Incremental Grounding and Solving Capabilities in Practical Applications

Autor: Marcello Balduccini, Michael Barborak, David Ferrucci

Publikováno v: Algorithms, Vol 16, Iss 3, p 169 (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 orde

Externí odkaz: https://doaj.org/article/136cb87d6cf44563a832dd3c54eb4e35

Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models

Autor: Lorini, Emiliano, Perrotin-Boithias, Elise, Schwarzentruber, François

Publikováno v: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning
19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)
19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haïfa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩

International audience; We compare the syntactic multi-agent belief base approach, and the dynamic epistemic logic possible world semantic approach. In the belief base approach, the language provides an implicit and an explicit belief operators, plus

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dadce82be52f9cb50484fe71db368687
https://cnrs.hal.science/hal-04047571

Conditional Simple Temporal Networks with Uncertainty and Resources

Autor: Carlo Combi, Luca Viganò, Roberto Posenato, Matteo Zavatteri

Publikováno v: Combi, C, Posenato, R, Vigano, L & Zavatteri, M 2019, ' Conditional Simple Temporal Networks with Uncertainty and Resources ', Journal Artificial Intelligence Research, vol. 64, pp. 931-985 . https://doi.org/10.1613/jair.1.11453

Conditional simple temporal networks with uncertainty (CSTNUs) allow for the representation of temporal plans subject to both conditional constraints and uncertain durations. Dynamic controllability (DC) of CSTNUs ensures the existence of an executio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17409782120d91bad5ebc80297a9476c
https://doi.org/10.1613/jair.1.11453

Inputs, Outputs, and Composition in the Logic of Information Flows

Autor: Heba Aamer, Bart Bogaerts, Eugenia Ternovska, Dimitri Surinx, Jan Van den Bussche

Publikováno v: KR

The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of this paper is to propose semantic and syntactic definitions of inputs an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dc80d839deec9439be7cb11265fedf3
https://hdl.handle.net/20.500.14017/4c54ce12-5f47-45f5-95a8-0d381ad3adf1

Temporal Logic Monitoring Rewards via Transducers

Autor: Marco Favorito, Alessandro Ronca, Fabio Patrizi, Luca Iocchi, Giuseppe De Giacomo

Publikováno v: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning
KR

In Markov Decision Processes (MDPs), rewards are assigned according to a function of the last state and action. This is often limiting, when the considered domain is not naturally Markovian, but becomes so after careful engineering of extended state

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5797a4e49f6ded822b129e4f76f1f375