STEFANO BISTARELLI
- Type
- Persona (Classe)
- Label
- STEFANO BISTARELLI (literal)
- STEFANO BISTARELLI (literal)
- Subject
- Artificial intelligence (Categoria DBpedia)
- Algorithms (Categoria DBpedia)
- Constraint satisfaction (Categoria DBpedia)
- Partecipa a commessa
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2010 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2011 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2014 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2006 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2012 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2005 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2013 (Partecipazione a commessa)
- Persona in rapporto
- Employment relationship with CNR of STEFANO BISTARELLI (Rapporto con CNR)
- Autore CNR di
- Fairness as a QoS Measure for Web Services (Articolo in rivista) (Prodotto della ricerca)
- Retaliation Against Protocol Attacks (Articolo in rivista) (Prodotto della ricerca)
- Timed Soft Concurrent Constraint Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Constraint Symmetry for the Soft CSP (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modelling and solving bipolar preference problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Soft constraint based pattern mining (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Uncertainty in Bipolar Preference Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An Asymmetric Fingerprint Matching Algorithm for Java Card (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Soft Constraints for Security (Articolo in rivista) (Prodotto della ricerca)
- From Marriages to Coalitions: A Soft CSP Approach (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- An Asymmetric Fingerprint Matching Algorithm for Java Card (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- SCLP for Trust Propagation in Small-World Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Security Protocol Deployment Risk (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A First Comparison of Abstract Argumentation Systems: A Computational Perspective (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Match On Card via Template on Card (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Applicazione di firma digitale con autenticazione biometria (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Soft Constraint Programming to Analysing Security Protocol (Articolo in rivista) (Prodotto della ricerca)
- Algoritmo di fingerprint matching su PC (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Semirings for Soft Constraint Solving and Programming (Articolo in rivista) (Prodotto della ricerca)
- Soft Constraint Propagation and Solving in Constraint Handling Rulesin (Articolo in rivista) (Prodotto della ricerca)
- Interchangeability with thresholds and degradation factors for Soft CSPs (Articolo in rivista) (Prodotto della ricerca)
- Coalitions of Arguments: An Approach with Constraint Programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Finding partitions of arguments with Dung's properties via SCSPs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Interchangeability in Soft CSPs (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Designing a Nonmonotonic Soft Concurrent Constraint Language for SLA Management (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Weighted Datalog and Levels of Trust (Contributo in atti di convegno) (Prodotto della ricerca)
- Soft Constraints for Security (Contributo in atti di convegno) (Prodotto della ricerca)
- Bipolar preference problems (Contributo in atti di convegno) (Prodotto della ricerca)
- Defense trees for economic evaluation of security investments (Contributo in atti di convegno) (Prodotto della ricerca)
- Advancing Assurance for Secure Distributed Communications (Contributo in atti di convegno) (Prodotto della ricerca)
- Combining Branch & Bound and SBDD to solve Soft CSPs (Contributo in atti di convegno) (Prodotto della ricerca)
- Strategic games on defense trees (Contributo in atti di convegno) (Prodotto della ricerca)
- Augmented Risk Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- An Optimization Approach using Soft Constraints for the Cascade Vulnerability Problem (Contributo in atti di convegno) (Prodotto della ricerca)
- Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Enhancing constraints manipulation in semiring-based formalisms (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling and Selecting Countermeasures using CP-nets and Answer Set Programming (Contributo in atti di convegno) (Prodotto della ricerca)
- Propagating multitrust within trust networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A Formal and Practical Framework for Constraint-Based Routing (Contributo in atti di convegno) (Prodotto della ricerca)
- Soft Constraints for Security (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling Multicast Qos Routing by using Best-Tree Search in AND-OR Graphs and Soft Constraint Logic Programming (Contributo in atti di convegno) (Prodotto della ricerca)
- A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Contributo in atti di convegno) (Prodotto della ricerca)
- Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Retaliation: Can We Live with Flaws? (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using CP-nets as a guide for countermeasure selection (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Deduction and Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- Soft Concurrent Constraint Programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- A first comparison of abstract argumentation systems: A computational perspective (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily (Contributo in atti di convegno) (Prodotto della ricerca)
- A soft constraint-based approach to the cascade vulnerability problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks (Articolo in rivista) (Prodotto della ricerca)
- Augmented Risk Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Match On Card (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- Algoritmo Match On Card (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- General Properties and Termination Conditions for Soft Constraint Propagation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Uncertainty in Bipolar Preference Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Certificati per impronte digitali memorizzati su smartcard (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Biometrics authentication with smartcard (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Soft Constraints for Quality Aspects in Service Oriented Architectures (Articolo in rivista) (Prodotto della ricerca)
- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Coautore
- FRANCESCO SANTINI (Unità di personale esterno)
- FRANCESCO BONCHI (Unità di personale interno)
- FABIO MARTINELLI (Persona)
- ANNA VACCARELLI (Persona)
- LUCA BECHELLI (Unità di personale esterno)
- Nome
- STEFANO (literal)
- Cognome
- BISTARELLI (literal)
- Afferisce a
- Ha pubblicazioni con
- FRANCESCO SANTINI (Unità di personale esterno)
- ANNA VACCARELLI (Persona)
- FRANCESCO BONCHI (Unità di personale interno)
- FABIO MARTINELLI (Persona)
- Http://www.cnr.it/ontology/persone.owl#argomentoDiRicercaSimile
- FRANCESCO SANTINI (Unità di personale esterno)
Incoming links:
- Autore CNR
- Soft Constraints for Security (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling Multicast Qos Routing by using Best-Tree Search in AND-OR Graphs and Soft Constraint Logic Programming (Contributo in atti di convegno) (Prodotto della ricerca)
- Enhancing constraints manipulation in semiring-based formalisms (Contributo in atti di convegno) (Prodotto della ricerca)
- An Optimization Approach using Soft Constraints for the Cascade Vulnerability Problem (Contributo in atti di convegno) (Prodotto della ricerca)
- Propagating multitrust within trust networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A Formal and Practical Framework for Constraint-Based Routing (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling and Selecting Countermeasures using CP-nets and Answer Set Programming (Contributo in atti di convegno) (Prodotto della ricerca)
- Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Advancing Assurance for Secure Distributed Communications (Contributo in atti di convegno) (Prodotto della ricerca)
- Combining Branch & Bound and SBDD to solve Soft CSPs (Contributo in atti di convegno) (Prodotto della ricerca)
- Strategic games on defense trees (Contributo in atti di convegno) (Prodotto della ricerca)
- Augmented Risk Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Retaliation: Can We Live with Flaws? (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using CP-nets as a guide for countermeasure selection (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily (Contributo in atti di convegno) (Prodotto della ricerca)
- Deduction and Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- Semirings for Soft Constraint Solving and Programming (Articolo in rivista) (Prodotto della ricerca)
- Soft Constraint Propagation and Solving in Constraint Handling Rulesin (Articolo in rivista) (Prodotto della ricerca)
- Soft Constraint Programming to Analysing Security Protocol (Articolo in rivista) (Prodotto della ricerca)
- Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Timed Soft Concurrent Constraint Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An Asymmetric Fingerprint Matching Algorithm for Java Card (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Soft constraint based pattern mining (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Uncertainty in Bipolar Preference Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Constraint Symmetry for the Soft CSP (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modelling and solving bipolar preference problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- SCLP for Trust Propagation in Small-World Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Security Protocol Deployment Risk (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- General Properties and Termination Conditions for Soft Constraint Propagation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Augmented Risk Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Soft Constraints for Quality Aspects in Service Oriented Architectures (Articolo in rivista) (Prodotto della ricerca)
- Soft Concurrent Constraint Programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks (Articolo in rivista) (Prodotto della ricerca)
- Soft Constraints for Security (Articolo in rivista) (Prodotto della ricerca)
- Retaliation Against Protocol Attacks (Articolo in rivista) (Prodotto della ricerca)
- Fairness as a QoS Measure for Web Services (Articolo in rivista) (Prodotto della ricerca)
- Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Bipolar preference problems (Contributo in atti di convegno) (Prodotto della ricerca)
- Defense trees for economic evaluation of security investments (Contributo in atti di convegno) (Prodotto della ricerca)
- Soft Constraints for Security (Contributo in atti di convegno) (Prodotto della ricerca)
- Weighted Datalog and Levels of Trust (Contributo in atti di convegno) (Prodotto della ricerca)
- An Asymmetric Fingerprint Matching Algorithm for Java Card (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Algoritmo Match On Card (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- Match On Card (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- Interchangeability in Soft CSPs (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Designing a Nonmonotonic Soft Concurrent Constraint Language for SLA Management (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- From Marriages to Coalitions: A Soft CSP Approach (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Applicazione di firma digitale con autenticazione biometria (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Algoritmo di fingerprint matching su PC (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Match On Card via Template on Card (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Biometrics authentication with smartcard (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Certificati per impronte digitali memorizzati su smartcard (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A soft constraint-based approach to the cascade vulnerability problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Uncertainty in Bipolar Preference Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Contributo in atti di convegno) (Prodotto della ricerca)
- Finding partitions of arguments with Dung's properties via SCSPs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Interchangeability with thresholds and degradation factors for Soft CSPs (Articolo in rivista) (Prodotto della ricerca)
- Coalitions of Arguments: An Approach with Constraint Programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A First Comparison of Abstract Argumentation Systems: A Computational Perspective (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A first comparison of abstract argumentation systems: A computational perspective (Contributo in atti di convegno) (Prodotto della ricerca)
- Ha afferente
- Coautore
- FRANCESCO BONCHI (Unità di personale interno)
- FABIO MARTINELLI (Persona)
- ANNA VACCARELLI (Persona)
- FRANCESCO SANTINI (Unità di personale esterno)
- LUCA BECHELLI (Unità di personale esterno)
- Ha pubblicazioni con
- FRANCESCO BONCHI (Unità di personale interno)
- FABIO MARTINELLI (Persona)
- ANNA VACCARELLI (Persona)
- FRANCESCO SANTINI (Unità di personale esterno)
- Partecipazione di
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2011 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2006 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2005 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2013 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2012 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2010 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di STEFANO BISTARELLI nell'anno 2014 (Partecipazione a commessa)
- Http://www.cnr.it/ontology/persone.owl#argomentoDiRicercaSimile
- FRANCESCO SANTINI (Unità di personale esterno)
- Rapporto con persona
- Employment relationship with CNR of STEFANO BISTARELLI (Rapporto con CNR)
- Http://www.w3.org/2004/02/skos/core#isSubjectOf
- Algorithms (Categoria DBpedia)
- Constraint satisfaction (Categoria DBpedia)
- Artificial intelligence (Categoria DBpedia)