Keyphrases
- lecture notes
- computer science
- international symposium
- lecture notes in artificial intelligence
- proof procedures
- advances in artificial intelligence
- argumentation theory
- logic programming
- modal logic
- defeasible reasoning
- advances in information retrieval
- artificial intelligence
- international conference
- automated reasoning
- conditional logic
- defeasible logic
- multi valued
- hong kong
- data mining
- asynchronous circuits
- proof theory
- argumentation semantics
- machine learning
- classical logic
- multi agent systems
- learning environment