Address

Contact Information

Phone: +39 0761 357 613

Email: donini@unitus.it

Francesco M. Donini

Full Professor

Publications

LISE: a Logic-based Interactive Similarity Explainer for clusters of RDF data
IEEE Access

DOI: 10.1109/access.2025.3571518

Explaining Commonalities of Clusters of RDF Resources in Natural Language
Proc. of The 27th International Symposium on Methodologies for Intelligent Systems, ISMIS 2024

DOI: 10.1007/978-3-031-62700-2_15

Computing the Commonalities of Clusters in Resource Description Framework: Computational Aspects
Data

DOI: 10.3390/data9100121

A qualitative analysis of knowledge graphs in recommendation scenarios through semantics-aware autoencoders
Journal of Intelligent Information Systems

DOI: 10.1007/s10844-023-00830-z

Irrelevant Explanations: a logical formalization and a case study
CEUR Workshop Proceedings

DOI: 10.1097/01.hj.0000550401.28013.e7

A review of reasoning characteristics of RDF-based Semantic Web systems
WIREs Data Mining and Knowledge Discovery

DOI: 10.1002/widm.1537

On the Relevance of Explanation for RDF Resources Similarity
Proc. of 3rd International workshop on Model-driven Organizational and Business Agility, MOBA 2023

DOI: 10.1007/978-3-031-45010-5_8

Conversational recommendation: Theoretical model and complexity analysis
Information Sciences

DOI: 10.1016/j.ins.2022.07.169

A Business Intelligence Tool for Explaining Similarity
Lecture Notes in Business Information Processing.

DOI: 10.1007/978-3-031-17728-6_5

A Human-readable Explanation for the Similarity of RDF Resources.
CEUR WORKSHOP PROCEEDINGS

DOI: 10.1007/978-3-319-70169-1_18

V-Elliot: Speeding up Visual Recommendation via a GPU-powered Data Input Pipeline
NVIDIA GTC 2022

DOI:

Adherence and Constancy in LIME-RS Explanations for Recommendation
Joint Workshop Proceedings of the 3rd Edition of Knowledge-aware and Conversational Recommender Systems (KaRS) and the 5th Edition of Recommendation in Complex Environments (ComplexRec) co-located with 15th ACM RecSys 2021, Amsterdam, 2021

DOI: ceur-ws.org/Vol-2960/

V-Elliot: Design, Evaluate and Tune Visual Recommender Systems
RecSys 21: Fifteenth ACM Conference on Recommender Systems, Amsterdam, The Netherlands, 2021

DOI: 10.1145/3460231.3478881

How to Perform Reproducible Experiments in the ELLIOT Recommendation Framework: Data Processing, Model Selection, and Performance Evaluation
11th Italian Information Retrieval Workshop 2021, Bari, Italy, 2021

DOI: ceur-ws.org/Vol-2947/

Explanation in Multi-Stakeholder Recommendation for Enterprise Decision Support Systems
Advanced Information Systems Engineering Workshops - CAiSE 2021 International Workshops, Melbourne, VIC, Australia,, 2021

DOI: 10.1007/978-3-030-79022-6_4

Elliot: A Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation
The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, Virtual Event, Canada, 2021

DOI: 10.1145/3404835.3463245

Checking compliance of semantic web applications with RDFS‐semantics
Information Technology Letters

DOI: 10.1002/itl2.87

Logical Comparison over RDF Resources in Bio-Informatics
Journal of Biomedical Informatics

DOI: 10.1016/j.jbi.2017.11.004

Reasoning over RDF Knowledge Bases: where we are
16th International Conference of the Italian Association for Artificial Intelligence

DOI: 10.1007/978-3-319-70169-1_18

A formal model for user-centered adaptive mobile devices
IET Software

DOI: 10.1049/iet-sen.2016.0169

Embedding Semantics in Human Resources Management Automation via SQL
Applied Intelligence

DOI: 10.1007/s10489-016-0868-x

