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
1572005
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
1292003
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
1021999
Concept abduction and contraction in description logics.
S Colucci, T Di Noia, E Di Sciascio, FM Donini, M Mongiello
Description logics, 2003
782003
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
552003
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
551999
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
A uniform tableaux-based approach to concept abduction and contraction in ALN
S Colucci, T Di Noia, E Di Sciascio, FM Donini, M Mongiello
International Workshop on Description Logics, 158-167, 2004
512004
Structured knowledge representation for image retrieval
E Di Sciascio, FM Donini, M Mongiello
Journal of Artificial Intelligence Research 16, 209-257, 2002
512002
Modelling and verification of BPEL business processes
M Mongiello, D Castelluccia
Fourth Workshop on Model-Based Development of Computer-Based Systems and …, 2006
442006
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
402005
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
372002
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
362005
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
332002
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
262006
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