Zobrazeno 1 - 10
of 157
pro vyhledávání: '"De Angelis, Emanuele"'
Assumption-based Argumentation (ABA) is advocated as a unifying formalism for various forms of non-monotonic reasoning, including logic programming. It allows capturing defeasible knowledge, subject to argumentative debate. While, in much existing wo
Externí odkaz:
http://arxiv.org/abs/2408.10126
Catamorphisms are functions that are recursively defined on list and trees and, in general, on Algebraic Data Types (ADTs), and are often used to compute suitable abstractions of programs that manipulate ADTs. Examples of catamorphisms include functi
Externí odkaz:
http://arxiv.org/abs/2408.06988
Autor:
De Angelis, Emanuele, K, Hari Govind V
Publikováno v:
EPTCS 402, 2024, pp. 83-104
CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, Fra
Externí odkaz:
http://arxiv.org/abs/2404.14923
Publikováno v:
EPTCS 385, 2023, pp. 1-8
Recently, ABA Learning has been proposed as a form of symbolic machine learning for drawing Assumption-Based Argumentation frameworks from background knowledge and positive and negative examples. We propose a novel method for implementing ABA Learnin
Externí odkaz:
http://arxiv.org/abs/2308.15877
We address the problem of checking the satisfiability of a set of constrained Horn clauses (CHCs) possibly including more than one query. We propose a transformation technique that takes as input a set of CHCs, including a set of queries, and returns
Externí odkaz:
http://arxiv.org/abs/2211.15207
Autor:
De Angelis, Emanuele, K, Hari Govind V
Publikováno v:
EPTCS 373, 2022, pp. 44-62
CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, German
Externí odkaz:
http://arxiv.org/abs/2211.12231
Publikováno v:
EPTCS 373, 2022, pp. 23-34
The functional properties of a program are often specified by providing a contract for each of its functions. A contract of a function consists of a pair of formulas, called a precondition and a postcondition, which, respectively, should hold before
Externí odkaz:
http://arxiv.org/abs/2211.12228
Publikováno v:
Theory and Practice of Logic Programming, 22(4), 555-572, July 2022
We address the problem of verifying that the functions of a program meet their contracts, specified by pre/postconditions. We follow an approach based on constrained Horn clauses (CHCs) by which the verification problem is reduced to the problem of c
Externí odkaz:
http://arxiv.org/abs/2205.06236
The topic of this thesis is the feedback stabilization of the attitude of magnetically actuated spacecraft. The use of magnetic coils is an attractive solution for the generation of control torques on small satellites flying inclined low Earth orbits
Externí odkaz:
http://amsdottorato.unibo.it/5510/