| 1. |
- Degtyarev, A, et al.
(författare)
-
A note on semantics of logic programs with equality based on complete sets of E-unifiers
- 1996
-
Ingår i: JOURNAL OF LOGIC PROGRAMMING. - : ELSEVIER SCIENCE INC. - 0743-1066. ; 28:3, s. 207-216
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- We discuss semantics of equational Horn-clause programs based on the notion of a complete set of E-unifiers. We prove incompleteness of SLDE dagger-resolution in the general case. SLDE dagger-resolution was introduced by Gallier and Raatz who proved its c
|
|
| 2. |
|
|
| 3. |
- Degtyarev, A, et al.
(författare)
-
Equality elimination for the tableau method
- 1996
-
Ingår i: DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS. - : SPRINGER-VERLAG BERLIN. - 0302-9743. ; 1128, s. 46-60
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- We apply the equality elimination method to semantic tableaux with equality. The resulting logical system is a combination of a goal-directed tableau calculus with a basic superposition calculus. Unlike most other known methods of adding equality to seman
|
|
| 4. |
- Degtyarev, A, et al.
(författare)
-
Simultaneous rigid E-unification is undecidable
- 1996
-
Ingår i: COMPUTER SCIENCE LOGIC. - : SPRINGER-VERLAG BERLIN. - 0302-9743. ; 1092, s. 178-190
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- Simultaneous rigid E-unification was introduced in 1987 by Gallier, Raatz and Snyder. It is used in the area of automated reasoning with equality in extension procedures, like the tableau method or the connection method. There were several faulty proofs o
|
|
| 5. |
- Degtyarev, A, et al.
(författare)
-
The decidability of simultaneous rigid E-unification with one variable
- 1998
-
Ingår i: REWRITING TECHNIQUES AND APPLICATIONS. - : SPRINGER-VERLAG BERLIN. - 0302-9743. ; 1379, s. 181-195
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the For All*There Exists For All* fragment of intuitionistic logic with equality is decidable
|
|
| 6. |
- Degtyarev, A, et al.
(författare)
-
The undecidability of simultaneous rigid E-unification
- 1996
-
Ingår i: THEORETICAL COMPUTER SCIENCE. - : ELSEVIER SCIENCE BV. - 0304-3975. ; 166:1-2, s. 291-300
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- Simultaneous rigid E-unification was introduced in 1987 by Gallier, Raatz and Snyder. It is used in the area of automated reasoning with equality in extension procedures, like the tableau method or the connection method. Many articles in this area assumed
|
|
| 7. |
- Degtyarev, A, et al.
(författare)
-
What you always wanted to know about rigid E-unification
- 1998
-
Ingår i: JOURNAL OF AUTOMATED REASONING. - : KLUWER ACADEMIC PUBL. - 0168-7433. ; 20:1-2, s. 47-80
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- This paper solves an open problem posed by a number of researchers: the construction of a complete calculus for matrix-based methods with rigid E-unification. The use of rigid E-unification and simultaneous rigid E-unification for such methods was propose
|
|
| 8. |
- Degtyarev, A, et al.
(författare)
-
What you always wanted to know about rigid E-unification
- 1996
-
Ingår i: LOGICS IN ARTIFICIAL INTELLIGENCE. - : SPRINGER-VERLAG BERLIN. ; 1126, s. 50-69
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- This paper solves an open problem posed by a number of researchers: the construction of a complete calculus for matrix-based methods with rigid E-unification. The use of rigid E-unification and simultaneous rigid E-unification for such methods has been pr
|
|
| 9. |
- Rönkä, N., et al.
(författare)
-
Panmixia at a distribution-wide scale but indications of genetic differentiation in isolated populations of the Terek Sandpiper (Xenus cinereus)
- 2016
-
Ingår i: International Wader Study Group Conference 2016, 9-12 September 2016, Trabolgan, Cork, Ireland.
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Populations at different parts of the species range may vary in their population dynamics and in their genetic structure and variation. Geographically separated populations or those located at the edge of the range may differ from the populations located at the core, or even be independent of them. The peripheral populations may hold genetic variation that is important for the adaptive potential of the species and therefore be of special conservation value. We studied the distribution-wide population genetic structure of the Terek Sandpiper (Xenus cinereus) using 13 microsatellite loci and two mitochondrial DNA markers: the control region and cytochrome oxidase I (COI). We evaluated the difference in genetic variation between the peripheral and core populations. Specifically, we sought signs of changes in population sizes and evaluated the management need of the populations. Distribution-wide differentiation was negligible, but geographically isolated populations in Finland and Dnieper River basin in Eastern Europe were differentiated from the main range. Edge populations had lower genetic variation than populations at the core when estimated with microsatellites and the COI, supporting the hypotheses where the core area of the distribution preserves the most variation. However, no such trend was observed with the control region data, which follows the model of no change throughout the distribution. The differences between the markers may reflect their different mutation rates, or be linked to the species’ dispersal behaviour. Our results revealed low overall nucleotide diversity and signs of past population contractions followed by expansion. Although the estimated current effective population size is large and therefore global conservation measures are not needed, the Finnish and Dnieper River basin populations nevertheless warrant management actions – not only because they may possess variation not present anywhere else, but also due to their smallness and large distances to the main range.
|
|
