|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta |
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Introducing Preferences in Planning as Satisfiability. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
Look-back Techniques for ASP Programs with Aggregates. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina |
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. |
AI*IA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
Solving satisfiability problems with preferences. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Francesco Ricca, Pierfrancesco Veltri |
DLVMC: Enhanced Model Checking in DLV. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Improving Plan Quality in SAT-Based Planning. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone |
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Nicola Leone, Marco Maratea |
On the relation among answer set solvers. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20 |
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
A new Approach for Solving Satisfiability Problems with Qualitative Preferences. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
Computing All Optimal Solutions in Satisfiability Problems with Preferences. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
Experimenting with Look-Back Heuristics for Hard ASP Programs. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Planning as Satisfiability with Preferences. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea |
Efficient decision procedures for the integration of planning and formal verification in advanced systems. |
AI Commun. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
Answer Set Programming Based on Propositional Satisfiability. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
answer set programming, propositional satisfiability |
| 1 | Enrico Giunchiglia, Marco Maratea |
Solving Optimization Problems with DLL. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
optsat: A Tool for Solving SAT Related Optimization Problems. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea |
TSAT++: an Open Platform for Satisfiability Modulo Theories. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
The SAT-based Approach to Separation Logic. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
SAT-based decision procedures, separation logic |
| 1 | Enrico Giunchiglia, Marco Maratea |
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Marco Maratea |
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
A SAT-based polynomial space algorithm for answer set programming. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
SAT-Based Answer Set Programming. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Lierler, Marco Maratea |
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
Dependent and Independent Variables in Propositional Satisfiability. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin |
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")