×

zbMATH — the first resource for mathematics

Costantini, Stefania

Compute Distance To:
Author ID: costantini.stefania Recent zbMATH articles by "Costantini, Stefania"
Published as: Costantini, S.; Costantini, Stefania; Costantini, Tefania
External Links: ORCID · dblp
Documents Indexed: 34 Publications since 1990, including 2 Books

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 45 times in 23 Documents Cited by Year
Modeling preferences and conditional preferences on resource consumption and production in ASP. Zbl 1182.68037
Costantini, Stefania; Formisano, Andrea
5
2009
On the existence of stable models of non-stratified logic programs. Zbl 1109.68027
Costantini, Stefania
4
2006
Meta-reasoning: A survey. Zbl 1012.68190
Costantini, Stefania
4
2002
Weight constraints with preferences in ASP. Zbl 1327.68061
Costantini, Stefania; Formisano, Andrea
3
2011
Answer set programming with resources. Zbl 1200.68065
Costantini, Stefania; Formisano, Andrea
3
2010
Normal forms for answer sets programming. Zbl 1085.68017
Costantini, Stefania; Provetti, Alessandro
3
2005
Planning experiments in the DALI logic programming language. Zbl 1110.68499
Costantini, Stefania; Tocchio, Arianna
3
2004
A logic programming language for multi-agent systems. Zbl 1014.68530
Costantini, Stefania; Tocchio, Arianna
3
2002
On the equivalence and range of applicability of graph-based representations of logic programs. Zbl 1042.68028
Costantini, Stefania; D’Antona, Ottavio; Provetti, Alessandro
3
2002
Query answering in resource-based answer set semantics. Zbl 1379.68052
Costantini, Stefania; Formisano, Andrea
2
2016
Negation as a resource: a novel view on answer set semantics. Zbl 1352.68036
Costantini, Stefania; Formisano, Andrea
2
2015
Extending and implementing RASP. Zbl 1211.68059
Costantini, Tefania; Formisano, Andrea; Petturiti, Davide
2
2010
Contributions to the stable model semantics of logic programs with negation. Zbl 0874.68193
Costantini, Stefania
2
1995
Digital forensics evidence analysis: an answer set programming approach for generating investigation hypotheses. Zbl 06504236
Costantini, Stefania; De Gasperis, Giovanni; Olivieri, Raffaele
1
2015
Knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments. Zbl 06504235
Costantini, Stefania
1
2015
RASP and ASP as a fragment of linear logic. Zbl 1400.68047
Costantini, Stefania; Formisano, Andrea
1
2013
Strong equivalence of RASP programs. Zbl 1357.68030
Costantini, Stefania; Formisano, Andrea; Pearce, David
1
2012
Reflection principles in computational logic. Zbl 0964.03032
Barklund, Jonas; Dell’Acqua, Pierangelo; Costantini, Stefania; Lanzarone, Gaetano A.
1
2000
A metalogic programming approach: Language, semantics and applications. Zbl 0820.68030
Costantini, Stefania; Lanzarone, Gaetano Aurelio
1
1994
Query answering in resource-based answer set semantics. Zbl 1379.68052
Costantini, Stefania; Formisano, Andrea
2
2016
Negation as a resource: a novel view on answer set semantics. Zbl 1352.68036
Costantini, Stefania; Formisano, Andrea
2
2015
Digital forensics evidence analysis: an answer set programming approach for generating investigation hypotheses. Zbl 06504236
Costantini, Stefania; De Gasperis, Giovanni; Olivieri, Raffaele
1
2015
Knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments. Zbl 06504235
Costantini, Stefania
1
2015
RASP and ASP as a fragment of linear logic. Zbl 1400.68047
Costantini, Stefania; Formisano, Andrea
1
2013
Strong equivalence of RASP programs. Zbl 1357.68030
Costantini, Stefania; Formisano, Andrea; Pearce, David
1
2012
Weight constraints with preferences in ASP. Zbl 1327.68061
Costantini, Stefania; Formisano, Andrea
3
2011
Answer set programming with resources. Zbl 1200.68065
Costantini, Stefania; Formisano, Andrea
3
2010
Extending and implementing RASP. Zbl 1211.68059
Costantini, Tefania; Formisano, Andrea; Petturiti, Davide
2
2010
Modeling preferences and conditional preferences on resource consumption and production in ASP. Zbl 1182.68037
Costantini, Stefania; Formisano, Andrea
5
2009
On the existence of stable models of non-stratified logic programs. Zbl 1109.68027
Costantini, Stefania
4
2006
Normal forms for answer sets programming. Zbl 1085.68017
Costantini, Stefania; Provetti, Alessandro
3
2005
Planning experiments in the DALI logic programming language. Zbl 1110.68499
Costantini, Stefania; Tocchio, Arianna
3
2004
Meta-reasoning: A survey. Zbl 1012.68190
Costantini, Stefania
4
2002
A logic programming language for multi-agent systems. Zbl 1014.68530
Costantini, Stefania; Tocchio, Arianna
3
2002
On the equivalence and range of applicability of graph-based representations of logic programs. Zbl 1042.68028
Costantini, Stefania; D’Antona, Ottavio; Provetti, Alessandro
3
2002
Reflection principles in computational logic. Zbl 0964.03032
Barklund, Jonas; Dell’Acqua, Pierangelo; Costantini, Stefania; Lanzarone, Gaetano A.
1
2000
Contributions to the stable model semantics of logic programs with negation. Zbl 0874.68193
Costantini, Stefania
2
1995
A metalogic programming approach: Language, semantics and applications. Zbl 0820.68030
Costantini, Stefania; Lanzarone, Gaetano Aurelio
1
1994

Citations by Year