ABSTRACT
Knowledge Representation and Reasoning (KRR) is a well-established research area of Artificial Intelligence. In KRR, a fundamental assumption is that an agent’s knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. The scope of this track includes contributions to the formal foundations of KRR or that show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show the use of, or contributions to, the principles or practice of KRR.
Keywords
- Knowledge
- Representation
- Reasoning
Authors
First Name | Last Name | Country | Affiliation | |
---|---|---|---|---|
Eduardo | Fermé | ferme@uma.pt | Portugal | Universidade da Madeira, Portugal |
Matthias | Knorr | mkn@fct.unl.pt | Portugal | Universidade NOVA de Lisboa |
Pedro | Cabalar | pedro.cabalar@icloud.com | Spain | University of Corunna |
Rafael | Peñaloza | rafael.penaloza@unimib.it | Italy | University of Milano-Bicocca |
Ricardo | Gonçalves | rjrg@fct.unl.pt | Portugal | Universidade NOVA de Lisboa |