posted by system || 1869 views || tracked by 5 users: [display]

ARCOE-LogIC 2013 : 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge


When Sep 15, 2013 - Sep 19, 2013
Where Corunna, Spain
Abstract Registration Due Jul 5, 2013
Submission Deadline Jul 12, 2013
Categories    artificial intelligence

Call For Papers

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.

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:

and submitted in PDF format via EasyChair using:

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 Jose 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


ARCOE-LogIC 2013 website:
EasyChair submission site:
ARCOE workshop series:
LPNMR 2013 website:

Related Resources

KR 2023   Principles of Knowledge Representation and Reasoning
PAKDD 2023   The 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining
SOMET 2023   SOMET 2023 : The 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques
ICCV 2023   International Conference on Computer Vision
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
DBKDA 2023   The Fifteenth International Conference on Advances in Databases, Knowledge, and Data Applications
FOIS 2023   13th International Conference on Formal Ontology in Information Systems
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
LN2FR 2022   Workshop on Methodologies for Translating Legal Norms into Formal Representations
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus