Остановите войну!
for scientists:
default search action
Massimiliano Giacomin
- > Home > Persons > Massimiliano Giacomin
Publications
- 2020
- [c54]Tobia Zanetti, Massimiliano Giacomin, Mauro Vallati, Federico Cerutti:
An Efficient Algorithm for Admissible Argumentation Stages. AI³@AI*IA 2020: 45-59 - [c53]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Tobia Zanetti:
An Efficient Algorithm for Semi-stable Extensions. AI*IA 2020: 117-135 - 2019
- [j30]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
How we designed winning algorithms for abstract argumentation and which insight we attained. Artif. Intell. 276: 1-40 (2019) - [j29]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Predictive models and abstract argumentation: the case of high-complexity semantics. Knowl. Eng. Rev. 34: e6 (2019) - 2018
- [j25]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
On the impact of configuration on abstract argumentation automated reasoning. Int. J. Approx. Reason. 92: 120-138 (2018) - [c49]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. COMMA 2018: 459-460 - 2017
- [j22]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT. Int. J. Artif. Intell. Tools 26(2): 1750002:1-1750002:26 (2017) - [c47]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
On the Combination of Argumentation Solvers into Parallel Portfolios. Australasian Conference on Artificial Intelligence 2017: 315-327 - 2016
- [c43]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. COMMA 2016: 199-206 - [c42]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems. COMMA 2016: 207-218 - [c41]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
Efficient and Off-The-Shelf Solver: jArgSemSAT. COMMA 2016: 465-466 - [c40]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
Generating Structured Argumentation Frameworks: AFBenchGen2. COMMA 2016: 467-468 - [c39]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. ECAI 2016: 966-973 - [c37]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks. KR 2016: 541-544 - [i4]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation. CoRR abs/1612.07589 (2016) - 2015
- [c36]Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation. AAAI 2015: 1475-1481 - 2014
- [c29]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
Algorithm Selection for Preferred Extensions Enumeration. COMMA 2014: 221-232 - [c28]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
ArgSemSAT: Solving Argumentation Problems Using SAT. COMMA 2014: 455-456 - [c27]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
Generating Challenging Benchmark AFs. COMMA 2014: 457-458 - [c26]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Argumentation Frameworks Features: an Initial Study. ECAI 2014: 1117-1118 - [c25]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: a Performance Overview. DARe@ECAI 2014 - [c23]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella:
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. KR 2014 - [i2]Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report. CoRR abs/1411.2800 (2014) - 2013
- [c21]Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, Mauro Vallati:
Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach. TAFA 2013: 176-193 - [i1]Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, Mauro Vallati:
Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach. CoRR abs/1310.4986 (2013)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint