Search

Your search keyword '"Gavanelli, Marco"' showing total 338 results
Start Over Author "Gavanelli, Marco"

Refine your results

more »

more »

more »

more »
338 results on '"Gavanelli, Marco"'

2. Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling

Author

Cappanera, Paola, Gavanelli, Marco, Nonato, Maddalena, and Roma, Marco

Subjects
Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
Abstract

In Answer Set Programming (ASP), the user can define declaratively a problem and solve it with efficient solvers; practical applications of ASP are countless and several constraint problems have been successfully solved with ASP. On the other hand, solution time usually grows in a superlinear way (often, exponential) with respect to the size of the instance, which is impractical for large instances. A widely used approach is to split the optimization problem into sub-problems that are solved in sequence, some committing to the values assigned by others, and reconstructing a valid assignment for the whole problem by juxtaposing the solutions of the single sub-problems. On the one hand this approach is much faster, due to the superlinear behavior; on the other hand, it does not provide any guarantee of optimality: committing to the assignment of one sub-problem can rule out the optimal solution from the search space. In other research areas, Logic-Based Benders Decomposition (LBBD) proved effective; in LBBD, the problem is decomposed into a Master Problem (MP) and one or several Sub-Problems (SP). The solution of the MP is passed to the SPs, that can possibly fail. In case of failure, a no-good is returned to the MP, that is solved again with the addition of the new constraint. The solution process is iterated until a valid solution is obtained for all the sub-problems or the MP is proven infeasible. The obtained solution is provably optimal under very mild conditions. In this paper, we apply for the first time LBBD to ASP, exploiting an application in health care as case study. Experimental results show the effectiveness of the approach. We believe that the availability of LBBD can further increase the practical applicability of ASP technologies., Comment: 17 pages, 4 figures and 2 listings. International Conference on Logic Programming and to appear on Theory and Practice of Logic Programming

Published
2023

3. Modeling opinion polarization on social media: application to Covid-19 vaccination hesitancy in Italy

Author

Franceschi, Jonathan, Pareschi, Lorenzo, Bellodi, Elena, Gavanelli, Marco, and Bresadola, Marco

Subjects
Computer Science - Social and Information Networks, Physics - Physics and Society
Abstract

The SARS-CoV-2 pandemic reminded us how vaccination can be a divisive topic on which the public conversation is permeated by misleading claims, and thoughts tend to polarize, especially on online social networks. In this work, motivated by recent natural language processing techniques to systematically extract and quantify opinions from text messages, we present a differential framework for bivariate opinion formation dynamics that is coupled with a compartmental model for fake news dissemination. Thanks to a mean-field analysis we demonstrate that the resulting Fokker-Planck system permits to reproduce bimodal distributions of opinions as observed in polarization dynamics. The model is then applied to sentiment analysis data from social media platforms in Italy, in order to analyze the evolution of opinions about Covid-19 vaccination. We show through numerical simulations that the model is capable to describe correctly the formation of the bimodal opinion structure observed in the vaccine-hesitant dataset, which is witness of the known polarization effects that happen within closed online communities.

Published
2023

4. Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

Author

Bellodi, Elena, Gavanelli, Marco, Zese, Riccardo, Lamma, Evelina, and Riguzzi, Fabrizio

Subjects
Computer Science - Artificial Intelligence
Abstract

