关注
Stefania Costantini
Stefania Costantini
Professor of Computer Science, University of L'Aquila, Italy
在 univaq.it 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
A logic programming language for multi-agent systems
S Costantini, A Tocchio
European Workshop on Logics in Artificial Intelligence, 1-13, 2002
1472002
The DALI logic programming agent-oriented language
S Costantini, A Tocchio
European workshop on logics in artificial intelligence, 685-688, 2004
1232004
Semantics of a metalogic programming language
S Costantini
International Journal of Foundations of Computer Science 1 (03), 233-247, 1990
931990
Meta-reasoning: A survey
S Costantini
Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002
852002
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
822008
Digital forensics and investigations meet artificial intelligence
S Costantini, G De Gasperis, R Olivieri
Annals of Mathematics and Artificial Intelligence 86 (1), 193-229, 2019
762019
About declarative semantics of logic-based agent languages
S Costantini, A Tocchio
International Workshop on Declarative Agent Languages and Technologies, 106-123, 2005
632005
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
452006
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
Reflection principles in computational logic
J Barklund, P Dell'Acqua, S Costantini, GA Lanzarone
Journal of Logic and Computation 10 (6), 743-786, 2000
422000
A metalogic programming approach: language, semantics and applications
S Costantini, GA Lanzarone
Journal of Experimental & Theoretical Artificial Intelligence 6 (3), 239-287, 1994
421994
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
341995
Answer set programming with resources
S Costantini, A Formisano
Journal of Logic and Computation 20 (2), 533-571, 2010
312010
Answer set modules for logical agents
S Costantini
International Datalog 2.0 Workshop, 37-58, 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
292016
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
Knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments
S Costantini
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
262015
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
系统目前无法执行此操作,请稍后再试。
文章 1–20