Adrian Groza
Professor
About Me
I am a professor of Artificial Intelligence (Intelligent Systems Group), Department of Computer Science, Technical University of Cluj-Napoca. Current work involves research on logic, natural language understanding, ontology engineering, deductive social games. More recently, my research has focused on: 1) modelling puzzles in first order logic; 2) designing deduction games for teaching logic. Previous research interests lie in the areas of non-monotonic logics, legal reasoning, safety assurance of software systems by means of argumentation, description logics, and their applications in artificial intelligence.
Publications107
- C101First Order Logic for command understanding
Conference Proceedings2024
- C102Artificial Intelligence in Teaching and Learning For Student-Centered Education
Conference Proceedings2024
- J23
- J22The profile: unleashing your deepfake self
Journals2023
- J21
- B14Towards an Ontology of Explanations
Book chapters2023
- B15
- C100Measuring reasoning capabilities of ChatGPT
Conference Proceedings2023
- C99Cross-validation of Answers with SUMO and GPT
Conference Proceedings2023
- C98
- C97Interleaving GANs with knowledge graphs to support design creativity for book covers
Conference Proceedings2023
- C96Solving probability puzzles with logic toolkit
Conference Proceedings2023
- C95Case Study: Using AI-Assisted Code Generation In Mobile Teams
Conference Proceedings2023
- C94Brave new world: AI in teaching and learning
Conference Proceedings2023
- C93Ontology engineering with Large Language Models
Conference Proceedings2023
- C92Formalising Natural Language Quantifiers for Human-Robot Interactions
Conference Proceedings2023
- C91Detecting diabetic retinopathy through fundus images using an ensemble of classifiers
Conference Proceedings2023
- C90Teaching first order logic with friendly puzzles
Conference Proceedings2023
- C89Age-Related Macular Degeneration Biomarker Segmentation from OCT images
Conference Proceedings2023
- C88An ontology for Age-Related Macular Degeneration using ophthalmologists and language models
Conference Proceedings2023
- J19
- C87Evaluation Metrics in Explainable Artificial Intelligence (XAI)
Conference Proceedings2022
- J20
- E6Modelling Puzzles in First Order Logics
Books& Editorials2021
- J18
- C75Agents that argue and explain classifications of retinal conditions
Conference Proceedings2020
- B13Interleaved Argumentation and Explanation in Dialog
Book chapters2020
- E4Introduction to Artificial Intelligence
Books& Editorials2019
- T4Logic-based Models of Argument
Theses2019
- E5Artificial Intelligence. Exercises
Books& Editorials2019
- E7Mining Intelligence and Knowledge Exploration
Books& Editorials2018
- E2Logic-based Models of Argument 2018
Books& Editorials2018
- C63Mining arguments from cancer documents using Natural Language Processing and ontologies
Conference Proceedings2016
- C62Assisting drivers during overtaking using Car-2-Car communication and multi-agent systems
Conference Proceedings2016
- B11An approach to schedule Production Using Reservation Tables
Book chapters2015
- B12
- C58ProGraph: towards enacting bipartite graphs for abstract argumentation frameworks
Conference Proceedings2015
- C59Information retrieval in folktales using natural language processing
Conference Proceedings2015
- C60Data structuring for the ontological modelling of wind energy systems
Conference Proceedings2015
- C61Enacting textual entailment and ontologies for automated essay grading in chemical domain
Conference Proceedings2015
- E3Ontology Enginnering with RacerPro - An Activity Based Approach
Books& Editorials2014
- B10
- C40Towards an argumentative approach for repair of hybrid logics models
Conference Proceedings2014
- C41
- C42ARGSAFE: Usando Argumentacion para Garantizar Seguridad en Sistemas Tecnicos Complejos
Conference Proceedings2014
- C43
- C44A multi-agent approach towards cooperative overtaking in vehicular networks
Conference Proceedings2014
- C45A second order-cone programming relaxation for facility location problem
Conference Proceedings2014
- C49
- C48Numerical simulation and automatic control of the pH value in an industrial blunting system
Conference Proceedings2014
- C47An ontology-based model for vehicular ad-hoc networks
Conference Proceedings2014
- C46Romanian2SPARQL: A Grammatical Framework approach for querying Linked Data in Romanian
Conference Proceedings2014
- C50Ranking Ontologies in the Ontology Building Competition BOC 2014
Conference Proceedings2014
- C51Consistency Checking of Safety Arguments in the Goal Structuring Notation Standard
Conference Proceedings2014
- C52An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process
Conference Proceedings2014
- C53Assuring safety in an air traffic control system with defeasible logic programming
Conference Proceedings2014
- C54LELA - A natural language processing system for Romanian tourism
Conference Proceedings2014
- C55Generating training sets for conditional random fields with morphological labels for Romanian
Conference Proceedings2014
- C56Engineering a Comprehensive Romanian Tourism Ontology
Conference Proceedings2014
- C57Simulation and Control of the Vehicles Movement in the Case of the Overtaking Procedures
Conference Proceedings2014
- C36Reasoning on Semantic Sensor Streams for Smart City
Conference Proceedings2013
- C37ASDEC: Structured Argumentation for Decision Support Systems Under Normative Constraints
Conference Proceedings2013
- C38Semantic-Based Monitoring of E-Contracts
Conference Proceedings2013
- C39Detecting influenza epidemics based on real-time semantic analysis of Twitter streams
Conference Proceedings2013
- B9Arguing With Justifications Between Collaborating Agents
Book chapters2012
- C31Description Plausible Logic Programs for Stream Reasoning
Conference Proceedings2012
- C33Integrated Framework for Multi-Agent Ontology Engineering
Conference Proceedings2012
- C32Justificatory Argumentation for Commitment Agents
Conference Proceedings2012
- C34Justifying Argument and Explanation in Labelled Argumentation
Conference Proceedings2012
- C35Interleaved Argumentation and Explanation in Dialogue
Conference Proceedings2012
- B8
- C24Towards automatic norm compliance in construction domain
Conference Proceedings2011
- C25Arguing with Justifications Between Collaborating Agents
Conference Proceedings2011
- C26OntoRich-A support tool for semi-automatic ontology enrichment and evaluation
Conference Proceedings2011
- C27Integrating DBpedia and SentiWordNet for a tourism recommender system
Conference Proceedings2011
- C28Argumentative Agents for Justifying Decisions in Audit
Conference Proceedings2011
- C29Argumentation Based Ontology Maintenance
Conference Proceedings2011
- C30Building an E-contract management system using Google Docs
Conference Proceedings2011
- C16Towards Pragmatic Argumentative Agents Within a Fuzzy Description Logic Framework
Conference Proceedings2010
- C17Argumentative Support for Structured HACCP Plans
Conference Proceedings2010
- C18Enacting Argumentative Web in Semantic Wikipedia
Conference Proceedings2010
- C19Mining Traffic Patterns from Public Transportation GPS Data
Conference Proceedings2010
- C20Towards Social Argumentative Machines
Conference Proceedings2010
- C21Aiming to Agent-based Systems for Norm Compliance in Food Supply Chains
Conference Proceedings2010
- C22Using Semantic Wikis for Structured Argument in Medical Domain
Conference Proceedings2010
- C23Developing Hazard Ontology for Supporting HACCP Systems in Food Supply Chains
Conference Proceedings2010
- B7
- C15Modelling Imprecise Arguments in a Weighted Argument System
Conference Proceedings2009
- E1Structural Models for Inter-agents Online Dispute Resolution
Books& Editorials2008
- B5Structured Argumentation in a Mediator for Online Dispute Resolution
Book chapters2008
- T3
- C11A Computational Model for World Wide Argument Web
Conference Proceedings2008
- C12Designing Electronic Markets for Defeasible-based Contractual Agents
Conference Proceedings2008
- C13Contextual extension with Concept Maps in the Argument Interchange Format Ontology
Conference Proceedings2008
- C14Q-learn Argumentation Schemes for Car Sales Dialogues
Conference Proceedings2008
- B3Z-Based Agents for Service Oriented Computing
Book chapters2007
- B4
- C10Towards Mediation with Extended Temporal Defeasible Logic
Conference Proceedings2007
- C6Planning with Argumentation Schemes in Online Dispute Resolution
Conference Proceedings2007
- B1Agreeing on Defeasible Commitments
Book chapters2006
- B2Running Contracts with Defeasible Commitment
Book chapters2006
- C4Exceptions in Contract in Defeasible Logic
Conference Proceedings2006
- C5Defeasible Commitments for Contract Representation
Conference Proceedings2006
- C2Automating the Dispute Resolution for B2B
Conference Proceedings2005
- C3Automating the Dispute Resolution in a Task Dependency Network
Conference Proceedings2005
- T2
- C1Using Agent Similarities in Business Rules for the Supply Chain
Conference Proceedings2004