Marco Maratea
Marco Maratea
dibris.unige.it üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Cmodels-2: SAT-based answer set solver enhanced to non-tight programs
Y Lierler, M Maratea
International Conference on Logic Programming and NonMonotonic Reasoning …, 2004
2102004
Answer set programming based on propositional satisfiability
E Giunchiglia, Y Lierler, M Maratea
Journal of Automated reasoning 36 (4), 345, 2006
1922006
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1462012
Design and results of the fifth answer set programming competition
F Calimeri, M Gebser, M Maratea, F Ricca
Artificial Intelligence 231, 151-181, 2016
1082016
SAT-based answer set programming
E Giunchiglia, Y Lierler, M Maratea
AAAI, 61-66, 2004
852004
Solving satisfiability problems with preferences
E Di Rosa, E Giunchiglia, M Maratea
Constraints 15 (4), 485-515, 2010
662010
A SAT-based decision procedure for the boolean combination of difference constraints
A Armando, C Castellini, E Giunchiglia, M Maratea
International Conference on Theory and Applications of Satisfiability …, 2004
662004
A multi-engine approach to answer-set programming
M Maratea, L Pulina, F Ricca
Theory and Practice of Logic Programming 14 (6), 841-868, 2014
592014
Planning as satisfiability with preferences
E Giunchiglia, M Maratea
AAAI, 987-992, 2007
582007
Evaluating search heuristics and optimization techniques in propositional satisfiability
E Giunchiglia, M Maratea, A Tacchella, D Zambonin
International Joint Conference on Automated Reasoning, 347-363, 2001
572001
The sixth answer set programming competition
M Gebser, M Maratea, F Ricca
Journal of Artificial Intelligence Research 60, 41-95, 2017
542017
Dependent and independent variables in propositional satisfiability
E Giunchiglia, M Maratea, A Tacchella
European Workshop on Logics in Artificial Intelligence, 296-307, 2002
502002
Solving optimization problems with DLL
E Giunchiglia, M Maratea
ECAI 141, 377-381, 2006
472006
Systems, engineering environments, and competitions
Y Lierler, M Maratea, F Ricca
AI Magazine 37 (3), 45-52, 2016
412016
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
M Maratea, F Ricca, W Faber, N Leone
Journal of Algorithms 63 (1-3), 70-89, 2008
402008
Evaluation Techniques and Systems for Answer Set Programming: a Survey.
M Gebser, N Leone, M Maratea, S Perri, F Ricca, T Schaub
IJCAI 18, 5450-5456, 2018
382018
The design of the sixth answer set programming competition
M Gebser, M Maratea, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
382015
What’s hot in the answer set programming competition
M Gebser, M Maratea, F Ricca
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
362016
On the relation between answer set and SAT procedures (or, between cmodels and smodels)
E Giunchiglia, M Maratea
International Conference on Logic Programming, 37-51, 2005
352005
ASP-Core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
Theory and Practice of Logic Programming 20 (2), 294-309, 2020
332020
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20