A survey of qualitative spatial and temporal calculi: algebraic and computational properties

F Dylla, JH Lee, T Mossakowski, T Schneider… - ACM Computing …, 2017 - dl.acm.org
Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge
representation, typically over infinite domains. The motivations for employing QSTR …

[图书][B] Handbook of constraint programming

F Rossi, P Van Beek, T Walsh - 2006 - books.google.com
Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Qualitative spatial reasoning using constraint calculi

J Renz, B Nebel - Handbook of spatial logics, 2007 - Springer
Qualitative reasoning is an approach for dealing with commonsense knowledge without
using numerical computation. Instead, one tries to represent knowledge using a limited …

A survey of qualitative spatial representations

J Chen, AG Cohn, D Liu, S Wang… - The Knowledge …, 2015 - cambridge.org
Representation and reasoning with qualitative spatial relations is an important problem in
artificial intelligence and has wide applications in the fields of geographic information …

[图书][B] Qualitative spatial and temporal reasoning

G Ligozat - 2013 - books.google.com
Starting with an updated description of Allen's calculus, the book proceeds with a description
of the main qualitative calculi which have been developed over the last two decades. It …

[图书][B] Handbook of temporal reasoning in artificial intelligence

MD Fisher, DM Gabbay, L Vila - 2005 - books.google.com
This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …

Weak composition for qualitative spatial and temporal reasoning

J Renz, G Ligozat - International Conference on Principles and Practice of …, 2005 - Springer
It has now been clear for some time that for many qualitative spatial or temporal calculi, for
instance the well-known RCC8 calculus, the operation of composition of relations which is …

Combining topological and size information for spatial reasoning

A Gerevini, J Renz - Artificial Intelligence, 2002 - Elsevier
Information about the size of spatial regions is often easily accessible and, when combined
with other types of spatial information, it can be practically very useful. In this paper we …

Process skills approach to develop primary students' scientific literacy: A case study with low achieving students on water cycle

M Ibrahim, NS Lede - IOP Conference Series: Materials …, 2018 - iopscience.iop.org
The results of the Program for International Student Assessment (PISA) study on the
scientific literacy of Indonesian students since the year 2000 have been still far below the …

Automatic case acquisition from texts for process-oriented case-based reasoning

V Dufour-Lussier, F Le Ber, J Lieber, E Nauer - Information Systems, 2014 - Elsevier
This paper introduces a method for the automatic acquisition of a rich case representation
from free text for process-oriented case-based reasoning. Case engineering is among the …