Uncertain information is being taken into account in an increasing number of application fields. In the meantime, abduction has been proved a powerful tool for handling hypothetical reasoning and incomplete knowledge. Probabilistic logical models are a suitable framework to handle uncertain information, and in the last decade many probabilistic logical languages have been proposed, as well as inference and learning systems for them. In the realm of Abductive Logic Programming (ALP), a variety of proof procedures have been defined as well. In this paper, we consider a richer logic language, coping with probabilistic abduction with variables. In particular, we consider an ALP program enriched with integrity constraints `a la IFF, possibly annotated with a probability value. We first present the overall abductive language, and its semantics according to the Distribution Semantics. We then introduce a proof procedure, obtained by extending one previously presented, and prove its soundness and completeness., Comment: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages

Published
2021
Full Text
View/download PDF

5. A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities

Author

Cappanera, Paola, Gavanelli, Marco, Nonato, Maddalena, Roma, Marco, Vigo, Daniele, Editor-in-Chief, Agnetis, Alessandro, Series Editor, Amaldi, Edoardo, Series Editor, Guerriero, Francesca, Series Editor, Lucidi, Stefano, Series Editor, Messina, Enza, Series Editor, Sforza, Antonio, Series Editor, Amorosi, Lavinia, editor, Dell’Olmo, Paolo, editor, and Lari, Isabella, editor

Published
2022
Full Text
View/download PDF

6. Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)

Author

Gavanelli, Marco, Nonato, Maddalena, Peano, Andrea, and Bertozzi, Davide

Subjects
Computer Science - Artificial Intelligence
Abstract

One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networks-on-Chip (ONoCs). Among them, wavelength routing can be used to route a signal to destination by univocally associating a routing path to the wavelength of the optical carrier. Such wavelengths should be chosen so to minimize interferences among optical channels and to avoid routing faults. As a result, physical parameter selection of such networks requires the solution of complex constrained optimization problems. In previous work, published in the proceedings of the International Conference on Computer-Aided Design, we proposed and solved the problem of computing the maximum parallelism obtainable in the communication between any two endpoints while avoiding misrouting of optical signals. The underlying technology, only quickly mentioned in that paper, is Answer Set Programming (ASP). In this work, we detail the ASP approach we used to solve such problem. Another important design issue is to select the wavelengths of optical carriers such that they are spread across the available spectrum, in order to reduce the likelihood that, due to imperfections in the manufacturing process, unintended routing faults arise. We show how to address such problem in Constraint Logic Programming on Finite Domains (CLP(FD)). This paper is under consideration for possible publication on Theory and Practice of Logic Programming., Comment: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. 16 pages, LaTeX, 5 figures

Published
2017

7. Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints

Author

Bellodi, Elena, Bertagnon, Alessandro, Gavanelli, Marco, Zese, Riccardo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Baldoni, Matteo, editor, and Bandini, Stefania, editor

Published
2021
Full Text
View/download PDF

9. Multi-Criteria Optimal Planning for Energy Policies in CLP

Author

Gavanelli, Marco, Bragaglia, Stefano, Milano, Michela, Chesani, Federico, Marengo, Elisa, and Cagnoli, Paolo

Subjects
Computer Science - Artificial Intelligence
Abstract

In the policy making process a number of disparate and diverse issues such as economic development, environmental aspects, as well as the social acceptance of the policy, need to be considered. A single person might not have all the required expertises, and decision support systems featuring optimization components can help to assess policies. Leveraging on previous work on Strategic Environmental Assessment, we developed a fully-fledged system that is able to provide optimal plans with respect to a given objective, to perform multi-objective optimization and provide sets of Pareto optimal plans, and to visually compare them. Each plan is environmentally assessed and its footprint is evaluated. The heart of the system is an application developed in a popular Constraint Logic Programming system on the Reals sort. It has been equipped with a web service module that can be queried through standard interfaces, and an intuitive graphic user interface., Comment: Accepted at ICLP2014 Conference as Technical Communication, due to appear in Theory and Practice of Logic Programming (TPLP)

Published
2014

11. Geometric reasoning on the euclidean traveling salesperson problem in answer set programming1

Author

Bertagnon, Alessandro and Gavanelli, Marco

Abstract

The Traveling Salesperson Problem (TSP) is one of the best-known problems in computer science. Many instances and real world applications fall into the Euclidean TSP special case, in which each node is identified by its coordinates on the plane and the Euclidean distance is used as cost function. It is worth noting that in the Euclidean TSP more information is available than in the general case; in a previous publication, the use of geometric information has been exploited to speedup TSP solving for Constraint Logic Programming (CLP) solvers. In this work, we study the applicability of geometric reasoning to the Euclidean TSP in the context of an ASP computation. We compare experimentally a classical ASP approach to the TSP and the effect of the reasoning based on geometric properties. We also compare the speedup of the additional filtering based on geometric information on an ASP solver and a CLP on Finite Domain (CLP(FD)) solver.

Published
2024
Full Text
View/download PDF

12. Optimal Placement of Valves in a Water Distribution Network with CLP(FD)

Author

Cattafi, Massimiliano, Gavanelli, Marco, Nonato, Maddalena, Alvisi, Stefano, and Franchini, Marco

Subjects
Computer Science - Logic in Computer Science, D.1.6, G.1.6
Abstract

This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard combinatorial problem. This application deals with one aspect of the design of a water distribution network, i.e., the valve isolation system design. We take the formulation of the problem by Giustolisi and Savic (2008) and show how, thanks to constraint propagation, we can get better solutions than the best solution known in the literature for the Apulian distribution network. We believe that the area of the so-called hydroinformatics can benefit from the techniques developed in Constraint Logic Programming and possibly from other areas of logic programming, such as Answer Set Programming., Comment: Best paper award at the 27th International Conference on Logic Programming - ICLP 2011; Theory and Practice of Logic Programming, (ICLP'11) Special Issue, volume 11, issue 4-5, 2011

Published
2011
Full Text
View/download PDF

13. Logic-Based Decision Support for Strategic Environmental Assessment

Author

Gavanelli, Marco, Riguzzi, Fabrizio, Milano, Michela, and Cagnoli, Paolo

Subjects
Computer Science - Artificial Intelligence, J.2, I.2.1, I.2.4, I.2.5
Abstract

Strategic Environmental Assessment is a procedure aimed at introducing systematic assessment of the environmental effects of plans and programs. This procedure is based on the so-called coaxial matrices that define dependencies between plan activities (infrastructures, plants, resource extractions, buildings, etc.) and positive and negative environmental impacts, and dependencies between these impacts and environmental receptors. Up to now, this procedure is manually implemented by environmental experts for checking the environmental effects of a given plan or program, but it is never applied during the plan/program construction. A decision support system, based on a clear logic semantics, would be an invaluable tool not only in assessing a single, already defined plan, but also during the planning process in order to produce an optimized, environmentally assessed plan and to study possible alternative scenarios. We propose two logic-based approaches to the problem, one based on Constraint Logic Programming and one on Probabilistic Logic Programming that could be, in the future, conveniently merged to exploit the advantages of both. We test the proposed approaches on a real energy plan and we discuss their limitations and advantages., Comment: 17 pages, 1 figure, 26th Int'l. Conference on Logic Programming (ICLP'10)

Published
2010
Full Text
View/download PDF

15. Dischargeable Obligations in Abductive Logic Programming

Author

Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio, Zese, Riccardo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Costantini, Stefania, editor, Franconi, Enrico, editor, Van Woensel, William, editor, Kontchakov, Roman, editor, Sadri, Fariba, editor, and Roman, Dumitru, editor

Published
2017
Full Text
View/download PDF

16. Abductive Logic Programming for Normative Reasoning and Ontologies

Author

Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio, Bellodi, Elena, Riccardo, Zese, Cota, Giuseppe, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Otake, Mihoko, editor, Kurahashi, Setsuya, editor, Ota, Yuiko, editor, Satoh, Ken, editor, and Bekki, Daisuke, editor

Published
2017
Full Text
View/download PDF

17. A CHR-based Implementation of Known Arc-Consistency

Author

Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, and Milano, Michela

Subjects
Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
Abstract

In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in systems interacting with an external environment, acquiring the whole domains of variables before the beginning of constraint propagation may cause waste of computation time, or even obsolescence of the acquired data at the time of use. For such cases, the Interactive Constraint Satisfaction Problem (ICSP) model has been proposed as an extension of the CSP model, to make it possible to start constraint propagation even when domains are not fully known, performing acquisition of domain elements only when necessary, and without the need for restarting the propagation after every acquisition. In this paper, we show how a solver for the two sorted CLP language, defined in previous work, to express ICSPs, has been implemented in the Constraint Handling Rules (CHR) language, a declarative language particularly suitable for high level implementation of constraint solvers., Comment: 22 pages, 2 figures, 1 table To appear in Theory and Practice of Logic Programming (TPLP)

Published
2004

19. Geometric reasoning on the euclidean traveling salesperson problem in answer set programming1.

Author

Bertagnon, Alessandro and Gavanelli, Marco

Subjects
*COST functions, *CONSTRAINT programming, *LOGIC programming, *EUCLIDEAN distance, *COMPUTER science
Abstract

The Traveling Salesperson Problem (TSP) is one of the best-known problems in computer science. Many instances and real world applications fall into the Euclidean TSP special case, in which each node is identified by its coordinates on the plane and the Euclidean distance is used as cost function. It is worth noting that in the Euclidean TSP more information is available than in the general case; in a previous publication, the use of geometric information has been exploited to speedup TSP solving for Constraint Logic Programming (CLP) solvers. In this work, we study the applicability of geometric reasoning to the Euclidean TSP in the context of an ASP computation. We compare experimentally a classical ASP approach to the TSP and the effect of the reasoning based on geometric properties. We also compare the speedup of the additional filtering based on geometric information on an ASP solver and a CLP on Finite Domain (CLP(FD)) solver. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

20. Geometric reasoning on the euclidean traveling salesperson problem in answer set programming1.

Author

Bertagnon, Alessandro and Gavanelli, Marco

Subjects
COST functions, CONSTRAINT programming, LOGIC programming, EUCLIDEAN distance, COMPUTER science
Abstract

The Traveling Salesperson Problem (TSP) is one of the best-known problems in computer science. Many instances and real world applications fall into the Euclidean TSP special case, in which each node is identified by its coordinates on the plane and the Euclidean distance is used as cost function. It is worth noting that in the Euclidean TSP more information is available than in the general case; in a previous publication, the use of geometric information has been exploited to speedup TSP solving for Constraint Logic Programming (CLP) solvers. In this work, we study the applicability of geometric reasoning to the Euclidean TSP in the context of an ASP computation. We compare experimentally a classical ASP approach to the TSP and the effect of the reasoning based on geometric properties. We also compare the speedup of the additional filtering based on geometric information on an ASP solver and a CLP on Finite Domain (CLP(FD)) solver. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

23. A Mechatronic Cardiovascular Simulation System for Jugular Venous Echo-Doppler Training

Author

Proto, Antonino, primary, Cavalieri, Andrea, additional, Gadda, Giacomo, additional, Taibi, Angelo, additional, Astolfi, Luca, additional, Bonfè, Marcello, additional, Bertagnon, Alessandro, additional, Nonato, Maddalena, additional, Gavanelli, Marco, additional, Cristofori, Giulia, additional, D’Antona, Andrea, additional, and Farsoni, Saverio, additional

Published
2023
Full Text
View/download PDF

24. Deon + : Abduction and Constraints for Normative Reasoning

Author

Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Artikis, Alexander, editor, Craven, Robert, editor, Kesim Çiçekli, Nihan, editor, Sadighi, Babak, editor, and Stathis, Kostas, editor

Published
2012
Full Text
View/download PDF

25. Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events

Author

Gavanelli, Marco, Nonato, Maddalena, Peano, Andrea, Alvisi, Stefano, Franchini, Marco, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hao, Jin-Kao, editor, and Middendorf, Martin, editor

Published
2012
Full Text
View/download PDF

26. An Application of Fuzzy Logic to Strategic Environmental Assessment

Author

Gavanelli, Marco, Riguzzi, Fabrizio, Milano, Michela, Sottara, Davide, Cangini, Alessandro, Cagnoli, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Pirrone, Roberto, editor, and Sorbello, Filippo, editor

Published
2011
Full Text
View/download PDF

27. Constraint Logic Programming

Author

Gavanelli, Marco, Rossi, Francesca, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dovier, Agostino, editor, and Pontelli, Enrico, editor

Published
2010
Full Text
View/download PDF

28. Integration of Abductive Reasoning and Constraint Optimization in SCIFF

Author

Gavanelli, Marco, Alberti, Marco, Lamma, Evelina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hill, Patricia M., editor, and Warren, David S., editor

Published
2009
Full Text
View/download PDF

31. Verification from Declarative Specifications Using Logic Programming

Author

Montali, Marco, Torroni, Paolo, Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Garcia de la Banda, Maria, editor, and Pontelli, Enrico, editor

Published
2008
Full Text
View/download PDF

34. A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Marchiori, Massimo, editor, Pan, Jeff Z., editor, and Marie, Christian de Sainte, editor

Published
2007
Full Text
View/download PDF

35. Web Service Contracting: Specification and Reasoning with SCIFF

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Franconi, Enrico, editor, Kifer, Michael, editor, and May, Wolfgang, editor

Published
2007
Full Text
View/download PDF

36. The Log-Support Encoding of CSP into SAT

Author

Gavanelli, Marco, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Bessière, Christian, editor

Published
2007
Full Text
View/download PDF

37. A Verifiable Logic-Based Agent Architecture

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Esposito, Floriana, editor, Raś, Zbigniew W., editor, Malerba, Donato, editor, and Semeraro, Giovanni, editor

Published
2006
Full Text
View/download PDF

38. Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Storari, Sergio, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bravetti, Mario, editor, Núñez, Manuel, editor, and Zavattaro, Gianluigi, editor

Published
2006
Full Text
View/download PDF

39. Security Protocols Verification in Abductive Logic Programming: A Case Study

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Dikenelli, Oğuz, editor, Gleizes, Marie-Pierre, editor, and Ricci, Alessandro, editor

Published
2006
Full Text
View/download PDF

40. Specification and Verification of Agent Interaction Using Abductive Reasoning

Author

Chesani, Federico, Gavanelli, Marco, Alberti, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Toni, Francesca, editor, and Torroni, Paolo, editor

Published
2006
Full Text
View/download PDF

41. The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Priami, Corrado, editor, and Quaglia, Paola, editor

Published
2005
Full Text
View/download PDF

42. The SCIFF Abductive Proof-Procedure

Author

Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Bandini, Stefania, editor, and Manzoni, Sara, editor

Published
2005
Full Text
View/download PDF

43. An Abductive Framework for Information Exchange in Multi-agent Systems

Author

Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Dix, Jürgen, editor, and Leite, João, editor

Published
2005
Full Text
View/download PDF

45. A Social ACL Semantics by Deontic Constraints

Author

Alberti, Marco, Ciampolini, Anna, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Mařík, Vladimír, editor, Pěchouček, Michal, editor, and Müller, Jörg, editor

Published
2003
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results