Marina Mongiello
Marina Mongiello
Associate Professor at Politecnico di Bari
Verified email at poliba.it - Homepage
Title
Cited by
Cited by
Year
A system for principled matchmaking in an electronic marketplace
TD Noia, ED Sciascio, FM Donini, M Mongiello
International Journal of Electronic Commerce 8 (4), 9-37, 2004
2462004
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace
S Colucci, T Di Noia, E Di Sciascio, FM Donini, M Mongiello
Electronic Commerce Research and Applications 4 (4), 345-361, 2005
1592005
A formal approach to ontology-based semantic match of skills descriptions
S Colucci, T Di Noia, E Di Sciascio, FM Donini, M Mongiello, M Mottola
J. UCS 9 (12), 1437-1454, 2003
1242003
Abductive matchmaking using description logics
T Di Noia, E Di Sciascio, FM Donini, M Mongiello
IJCAI 3, 337-342, 2003
1062003
Content-based image retrieval over the web using query by sketch and relevance feedback
E Di Sciascio, G Mingolla, M Mongiello
International Conference on Advances in Visual Information Systems, 123-130, 1999
991999
Concept abduction and contraction in description logics.
S Colucci, T Di Noia, E Di Sciascio, FM Donini, M Mongiello
Description logics, 2003
762003
Query by sketch and relevance feedback for content-based image retrieval over the web
E Di Sciascio, M Mongiello
Journal of Visual Languages & Computing 10 (6), 565-584, 1999
561999
Semantic matchmaking in a P-2-P electronic marketplace
TD Noia, ED Sciascio, FM Donini, M Mongiello
Proceedings of the 2003 ACM symposium on Applied computing, 582-586, 2003
532003
Web applications design and maintenance using symbolic model checking
E Di Sciascio, FM Donini, M Mongiello, G Piscitelli
Seventh European Conference onSoftware Maintenance and Reengineering, 2003 …, 2003
522003
Structured knowledge representation for image retrieval
E Di Sciascio, FM Donini, M Mongiello
Journal of Artificial Intelligence Research 16, 209-257, 2002
512002
A uniform tableaux-based approach to concept abduction and contraction in ALN
S Colucci, T Di Noia, E Di Sciascio, F Donini, M Mongiello
International Workshop on Description Logics, 158-167, 2004
502004
Modelling and verification of BPEL business processes
M Mongiello, D Castelluccia
Fourth Workshop on Model-Based Development of Computer-Based Systems and …, 2006
432006
A model checking-based method for verifying web application design
FM Donini, M Mongiello, M Ruta, R Totaro
Electronic Notes in Theoretical Computer Science 151 (2), 19-32, 2006
422006
Intelligent knowledge-based systems: business and technology in the new millennium
CT Leondes
Kluwer Academic, 2005
382005
Spatial layout representation for query-by-sketch content-based image retrieval
E Di Sciascio, FM Donini, M Mongiello
Pattern Recognition Letters 23 (13), 1599-1612, 2002
382002
Design verification of web applications using symbolic model checking
E Di Sciascio, FM Donini, M Mongiello, R Totaro, D Castelluccia
International Conference on Web Engineering, 69-74, 2005
352005
AnWeb: a system for automatic support to web application verification
E Di Sciascio, FM Donini, M Mongiello, G Piscitelli
Proceedings of the 14th international conference on Software engineering and …, 2002
322002
Waver: A model checking-based tool to verify web application design
D Castelluccia, M Mongiello, M Ruta, R Totaro
Electronic notes in theoretical Computer Science 157 (1), 61-76, 2006
242006
A knowledge-based system for person-to-person e-commerce
E Di Sciascio, F Donini, M Mongiello, G Piscitelli
Proceedings of the KI-2001 Workshop on Applications of Description Logics …, 2001
242001
A uniform tableaux-based method for concept abduction and contraction in description logics
S Colucci, TD Noia, ED Sciascio, FM Donini, M Mongiello
Proceedings of the 16th European Conference on Artificial Intelligence, 977-978, 2004
212004
The system can't perform the operation now. Try again later.
Articles 1–20