Evelina Lamma - Concepedia

Author

Evelina Lamma

Also Known As

E Lamma, E. Lamma, EVELINA LAMMA, Evelina Lamma, LAMMA, Evelina, Lamma E., Lamma Evelina, Lamma, Evelina, Lamma, E, Lamma, Evelina

312

Publications

2.9K

Citations

H-Index

102

Concepts

All Affiliations

University of Ferrara University of Bologna Universidade Nova de Lisboa

About

Evelina Lamma is an author at University of Ferrara specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	34	1.1K
2	Business	3	3	66
3	Health Sciences	2	2	37
4	Language Studies	2	2	78
5	Management	1	1	10

Evelina Lamma

Publications

1.6K

Citations

H-Index

Page 1

	Year	Citations
Verifiable agent interaction in abductive logic programming Marco Alberti, Federico Chesani, Marco Gavanelli, ACM Transactions on Computational Logic Computational LogicAbductionEngineeringOperational SemanticsSciff Language	2008	156
Modularity in Logic Programming Michele Bugliesi, Evelina Lamma, Paola Mello The Journal of Logic Programming EngineeringAutomated ReasoningPropositional LogicFormal MethodsComputer Science	1994	121
COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL Marco Alberti, Marco Gavanelli, Evelina Lamma, Applied Artificial Intelligence EngineeringVerificationSoftware EngineeringAgent Communication LanguageSoftware Analysis	2006	68
Probabilistic Description Logics under the distribution semantics Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Semantic Web EngineeringAlgorithm BundleSemanticsSemantic WebUncertain Information	2015	65
Specification and verification of agent interaction protocols in a logic-based system Marco Alberti, Davide Daolio, Paolo Torroni, EngineeringInformation SecurityVerificationAgent Communication LanguageFormal Verification	2004	64
Constraint Propagation and Value Acquisition: Why we should do it Interactively Evelina Lamma, Paola Mello, Michela Milano,	1999	51
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate Anna Ciampolini, Evelina Lamma, Paola Mello, Annals of Mathematics and Artificial Intelligence	2003	47
Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem Alberto Caprara, Filippo Focacci, Evelina Lamma, Software Practice and Experience Mathematical ProgrammingArtificial IntelligenceEngineeringCrew Rostering ProblemIntelligent Systems	1998	42
Mapping deontic operators to abductive expectations Marco Alberti, Marco Gavanelli, Evelina Lamma, Computational and Mathematical Organization Theory EngineeringEntropyIntegrable ProbabilityDeontic OperatorsProbability Theory	2006	41
Artificial Intelligence Techniques for Monitoring Dangerous Infections Evelina Lamma, Paola Mello, Anna Nanetti, IEEE Transactions on Information Technology in Biomedicine	2006	39

Page 1