Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Spatial logics with connectedness predicates

Roman Kontchakov ; Ian Pratt-Hartmann ; Frank Wolter ; Michael Zakharyaschev.
We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological connectedness of regions and restrict the number of their connected components. We investigate the computational complexity of&nbsp;[&hellip;]
Published on August 18, 2010
Volume 6, Issue 3

Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting

Georgios Kourtis ; Ian Pratt-Hartmann.
The satisfiability and finite satisfiability problems for the two-variable guarded fragment of first-order logic with counting quantifiers, a database, and path-functional dependencies are both ExpTime-complete.
Published on October 30, 2017
Volume 13, Issue 4
  • < Previous
  • 1
  • Next >