Sincere apologies for multiple postings. === CALL FOR PAPERS ===
Acquisition, Representation and Reasoning with Contextualized Knowledge, 5th International Workshop (ARCOE-LogIC 2013) http://www.arcoe.org/2013 held in collocation with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2013), Corunna, Spain -- Important Dates -- Abstracts deadline: 5 Jul 2013 Paper deadline: 12 Jul 2013 Notification: 9 Aug 2013 Camera ready: 23 Aug 2013 Workshop date: 15 Sep 2013 -- Description of the Workshop -- Dealing with context is one of the most interesting and most important problems faced in Artificial Intelligence (AI). Traditional AI applications often require to model, store, retrieve and reason about knowledge that holds within certain circumstances - the context. Without considering this contextual information, reasoning can easily run into problems such as: inconsistency, when considering knowledge in the wrong context; inefficiency, by considering knowledge irrelevant for a certain context; incompleteness, since an inference may depend on knowledge assumed in the context and not explicitly stated. Contextual information is also relevant in many tasks in knowledge representation and reasoning such as common-sense reasoning, dealing with inconsistency, ambiguity and uncertainty, knowledge evolution, and others. In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. The ARCOE-LogIC workshop aims to provide a dedicated forum for researchers interested in these topics to discuss recent developments, important open issues, and future directions. -- Topics -- ARCOE-LogIC welcomes submissions on the topics below as well as on their intersection and other topics related to acquisition, representation, reasoning with context and its applications. Philosophical and theoretical foundations of context: * What is context and how should it be represented. * Relevant types of contextual information and their properties, and formalization. * Combining contextual information with object information for reasoning. * Context and common-sense reasoning. * Exploiting context in inconsistency and uncertainty handling, defeasible reasoning and argumentation. * Contextual logic programming. * Updating contextual knowledge and context-aware belief revision. Context modeling and contextual knowledge engineering: * Modeling of user's or agent's context. * Context driven organization of knowledge and modeling. * Ontologies for context modeling. * Context-aware modeling tools and methodology. * Comparisons to context-unaware modeling techniques. Reasoning with context: * Effective context-aware reasoning algorithms and frameworks. * Distributed reasoning with context. * Context-driven heuristics in classical reasoning systems. * Query answering and contextual data access. * Reasoning in uncertain and inconsistent contexts. * Reasoning in defeasible contexts. * Hybrid formalisms for reasoning with context, including sub-symbolic contexts. * Stream reasoning in dynamically changing contexts. Applications of context in areas such as: * Agent communication and coordination. * Semantic Web and Linked Open Data. * Knowledge modularization. * Ontology matching. * Ontology fault diagnosis and repair. * Ontology evolution and versioning. * Information integration. * Ambient intelligence and pervasive computing. * Exploiting context in Web 2.0 applications, e-commerce, and e-learning. -- Submission Requirements -- Submission of regular and position papers is possible. Regular papers are intended for research reports and surveys. ARCOE-LogIC also welcomes reports on significant work in progress which has already achieved some interesting partial results, as well as papers recently submitted or published elsewhere as long as their topic is in line with the workshop. Regular papers should not exceed 12 pages in length including references. Position papers are intended for presentation of interesting new open issues and challenges, and opinions on the status of the field. Position papers are limited to 6 pages including references. All papers must be formatted using the Springer LNCS style: http://www.springer.com/comp/lncs/Authors.html and submitted in PDF format via EasyChair using: https://www.easychair.org/conferences/?conf=arcoelogic2013 All submitted papers will be subject to blind (but not double-blind) peer-review process. Accepted papers will be presented either as oral presentations or as posters, depending on the choice of the program committee. However, all accepted papers will be included in the Working Notes in their full form and will be accessible via the Internet. -- Workshop Co-Chairs -- * Michael Fink, Vienna University of Technology, Austria * Martin Homola, Comenius University of Bratislava, Slovakia * Alessandra Mileo, DERI, National University of Ireland * Ivan Varzinczak, Centre for Artificial Intelligence Research, South Africa -- Steering Committee -- * Alan Bundy, University of Edinburgh, UK * Thomas Eiter, Vienna University of Technology, Austria * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy -- Resources -- ARCOE-LogIC 2013 website: http://www.arcoe.org/2013/ ARCOE workshop series: http://www.arcoe.org/ Submission site: https://www.easychair.org/conferences/?conf=arcoelogic2013 LPNMR 2013 website: http://lpnmr2013.udc.es/ Enquiries about the ARCOE workshop: arcoe [at] arcoe [dot] org -- Ivan José Varzinczak Centre for Artificial Intelligence Research - South Africa Homepage: http://krr.meraka.org.za/~ivarzinczak _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