Defining and Computing Least Common Subsumers in RDF
Journal of Web Semantics. Science, Services and Agents on the World Wide Web

DOI: 10.2139/ssrn.3199239

A Logic-based approach to Named-Entity Disambiguation in the Web of Data
Proceedings of the 14th Conference of the Italian Association for Artificial Intelligence

DOI: 10.1007/978-3-319-24309-2_28

Finding Commonalities in Linked Open Data
Proceedings of the 29th Italian Conference on Computational Logic

DOI: 10.1145/1458082.1458190

A deductive approach to the identification and description of clusters in Linked Open Data
Proceedings of the 21th European Conference on Artificial Intelligence (ECAI '14)

DOI: 10.1520/stp32851s

Common Subsumbers in RDF
XIII Conference of the Italian Association for Artificial Intelligence

DOI: 10.1007/978-3-319-03524-6_30

Compiling Subsumption to Relational Databases
Intelligenza Artificiale

DOI: 10.3233/ia-130044

Knowledge Compilation for Core Competence Extraction in Organizations
16th International Conference on Business Information Systems

DOI: 10.1007/978-3-642-38366-3_14

Semantic Web. Tra Ontologie e Open Data

DOI: 10.1007/978-3-319-38791-8_61

Large Scale Skill Matching through Knowledge Compilation
20th International Symposium on Methodologies for Intelligent Systems (ISMIS’12)

DOI: 10.1007/978-3-642-34624-8_23

Multi-attribute Bilateral Negotiation in a Logic-based E-marketplace
Negotiation and Argumentation in Multi-agent Systems

DOI: 10.1109/wi-iat.2009.184

Using Prolog unification to solve non-standard reasoning problems in Description Logics
The 9th Italian Convention on Computational Logic (CILC 2012)

DOI: 10.2498/cit.2003.03.10

Inverting Subsumption for Constructive Reasoning
25th International Workshop on Description Logics (DL 2012)

DOI: 10.1007/978-3-319-70169-1_18

Knowledge compilation for Automated Team Composition exploiting standard SQL
Proceedings of the 27th Annual ACM (SIGAPP) Symposium on Applied Computing

DOI: 10.1145/2245276.2232047

Reasoning in resource-constrained environments: a matchmaking engine over relational Knowledge Bases
Proc. of the 24th Intl. Workshop on Description Logics (DL 2011)

DOI:

Finding Commonalities in RFID Semantic Streams
The 5th International Workshop on RFID Technology Concepts, Applications, Challenges (IWRT 2011)

DOI: 10.1016/j.procs.2011.07.118

Automating Competence Management through non-standard Reasoning
Engineering Applications of Artificial Intelligence

DOI: 10.1016/j.engappai.2011.05.015

A Unified Framework for Non-standard Reasoning Services in Description Logics
19th European Conference on Artificial Intelligence - ECAI 2010

DOI: 10.2498/cit.2003.03.10

Second-Order Description Logics: Semantics, Motivation, and a Calculus
Proc. of the 23rd Intl. Workshop on Description Logics (DL 2010)

DOI: 10.2498/cit.2003.03.10

Weighted Description Logics preference formulas for multiattribute negotiation
third International Conference on Scalable Uncertainty Management (SUM 2009)

DOI: 10.1007/978-3-642-04388-8_16

Computing Information Minimal Match Explanations for Logic-based Matchmaking
2009 IEEE/WIC/ACM International Conference on Web Intelligence and agent Technologies WI/IAT 09

DOI: 10.1109/wi-iat.2009.186

Informative Common Subsumers for Disease Diagonosis
9th International Conference on Knowledge Management I-Know 09

DOI: 10.2139/ssrn.3199239

A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
proc. of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)

DOI: 10.2139/ssrn.3199239

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results
22nd International Workshop on Description Logics (DL 2009)

DOI: 10.1007/978-3-662-49224-6_19

Bargaining agents in wireless contexts: an alternating-offers protocol for multi-issue bilateral negotiation in mobile marketplaces
10th International Conference on Electronic Commerce and Web Technologies (EC-Web 2009)

