KR 2014 - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
Date2014-07-20 - 2014-07-24
Deadline2014-03-01
VenueVienna, Austria
Keywords
Websitehttps://vsl2014.at/
Topics/Call fo Papers
Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. The underlying approach of explicitly representing knowledge in a tangible form, suitable for processing by dedicated reasoning engines, is a fundamental component of many modern intelligent systems. Foundational and applied research in KR&R contributes to the principles of artificial intelligence. It also contributes to the foundations of longstanding fields including automated planning, databases, and software engineering. In recent years KR&R has also derived challenges from new and emerging fields including the semantic web, computational biology, and the development of software agents.
The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2014 will be a forum for the exchange and discussion of new ideas, issues, and results on the principles and practice of KR&R.
The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2014 will be a forum for the exchange and discussion of new ideas, issues, and results on the principles and practice of KR&R.
Other CFPs
- 17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
- 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
- 25th International Conference on Rewriting Techniques and Applications (RTA)
- 23rd EACSL Annual Conference on Computer Science Logic (CSL)
- 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
Last modified: 2013-05-19 22:20:22