Argumentation and Logic Programming for Explainable and Ethical AI.
Roberta CalegariAndrea OmiciniGiovanni SartorPublished in: XAI.it@AI*IA (2020)
Keyphrases
- logic programming
- computational logic
- knowledge representation and reasoning
- knowledge representation
- defeasible argumentation
- logic programs
- nonmonotonic reasoning
- argumentation theory
- answer set programming
- knowledge base
- artificial intelligence
- argumentation systems
- defeasible reasoning
- defeasible logic programming
- deductive databases
- programming language
- representing knowledge
- expert systems
- logic programming language
- constraint logic programming
- stable models
- default logic
- procedural semantics
- machine learning
- argumentation semantics
- reasoning about actions
- normal logic programs
- argumentation frameworks
- legal reasoning
- abstract argumentation
- inductive logic programming
- description logics
- case based reasoning
- pseudo boolean constraints
- cooperative multi agent
- declarative programming
- defeasible logic
- representation language
- probabilistic reasoning
- first order logic
- semantic web
- software engineering
- multi agent systems
- natural language