Follow
Stefania Costantini
Stefania Costantini
Professor of Computer Science, University of L'Aquila, Italy
Verified email at univaq.it - Homepage
Title
Cited by
Cited by
Year
A logic programming language for multi-agent systems
S Costantini, A Tocchio
European Workshop on Logics in Artificial Intelligence, 1-13, 2002
1452002
The DALI logic programming agent-oriented language
S Costantini, A Tocchio
European workshop on logics in artificial intelligence, 685-688, 2004
1192004
Semantics of a metalogic programming language
S Costantini
International Journal of Foundations of Computer Science 1 (03), 233-247, 1990
921990
Meta-reasoning: A survey
S Costantini
Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002
842002
DALICA: Agent-based ambient intelligence for cultural-heritage scenarios
S Costantini, L Mostarda, A Tocchio, P Tsintza
IEEE Intelligent Systems 23 (2), 34-41, 2008
752008
Digital forensics and investigations meet artificial intelligence
S Costantini, G De Gasperis, R Olivieri
Annals of Mathematics and Artificial Intelligence 86 (1-3), 193-229, 2019
702019
About declarative semantics of logic-based agent languages
S Costantini, A Tocchio
International Workshop on Declarative Agent Languages and Technologies, 106-123, 2005
612005
Modeling preferences and conditional preferences on resource consumption and production in ASP
S Costantini, A Formisano
Journal of Algorithms 64 (1), 3-15, 2009
442009
On the existence of stable models of non-stratified logic programs
S Costantini
Theory and Practice of Logic Programming 6 (1-2), 169-212, 2006
442006
A metalogic programming approach: language, semantics and applications
S Costantini, GA Lanzarone
Journal of Experimental & Theoretical Artificial Intelligence 6 (3), 239-287, 1994
421994
Reflection principles in computational logic
J Barklund, P Dell'Acqua, S Costantini, GA Lanzarone
Journal of Logic and Computation 10 (6), 743-786, 2000
412000
Towards active logic programming
S Costantini
arXiv preprint arXiv:1403.5508, 2014
342014
Contributions to the stable model semantics of logic programs with negation
S Costantini
Theoretical Computer Science 149 (2), 231-255, 1995
331995
Answer set programming with resources
S Costantini, A Formisano
Journal of Logic and Computation 20 (2), 533-571, 2010
312010
FRIENDLY & KIND with your health: Human-friendly knowledge-intensive dynamic systems for the e-health domain
F Aielli, D Ancona, P Caianiello, S Costantini, G De Gasperis, A Di Marco, ...
Highlights of Practical Applications of Scalable Multi-Agent Systems. The …, 2016
302016
Answer set modules for logical agents
S Costantini
International Datalog 2.0 Workshop, 37-58, 2010
302010
Characterizing and computing stable models of logic programs: the non-stratified case
G Brignoli, S Costantini, O D'Antona, A Provetti
arXiv preprint arXiv:1402.5436, 2014
272014
Extending and implementing RASP
S Costantini, A Formisano, D Petturiti
Fundamenta Informaticae 105 (1-2), 1-33, 2010
262010
DALI for cognitive robotics: Principles and prototype implementation
S Costantini, G De Gasperis, G Nazzicone
Practical Aspects of Declarative Languages: 19th International Symposium …, 2017
252017
ACE: a flexible environment for complex event processing in logical agents
S Costantini
International Workshop on Engineering Multi-Agent Systems, 70-91, 2015
252015
The system can't perform the operation now. Try again later.
Articles 1–20