Abstract
Now we begin to dig into the nitty-gritty of our subject matter. Before discussing querying and analysis of complex, heterogeneous spatiotemporal and contextual knowledge, we must discuss representation of temporal knowledge (as well as, to a certain extent, spatial knowledge) . . . and before that, we must address knowledge representation in general.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Atlantis Press
About this chapter
Cite this chapter
Goertzel, B., Geisweiller, N., Coelho, L., Janicic, P., Pennachin, C. (2011). Knowledge Representation Using Formal Logic. In: Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference. Atlantis Thinking Machines, vol 1. Atlantis Press. https://doi.org/10.2991/978-94-91216-11-4_2
Download citation
DOI: https://doi.org/10.2991/978-94-91216-11-4_2
Published:
Publisher Name: Atlantis Press
Print ISBN: 978-94-91216-10-7
Online ISBN: 978-94-91216-11-4
eBook Packages: Computer ScienceComputer Science (R0)