Knowledge Representation and
Automated Reasoning Lab

Descrizione della ricerca

Studio e realizzazione di framework dichiarativi basati su preferenze e vincoli per la modellizzazione e soluzione di problemi computazionalmente intrattabili. Applicazioni a problemi di sicurezza informatica, QoS and QoE, configurazione e scheduling, argomentazione e coordinamento, bioinformatica, sistemi di (e)voting, judgement aggregation, social choice, web/mobile.Game theory, Economics and Finance.


Keywords:

  • Argumentation
  • Nonmonotonic Reasoning
  • Logic Programming
  • Computational Argumentation
  • Computational Intelligence
  • Security
  • Artificial Intelligence
  • Constraint Programming
  • Data Analytics
  • Knowledge Representation
  • Blockchain
  • Cryptocurrencies
  • Probabilstic Argumentation

Applications:

  • Fraud Mitigation
  • Prevention Against Cybersecurity Threats
  • Legal Document Review and Research
  • Debate Analysis
  • Bitcoin Mixnet Detection

Contacts

Prof. Stefano Bistarelli
Dipartimento di Matematica e Informatica
Via Vanvitelli, 1 - 06123 Perugia, Italy
bista@dmi.unipg.it
+39 075 585 5045