DOI: 10.1007/978-3-642-03964-5_3

Computing Utility from Weighted Description Logic Preference Formulas
Declarative Agent Languages and Technologies VII

DOI: 10.1007/978-3-642-11355-0_10

A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
proc. of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)

DOI: 10.2139/ssrn.3199239

I.M.P.A.K.T.: an innovative, semantic-based skill management system exploiting standard SQL
11th International Conference on Enterprise Information Systems (ICEIS'09)

DOI:

Semantic-based Automated Evaluation of Company Core Competence
5th Italian Workshop on Semantic Web Applications and Perspectives

DOI: 10.1007/11431053_43

Semantic Matchmaking via Non-Monotonic Reasoning: The MaMaS-tng Matchmaking Engine
Communications of SIWN

DOI: 10.1613/jair.2153

Finding Informative Commonalities in Concept Collections
proc. of ACM 17th Conference on Information and Knowledge Management (CIKM 2008)

DOI: 10.1145/1458082.1458190

A Knowledge-based Solution for Core Competence Evaluation in Human-Capital Intensive Companies
proc. of 8th International Conference on Knowledge Management (I-Know 08)

DOI: 10.4018/978-1-59904-343-2.ch013

A Fuzzy Description Logics approach to Bilateral Matchmaking in Electronic Marketplaces
Proceedings of Sixteenth Italian Symposium on Advanced Database Systems --SEBD '08

DOI: 10.1016/j.fss.2008.07.002

Fuzzy bilateral matchmaking in e-marketplaces
12th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems - KES2008

DOI: 10.1016/j.fss.2008.07.002

Partial and Informative Common Subsumers in Description Logics
proc. of 18th European Conference on Artificial Intelligence (ECAI 2008)

DOI: 10.2139/ssrn.3199239

Abduction and Contraction in Description Logics
Abduction, Revision, Description Logics

DOI: 10.1145/505372.505373

Partial and Informative Common Subsumers of Concepts Collections in Description Logics
Proc. of the 21st Intl. Workshop on Description Logics (DL 2008)

DOI: 10.2139/ssrn.3199239

Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces.
Proc. of the 21st Intl. Workshop on Description Logics (DL 2008)

DOI: 10.1016/j.fss.2008.07.002

Increasing bid expressiveness for effective and balanced e-barter trading
Declarative Agent Languages and Technologies (DALT) VI

DOI: 10.1007/978-3-540-93920-7_9

Logic-based automated multi-issue bilateral negotiation in Peer-to-Peer E-marketplaces
Autonomous Agents and Multi-Agent Systems

DOI: 10.1007/s10458-008-9033-1

Knowledge Representation Tools for Electronic Commerce

DOI: 10.4018/978-1-59904-943-4.ch127

Introduction to the Special Issue: Semantic Matchmaking and Resource Retrieval on the Web
International Journal of Electronic Commerce

DOI: 10.2753/jec1086-4415120200

Extending Propositional Logic with Concrete Domains in Multi-issue Bilateral Negotiation
proc. 5th International Workshop on Declarative Agent Languages and Technologies (DALT 2007)

DOI: 10.1007/978-3-540-77564-5_13

Towards a fuzzy logic for automated multi-issue negotiation
International Symposium on Foundations of Information and Knowledge Systems FoIKS 2008

DOI: 10.1007/978-3-540-77684-0_25

Fuzzy Matchmaking in E-Marketplaces of peer entities using Datalog
Fuzzy Sets and systems

DOI: 10.1016/j.fss.2008.07.002

Semantic-based Bluetooth-RFID interaction for advanced resource discovery in pervasive contexts
International Journal on Semantic Web and Information Systems

DOI: 10.4018/978-1-60566-298-5.ch013

Compilability and Space Efficiency in Knowledge Representation - a retrospective

DOI: 10.1613/jair.664

Proceedings of 1st International Workshop on Semantic Matchmaking and Resource Retrieval: Issues and Perspectives @ VLDB\'06

DOI: 10.1007/978-3-642-33203-6_2

Semantic-based Search Engine for Professional Knowledge
7th International Conference on Knowledge Management I-Know 07

DOI: 10.4018/978-1-59904-343-2.ch013

Automated Building Blocks Selection based on Business Processes Semantics in ERPs
Service Oriented Computing and Applications (SOCA Journal)

DOI: 10.1007/s11761-007-0014-z

Alternating-offers protocol for multi-issue bilateral negotiation in semantic-enabled marketplaces
6th International Semantic Web Conference (ISWC'07)

DOI: 10.1007/978-3-540-76298-0_29

A semantic-based integrated solution to personnel and learning needs
7th International Conference on Knowledge Management I-Know 07

DOI: 10.4018/978-1-59904-343-2.ch013

Measuring Core Competencies in a Clustered Network of Knowledge
Knowledge management: Innovation, technology and cultures

DOI: 10.1142/9789812770592_0024

Semantic-based Skill Management for Automated Task Assignment and Courseware Composition
Journal of Universal Computer Science (J.UCS)

DOI: 10.1007/11431053_43

m-jUDDI+: a Semantic-enabled Service Registry for Discovery, Composition and Substitution in Pervasive Environments
Proc. of 1st International Workshop on OWL-S Experiences and Directions

DOI:

DL-based alternating-offers protocol for automated multi-issue bilateral negotiation
Proc. of the 20th Intl. Workshop on Description Logics (DL'07)

DOI: 10.1007/978-3-642-03964-5_3

Extending Datalog for matchmaking in P2P e-Marketplaces
15th Italian Symposium on Advanced database Systems-- Sistemi Evoluti per Basi di Dati (SEBD-2007)

DOI: 10.1016/j.fss.2008.07.002

Description Logics for multi-issue bilateral negotiation with incomplete information
Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07)

DOI: 10.1007/978-3-540-76298-0_74

Extending Propositional Logic with Concrete Domains in Multi-issue Bilateral Negotiation
proc. 5th International Workshop on Declarative Agent Languages and Technologies (DALT 2007)

DOI: 10.1007/978-3-540-77564-5_13

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Journal of Artificial Intelligence Research (JAIR)

DOI: 10.1613/jair.2153

k-Approximating Circuits.
IEEE Transactions on Computers

DOI: 10.1109/tc.2006.105

Vague Knowledge-bases for Matchmaking in P2P E-Marketplaces
4th European Semantic Web Conference (ESWC 2007)

DOI: 10.1007/978-3-540-72667-8_30

Fully Automated Web Services Discovery and Composition through Concept Covering and Concept Abduction
International Journal of Web Services Research (JWSR)

DOI: 10.4018/jwsr.2007070105

When Price is not enough: Combining Logical and Numerical Issues in Bilateral Negotiation
proc. of International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007)

DOI: 10.1145/1329125.1329154

Semantic Based Collaborative P2P in Ubiquitous Computing
IEEE/WIC/ACM WI-2005 Web Intelligence

DOI: 10.1109/wi.2005.130

Semantic-Enhanced Bluetooth Discovery Protocol for M-Commerce Applications
International Journal of Web and Grid Services

DOI: 10.1504/ijwgs.2006.011713

A Model Checking-based Method for Verifying Web Application Design
Electronic Notes on Theoretical Computer Science

DOI: 10.1016/j.entcs.2005.07.034

Concept Covering for Automated Building Blocks Selection based on Business Processes Semantics
The 8th IEEE Conference on E-Commerce Technology and the 3rd IEEE Conference on Enterprise Computing

DOI: 10.1109/cec-eee.2006.26

A Non-Monotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces
1st International Workshop on Semantic Matchmaking and Resource Retrieval: Issues and Perspectives (SMR 2006)

DOI: 10.2753/jec1086-4415120205

A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
8th International conference on Electronic Commerce, ICEC 06

DOI: 10.1145/1151454.1151489

OwlEd: An Ontology Manager for MaMaS-tng
14th Italian Symposium on ADVANCED DATABASE SYSTEMS Sistemi Evoluti per Basi di Dati (SEBD-2006)

DOI: 10.1109/cisis.2010.145

A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation
17th European Conference on Artificial Intelligence (ECAI 2006)

DOI: 10.1145/1124566.1124569

Explanation Services and Request Refinement in User Friendly Semantic-enabled B2C E-Marketplaces
Data Engineering Issues in E-Commerce and Services (DEECS 2006)

DOI: 10.1007/11780397_2

Advanced Resource Discovery Protocol for Semantic-enabled M-commerce
Encyclopedia of Mobile Computing and Commerce (EMCC)

DOI: 10.4018/978-1-59904-002-8.ch008

Semantic enabled Resource Discovery, Composition and Substitution in Pervasive Environments
13th IEEE MELECON 2006

DOI: 10.1109/melcon.2006.1653209

Complexity of Reasoning

DOI: 10.1017/cbo9780511711787.005

Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3
10th European Conference on Software Maintenance and Reengineering CSMR 06

DOI: 10.1109/csmr.2006.50

Integrated semantic-based composition of skills and learning needs in knowledge-intensive organizations
Competencies in Organizational E-Learning: Concepts and Tools

DOI: 10.4018/978-1-59904-343-2.ch013

A Framework for Content-Based Image Retrieval Fully Exploiting the Semantics of Annotation
Proceedings of the 21th ACM Annual ACM (SIGAPP) Symposium on Applied Computing.

DOI: 10.1145/1141277.1141682

Design verification of web applications using symbolic model checking
Intl. Conf. on Web Engineering 2005 ICWE 05

DOI: 10.1007/11531371_12

Semantic based service discovery in ubiquitous computing
Atti del XLIII Congresso Associazione Italiana per il Calcolo Automatico AICA 05

DOI:

Natural Language Processing for a Semantic Enabled Resource Retrieval Scenario
27th Intl. Conf. on Information Technology Interfaces

DOI: 10.1109/iti.2005.1491159

Semantic-based automated composition of distributed learning objects for personalized e-learning
The Semantic Web: Research and Applications 2nd European Semantic Web Conference ESWC 05

DOI: 10.1007/11431053_43

Automated task-oriented team composition using description logics
5th International Conference on Knowledge Management I-Know 05

DOI: 10.1145/2245276.2232047

Knowledge Elicitation for Query Refinement in a Semantic-Enabled E-Marketplace
7th International Conference on Electronic Commerce ICEC 05 ACM Press

DOI: 10.1145/1089551.1089673

Knowledge Based Approach to Semantic Composition of Teams in an Organization
Proceedings of the 20th Annual ACM (SIGAPP) Symposium on Applied Computing

DOI: 10.1145/1066677.1066974

Automated semantic web services orchestration via concept covering
Proceedings of the 14th International World Wide Web Conference WWW05 ACM Press

DOI: 10.1145/1062745.1062918

Fully automated web services orchestration in a resource retrieval scenario
Proc. of IEEE International Conference on web Services (ICWS 05)

DOI: 10.1109/icws.2005.65

Semantic Based Collaborative P2P in Ubiquitous Computing
IEEE/WIC/ACM WI-2005 Web Intelligence

DOI: 10.1109/wi.2005.130

Non-standard inferences for knowledge-based image retrieval
EWIMT 2005 2nd European Workshop on the Integration of Knowledge, Semantic and Digital Media Techniques, IEE press

DOI: 10.1049/ic.2005.0731

Building-Blocks Composition based on Business Process Semantics for SAP R/3
ISWC 2005 Workshop Semantic Web Case Studies and Best Practices for eBusiness (SWCASE05)

DOI: 10.1007/s11761-007-0014-z

Propositional- Logic Approach to One-Shot Multi Issue Bilateral Negotiation
ACM SIGecom Exchanges

DOI: 10.1145/1124566.1124569

Ontology-Based Natural Language Parser for E-Marketplaces
18th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

DOI: 10.1007/11504894_39

AnWeb: a System for Automatic Support to Web Application Verification
SEKE 2002, 14th. Software Engineering and Knowledge Engineering Conference

DOI: 10.1145/568760.568866

Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics
Thirteenth Italian Symposium on ADVANCED DATABASE SYSTEMS - Sistemi Evoluti per Basi di Dati (SEBD-2005)

DOI: 10.2498/cit.2003.03.10

Meeting in the Agorà: A Description Logic Approach to Peer-to-Peer E-Commerce
24th Int. Conf. on Information Technology Interfaces

DOI: 10.1109/iti.2002.1024693

Description Logic Based Resource Retrieval
The Encyclopedia of Knowledge Management

DOI: 10.4018/978-1-59140-573-3.ch014

Knowledge Representation for Matchmaking in P2P
Atti del VIII Convegno dell'Associazione Italiana di Intelligenza Artificiale

DOI: 10.1007/978-3-540-72667-8_30

A logical framework and an application for matchmaking in e-commerce
Atti del XL Congresso dell'Associazione Italiana per il Calcolo Automatico

DOI: 10.2753/jec1086-4415120200

A Logic for SVG Documents Query and Retrieval
Multimedia Tools and Applications

DOI: 10.1023/b:mtap.0000036840.61778.04

A Logic for SVG Documents Query and Retrieval
Multimedia Tools and Applications

DOI: 10.1023/b:mtap.0000036840.61778.04

Description Logics Approach to Semantic Matching of Web Services
Journal of Computing and Information Technology

DOI: 10.1109/iti.2003.1225400

Web Applications Design and Maintenance using Symbolic Model Checking
Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering

DOI: 10.1109/csmr.2003.1192411

Semantic Matchmaking in a P2P Electronic Marketplace
Proceedings of Eighteenth Annual ACM (SIGAPP) Symposium on Applied Computing SAC-03

DOI: 10.1145/952532.952649

A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce

DOI: 10.1080/10864415.2004.11044308

Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace
Proceedings of the 6th Intl. Conf. on Electronic Commerce,ICEC'04

DOI: 10.1016/j.elerap.2005.06.004

Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach
Proceedings of Twelfth International World Wide Web Conference WWW-03

DOI: 10.1145/967900.968113

Abductive Matchmaking using Description Logics
Proceedings of Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03

DOI: 10.1007/978-3-642-33203-6_2

Finding skills through Ranked Semantic Match of Descriptions
Journal of Universal Computer Science (J.UCS)

DOI: 10.1016/j.procs.2011.07.118

Logic Based Approach to Web Services Discovery and Matchmaking
Proceedings of the E-Services Workshop at 5th Intl. Conf. on Electronic Commerce, ICEC'03

DOI: 10.1007/978-3-319-24309-2_28

Concept Abduction and Contraction in Description Logics
Proceedings of the 16th International Workshop on Description Logics (DL'03)

DOI: 10.1016/j.elerap.2005.06.004

Description Logics Approach to Semantic Matching of Web Services
Journal of Computing and Information Technology

DOI: 10.1109/iti.2003.1225400

A formal approach to ontology-based semantic match of skills descriptions
Journal of Universal Computer Science (J.UCS)

DOI: 10.4018/978-1-59904-343-2.ch013

Extending and computing the concept covering for the semantic web

DOI: 10.1007/978-3-540-30202-5_21

A Description Logic based Approach for Matching User Profiles
Proc. of the 17th Intl. Workshop on Description Logics (DL'04)

DOI: 10.1007/978-3-540-30134-9_27

A Logic-Based Approach for Matching User Profiles
Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES'04)

DOI: 10.1007/978-3-540-30134-9_27

Un Sistema Web-Service Based per l'Integrazione del Distretto Industriale Murgiano
tti del XLII Congresso dell'Associazione Italiana per il Calcolo Automatico AICA 04

DOI: 10.1007/978-3-540-76298-0_74

Resource Matchmaking Based on Negotiable and Strict Constraints in the Semantic Web
Atti del IX Convegno dell'Associazione Italiana di Intelligenza Artificiale

DOI: 10.1145/1151454.1151489

A Knowledge Based System for Content-based Retrieval of Scalable Vector Graphics Documents
Proceedings of the 19th Symposium on Applied Computing (SAC'04)

DOI: 10.1145/967900.968113

Design and Implementation of a Web-Search Engine based on Computation Tree Logic
Proceedings of MELECON

DOI: 10.1109/melcon.2004.1347027

An Agency for Semantic-Based Automatic Discovery of Web-Services
Artificial Intelligence Applications and Innovations

DOI: 10.1007/1-4020-8151-0_28

Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
Proceedings of the 17th International Workshop on Description Logics (DL 04)

DOI: 10.1016/j.elerap.2005.06.004

Semantic-based Approach to Task Assignment of Individual Profiles
Journal of Universal Computer Science (J.UCS)

DOI: 10.5220/0005861602530260

I-Search: a System for Intelligent Information Search on the Web
Foundations of Intelligent Systems

DOI: 10.1007/3-540-48050-1_18

EbXML verification using Model Checking
Proceedings of 26th International Conference on Information Technology Interfaces

DOI: 10.2498/cit.2001.03.03

Extending Semantic-Based Matchmaking via Concept Abduction and Contraction
Engineering Knowledge in the Age of the Semantic Web

DOI: 10.1007/978-3-540-30202-5_21

Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace
Proceedings of the 6th Intl. Conf. on Electronic Commerce,ICEC'04

DOI: 10.1016/j.elerap.2005.06.004

A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics
Proceedings of the 16th European Conference on Artificial Intelligence (ECAI '04)

DOI: 10.1016/j.elerap.2005.06.004

A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce

DOI: 10.1080/10864415.2004.11044308

Knowledge Based Systems Technology and Applications in Image Retrieval
Intelligent Knowledge-Based Systems

DOI: 10.1007/978-1-4020-7829-3_11

A Logic for SVG Documents Query and Retrieval
Multimedia Tools and Applications

DOI: 10.1023/b:mtap.0000036840.61778.04

Structured Knowledge Representation for Image Retrieval
Journal of Artificial Intelligence Research(JAIR)

DOI: 10.1613/jair.902

Semantic-based Approach to Task Assignment of Individual Profiles
Journal of Universal Computer Science (J.UCS)

DOI: 10.5220/0005861602530260

Retrieval by Spatial Similarity: an Algorithm and a Comparative Evaluation
Pattern Recognition Letters

DOI: 10.1117/12.263436

Spatial Layout Representation for Query by Sketch Content Based Image Retrieval
Pattern Recognition Letters

DOI: 10.1016/s0167-8655(02)00124-1

Using Computation Tree Logic for Intelligent Information Search on the Web
International Journal of Computational Intelligence and Applications

DOI: 10.1142/s1469026802000579

A System for Content-Based Semantic Indexing of Images Using Description Logics
Proceedings of Content-based Multimedia Indexing (CBMI 2001)

DOI: 10.1007/3-540-40053-2_33

Content-Based Retrieval of Landmark Images using Structured Knowledge Representation
Proceedings of 2nd Conference on Informatica e pianificazione urbana e territoriale (INPUT 2001)

DOI: 10.1117/12.333876

Automatic Support for Verification of Secure Transactions in Distributed Environments using Symbolic Model Checking
Proceedings of 23rd International Conference on Information Technology Interfaces

DOI: 10.2498/cit.2001.03.03

Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking
Journal of Computing and Information Technology

DOI: 10.2498/cit.2001.03.03

A Knowledge-Based System for Person-to-Person E-Commerce
Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001)

DOI: 10.1145/1593254.1593257

Verifying integrity constraints on web-based systems using model checking
Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico

DOI: 10.1007/978-3-319-25252-0_22

Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic

DOI: 10.1145/505372.505373

Preprocessing of intractable problems
Information and Computation

DOI: 10.1006/inco.2001.3043