Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Verrev, Martin (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
6
Vaata veel..
(3/316)
Ekspordi
ekspordi kõik päringu tulemused
(6)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Combining semantic parsing frameworks for automated knowledge base construction
Verrev, Martin
AI^3 2022 : 6th Workshop on Advances in Argumentation in Artificial Intelligence
2022
https://ceur-ws.org/Vol-3354/paper1.pdf
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evaluation of semantic parsing frameworks for automated knowledge base construction
Verrev, Martin
Intelligent systems design and applications 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) held December 12-14, 2022 - Volume 1
2023
/
p. 554-563
https://doi.org/10.1007/978-3-031-27440-4_53
https://link.springer.com/book/10.1007/978-3-031-27440-4
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
3
artikkel kogumikus
An experimental pipeline for automated reasoning in natural language (short paper)
Tammet, Tanel
;
Järv, Priit
;
Verrev, Martin
;
Draheim, Dirk
Automated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
2023
/
p. 509-521
https://doi.org/10.1007/978-3-031-38499-8_29
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus
4
artikkel kogumikus EST
/
artikkel kogumikus ENG
First order logic and commonsense reasoning : a path less travelled
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
;
Verrev, Martin
ICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 2022
2022
/
art. 182197
https://ceur-ws.org/Vol-3193/short5GDE.pdf
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
5
artikkel kogumikus
Knowledge integration for commonsense reasoning with default logic
Järv, Priit
;
Tammet, Tanel
;
Verrev, Martin
;
Draheim, Dirk
Proceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD 2022, October 24-26, 2022, in Valletta, Malta ; Vol. 1
/
p. 148-155
https://doi.org/10.5220/0000165700003335
artikkel kogumikus
6
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Large-scale commonsense knowledge for default logic reasoning
Järv, Priit
;
Tammet, Tanel
;
Verrev, Martin
;
Draheim, Dirk
SN Computer Science
2023
/
art. 550
https://doi.org/10.1007/s42979-023-01963-2
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 6, kuvan
1 - 6
autor
219
1.
Verrev, Martin
2.
Acuache, Mariano Martin Genaro Palacios
3.
Aedla, Martin
4.
Allik, Martin
5.
Assafrei, Jürgen-Martin
6.
Azzi-Martin, Lamia
7.
Bachler, Martin
8.
Baekgaard, Martin
9.
Bauch, Martin
10.
Bergstrom, Martin
11.
Bergström, Martin
12.
Bölter, Martin
13.
Cech, Martin
14.
de Jong, Martin
15.
Eerme, Martin
16.
Eessalu, Martin
17.
Ehala, Martin
18.
Eklo, Ole Martin
19.
Eriksson, K. Martin
20.
Eriksson, Martin
21.
Euwema, Martin C.
22.
Ferrer, Elena Martin
23.
Frei, Martin
24.
Freund, Martin
25.
Goroško, Martin
26.
Grabmann, Martin
27.
Graffenberger, Martin
28.
Grimheden, Martin
29.
Grosberg, Martin
30.
Hallik, Martin
31.
Hanson, Martin
32.
Heinvee, Martin
33.
Hendre, Martin
34.
Herrmann, Martin
35.
Holland, Martin
36.
Hurt, Martin
37.
Innes, Martin
38.
Instenberg, Martin
39.
Istenberg, Martin
40.
Jaano Martin Ots
41.
Jaanus, Martin
42.
Jaigma, Martin
43.
Jervan, Martin
44.
Jänes, Martin
45.
Järvekülg, Martin
46.
Jörgen, Martin
47.
Jürise, Martin
48.
Jürisoo, Martin
49.
Kaasik, Martin
50.
Kaitsa, Martin
51.
Kala, Martin
52.
Kaljuste, Martin
53.
Kand, Martin
54.
Kapp, Martin
55.
Karmin, Martin
56.
Karu, Martin
57.
Kask, Martin
58.
Kiil, Martin
59.
Kikas, Martin
60.
Kivimäe, Martin
61.
Kivirand, Martin
62.
Klesment, Martin
63.
Klöker, Martin
64.
Konzelmann, Martin
65.
Kontus, Martin
66.
Koskinen, Martin
67.
Krupicka, Martin
68.
Krupička, Martin
69.
Krõlov, Martin
70.
Käärid, Martin-Sven
71.
Laasmaa, Martin
72.
Lahek, Martin
73.
Laine, Martin
74.
Larsson, Martin
75.
Letko, Martin
76.
Leucker, Martin
77.
Lidberg, Martin
78.
Ligi, Martin
79.
Liira, Martin
80.
Lints, Martin
81.
Lohk, Martin
82.
Lotman, Eno-Martin
83.
Ludvigsen, Martin
84.
Luts, Martin
85.
Lääts, Martin
86.
Magnusson, Martin
87.
Maide, Martin
88.
Maiste, Martin
89.
Malm, Martin
90.
Mansson, Martin
91.
Marko Vendelin, Laasmaa, Martin
92.
Martin de la Guardia, Ricardo
93.
Martin, A.
94.
Martin, A. R
95.
Martin, Andres
96.
Martin, Andrew
97.
Martin, Anni
98.
Martin, B.
99.
Martin, B.-A.
100.
Martin, Benjamin
101.
Martin, Dana
102.
Martin, Emmanuel L.O.
103.
Martin, Floran
104.
Martin, G.
105.
Martin, Georg
106.
Martin, Hans-Georg
107.
Martin, I.
108.
Martin, Ivar
109.
Martin, Jörgen
110.
Martin, Jüri
111.
Martin, K.
112.
Martin, Kevin St.
113.
Martin, Kristian
114.
Martin, Kristiina
115.
Martin, Margus
116.
Martin, Maryline
117.
Martin, Mihkel
118.
Martin, Miina
119.
Martin, O.
120.
Martin, Oskar
121.
Martin, R. W.
122.
Martin, R.W.
123.
Martin, Rasmus
124.
Martin, Rhys
125.
Martin, Robert W.
126.
Martin, T.
127.
Martin-Iglesias, P.
128.
Martin-Iglesias, S.
129.
Martin-Montaner, Joan
130.
Melioranski, Martin
131.
Mets, Martin
132.
Milner, Martin
133.
Minin, Martin
134.
Mistrik, Martin
135.
Mistrík, Martin
136.
Muiste, Martin
137.
Murre, Martin
138.
Must, Martin
139.
Märtin, Hannes
140.
Märtin, Kaarel
141.
Mölder, Martin
142.
Novak, Martin
143.
Nurme, Martin
144.
Ojamaa, Martin
145.
Ots, Jaano Martin
146.
Paalits, Martin
147.
Palacios Acuache, Mariano Martin Genaro
148.
Pall, Martin
149.
Parker, Martin
150.
Parts, Martin
151.
Pelucha, Martin
152.
Playford, Martin P.
153.
Ploom, Martin
154.
Pokorny, Martin
155.
Pärn, Martin
156.
Püssa, Martin
157.
Raik, Jaan Martin
158.
Raud, Martin
159.
Rebane, Martin
160.
Resch, Martin
161.
Riibe, Martin
162.
Risch, Martin
163.
Rodriguez-Martin, Bernardo
164.
Romantschuk, Martin
165.
Romantschuk, Martin L.
166.
Ruzicka, Martin
167.
Ružicka, Martin
168.
Ružička, Martin
169.
Růžička, Martin
170.
Saarnak, Martin
171.
Sahul, Martin
172.
Salumaa, Martin
173.
San Martin, Jose
174.
Sandberg, Martin
175.
Santamarina, Martin
176.
Sarap, Martin
177.
Schallbruch, Martin
178.
Schletterer, Martin
179.
Scholl, Martin
180.
Schröder, Martin
181.
Seçkin, Martin
182.
Serg, Martin
183.
Siegert, Martin
184.
Simon, Martin
185.
Simpson, Martin
186.
Sirovy, Martin
187.
Sirový, Martin
188.
Smutov, Martin
189.
Snellen, Martin
190.
Sobak, Martin
191.
Soe, Ralf-Martin
192.
Stahorsky, Martin
193.
Storheim, Martin
194.
Söderström, Martin
195.
Sykes, Martin T.
196.
Zobel, Martin
197.
Tajmar, Martin
198.
Talu, Martin Johannes
199.
Talvik, Martin
200.
Tamm, Martin
201.
Teras, Roland Martin
202.
Thalfeldt, Martin
203.
Theuerkauf, Martin
204.
Thirkettle, Martin
205.
Tigasson, Martin
206.
Timusk, Martin
207.
Toding, Martin
208.
Tomingas, Martin
209.
Tordik, Martin
210.
Wagner, Martin
211.
Varvas, Martin
212.
Whitehouse, Martin J.
213.
Viirand, Martin
214.
Vlcek, Martin
215.
Vojtek, Martin
216.
Voll, Martin
217.
Vool, Martin
218.
Võru, Martin
219.
Välbe, Martin
tema kohta
52
1.
Eerme, Martin
2.
Ehala, Martin, 1963-
3.
Giese, Levi Martin, 1990-
4.
Hanz, Martin
5.
Heinvee, Martin
6.
Hurt, Martin
7.
Jaanus, Martin
8.
Jürise, Martin
9.
Kadai, Martin
10.
Kala, Martin
11.
Kand, Martin, 1880-1996
12.
Karro, Martin
13.
Kiik, Martin
14.
Kiil, Martin
15.
Kriiseman, Martin
16.
Kriisemann, Martin
17.
Kuldkepp, Martin
18.
Küüsmaa, Martin
19.
Laasmaa, Martin
20.
Lall, Martin
21.
Lints, Martin
22.
Lints, Martin, 1988-
23.
Lääts, Martin
24.
Malm, Martin
25.
Martin, Dimitri
26.
Martin, Heinar, 1941-1995
27.
Martin, Ivar
28.
Martin, Karl, 1894-1954
29.
Martin, Oskar, 1897-1960
30.
Meras, Martin
31.
Minin, Martin
32.
Möllits, Martin
33.
Nõulik, Martin
34.
Paalits, Martin
35.
Paggi, Martin
36.
Parve, Martin Otto, 1998-
37.
Pedanik, Martin
38.
Ploom, Martin
39.
Pärn, Martin, 1971-
40.
Rebane, Martin
41.
Sarap, Martin
42.
Sarkans, Martin
43.
Schröder, Martin
44.
Soe, Ralf-Martin, 1985-
45.
Talu, Martin Johannes
46.
Talvik, Martin
47.
Tammemägi, Martin Carl, 1948-
48.
Thalfeldt, Martin
49.
Toding, Martin
50.
Truuts, Martin
51.
Vares, Martin
52.
Vihmann, Martin
CV
45
1.
Verrev, Martin 1977
2.
Allik, Martin 1983
3.
Eerme, Martin 1968
4.
Grosberg, Martin
5.
Grossberg, Martin
6.
Heinvee, Martin 1984
7.
Jaanus, Martin 1977
8.
Jürise, Martin 1979
9.
Kadak, Albert-Martin 1917-2005
10.
Kand, Martin 1880-1966
11.
Keskküla, Martin
12.
Kesküla, Martin 1888-1979
13.
Kiil, Martin 1989
14.
Käpp, Martin Johannes
15.
Laasmaa, Martin 1984
16.
Lints, Martin 1988
17.
Luts, Martin 1975
18.
Maddison, Ottomar Julius Martin
19.
Martin, Andres 1972
20.
Martin, Benjamin 1892-1969
21.
Martin, Dana 1970
22.
Martin, Ivar 1958
23.
Martin, Kaarel 1894-1954
24.
Martin, Karl
25.
Martin, Oskar 1887-1960
26.
Märtin, Hannes 1969
27.
Märtin, Kaarel 1943
28.
Müürisepp, Gunnar Martin
29.
Nurme, Martin 1990
30.
Pall, Martin
31.
Parker, Martin 1988
32.
Pärn, Martin 1971
33.
Rebane, Martin
34.
Ruzicka, Martin
35.
Růžička, Martin
36.
Ružicka, Martin 1985
37.
Sander, Martin
38.
Sarap, Martin 1996
39.
Sarkans, Martin
40.
Simon, Martin 1988
41.
Soe, Ralf-Martin 1985
42.
Talvik, Martin 1995
43.
Teras, Roland Martin 1993
44.
Thalfeldt, Martin 1986
45.
Toding, Martin 1980
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT