Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Ian Pratt-Hartmann"'
Autor:
Georgios Kourtis, Ian Pratt-Hartmann
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)
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.
Externí odkaz:
https://doaj.org/article/89f2ade2809443b8a2f67591a02c8036
Publikováno v:
Logical Methods in Computer Science, Vol Volume 6, Issue 3 (2010)
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. W
Externí odkaz:
https://doaj.org/article/93a09620a8134e5da9c273bbe392a672
Autor:
Ian Pratt-Hartmann
A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. For which fragments of first-order logic is there an effective method for determining satisfiability or f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d9b126fb3f974bcd28cf7113c85571b
https://doi.org/10.1093/oso/9780192867964.001.0001
https://doi.org/10.1093/oso/9780192867964.001.0001
Autor:
Ian Pratt-Hartmann
Publikováno v:
Fragments of First-Order Logic ISBN: 0192867962
We consider fragments of first-order logic (with and without equality) defined by means of standard quantifier prefix specifiers, over signatures containing no function symbols. We determine, in each case, the decidability and complexity of the (fini
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8483ca7ba53a6cf35960f53648c886a
https://doi.org/10.1093/oso/9780192867964.003.0005
https://doi.org/10.1093/oso/9780192867964.003.0005
Autor:
Ian Pratt-Hartmann
Publikováno v:
Fragments of First-Order Logic ISBN: 0192867962
We consider the so-called fluted fragment, a fragment of first-order logic originating in the work of W.V.O. Quine in which, roughly speaking, the order of quantification of variables is constrained to match the order of occurrence of those variables
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7be4473173c14ab619af079411b9251
https://doi.org/10.1093/oso/9780192867964.003.0006
https://doi.org/10.1093/oso/9780192867964.003.0006
Autor:
Ian Pratt-Hartmann
Publikováno v:
Fragments of First-Order Logic ISBN: 0192867962
We consider the two-variable fragment of first-order logic with counting quantifiers, but where k distinguished binary predicates are constrained to be interpreted as equivalence relations. We show that, if k=1, the satisfiability and finite satisfia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43bc34f6f790795272cd3a6f5dd7cfa4
https://doi.org/10.1093/oso/9780192867964.003.0014
https://doi.org/10.1093/oso/9780192867964.003.0014
Autor:
Ian Pratt-Hartmann
Publikováno v:
Fragments of First-Order Logic ISBN: 0192867962
This chapter introduces the notion of counting quantifiers, and presents some fundamental results in the theory of integer linear programming. We explain the notion of the minimal basis of an integer linear programming instance, and obtain bounds on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce81faa11767709f55533bac7fbbd2d7
https://doi.org/10.1093/oso/9780192867964.003.0007
https://doi.org/10.1093/oso/9780192867964.003.0007
Autor:
Ian Pratt-Hartmann
Publikováno v:
Fragments of First-Order Logic ISBN: 0192867962
We introduce and motivate the subject of this book, namely, the study of the satisfiability and finite satisfiability problems for various fragments of first-order logic. In addition, we survey the basic results in model theory, computability theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d3510167f57d78da9d2e082641a0554
https://doi.org/10.1093/oso/9780192867964.003.0001
https://doi.org/10.1093/oso/9780192867964.003.0001
Autor:
Ian Pratt-Hartmann
Publikováno v:
Fragments of First-Order Logic ISBN: 0192867962
We consider the guarded two-variable fragment of first-order logic with counting quantifiers, a subfragment of the two-variable fragment with counting quantifiers in which, in addition to the requirement of guarding, individual constants do not appea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6aed13e5d95e2d05bbcb7186944b9b41
https://doi.org/10.1093/oso/9780192867964.003.0009
https://doi.org/10.1093/oso/9780192867964.003.0009
Autor:
Ian Pratt-Hartmann
Publikováno v:
Fragments of First-Order Logic ISBN: 0192867962
We introduce the concepts of conjunctive query and (finite) query answering, and show that the problems of query answering and finite query answering in the guarded two-variable fragment of first-order logic with counting quantifiers and databases ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd0f5a7786c10539b4f31ca9937cb3c4
https://doi.org/10.1093/oso/9780192867964.003.0010
https://doi.org/10.1093/oso/9780192867964.003.0010