Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Verrev, Martin (author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
6
Look more..
(3/320)
Export
export all inquiry results
(6)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article 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
book article EST
/
book article ENG
2
book article EST
/
book article 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
book article EST
/
book article ENG
3
book article
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
book article
4
book article EST
/
book article 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
book article EST
/
book article ENG
5
book article
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
book article
6
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Number of records 6, displaying
1 - 6
author
223
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.
Benedikt, Martin
11.
Bergstrom, Martin
12.
Bergström, Martin
13.
Bölter, Martin
14.
Cech, Martin
15.
de Jong, Martin
16.
Eerme, Martin
17.
Eessalu, Martin
18.
Ehala, Martin
19.
Eklo, Ole Martin
20.
Eriksson, K. Martin
21.
Eriksson, Martin
22.
Euwema, Martin C.
23.
Ferrer, Elena Martin
24.
Frei, Martin
25.
Freund, Martin
26.
Goroško, Martin
27.
Grabmann, Martin
28.
Graffenberger, Martin
29.
Grimheden, Martin
30.
Grosberg, Martin
31.
Hallik, Martin
32.
Hanson, Martin
33.
Heinvee, Martin
34.
Hendre, Martin
35.
Herrmann, Martin
36.
Holland, Martin
37.
Hurt, Martin
38.
Innes, Martin
39.
Instenberg, Martin
40.
Istenberg, Martin
41.
Jaano Martin Ots
42.
Jaanus, Martin
43.
Jaigma, Martin
44.
Jervan, Martin
45.
Jänes, Martin
46.
Järvekülg, Martin
47.
Jörgen, Martin
48.
Jürise, Martin
49.
Jürisoo, Martin
50.
Kaasik, Martin
51.
Kaitsa, Martin
52.
Kala, Martin
53.
Kaljuste, Martin
54.
Kand, Martin
55.
Kapp, Martin
56.
Karmin, Martin
57.
Karu, Martin
58.
Kask, Martin
59.
Kiil, Martin
60.
Kikas, Martin
61.
Kivimäe, Martin
62.
Kivirand, Martin
63.
Klesment, Martin
64.
Klöker, Martin
65.
Konzelmann, Martin
66.
Kontus, Martin
67.
Koskinen, Martin
68.
Krupicka, Martin
69.
Krupička, Martin
70.
Krõlov, Martin
71.
Käärid, Martin-Sven
72.
Laasmaa, Martin
73.
Lahek, Martin
74.
Laine, Martin
75.
Larsson, Martin
76.
Letko, Martin
77.
Leucker, Martin
78.
Lidberg, Martin
79.
Ligi, Martin
80.
Liira, Martin
81.
Lints, Martin
82.
Lohk, Martin
83.
Lotmam, Eno-Martin
84.
Lotman, Eno-Martin
85.
Ludvigsen, Martin
86.
Luts, Martin
87.
Lääts, Martin
88.
Magnusson, Martin
89.
Maide, Martin
90.
Maiste, Martin
91.
Malm, Martin
92.
Mansson, Martin
93.
Marko Vendelin, Laasmaa, Martin
94.
Martin de la Guardia, Ricardo
95.
Martin, A.
96.
Martin, A. R
97.
Martin, Adam P.
98.
Martin, Andres
99.
Martin, Andrew
100.
Martin, Anni
101.
Martin, B.
102.
Martin, B.-A.
103.
Martin, Benjamin
104.
Martin, Dana
105.
Martin, Emmanuel L.O.
106.
Martin, Floran
107.
Martin, G.
108.
Martin, Georg
109.
Martin, Hans-Georg
110.
Martin, I.
111.
Martin, Ivar
112.
Martin, Jörgen
113.
Martin, Jüri
114.
Martin, K.
115.
Martin, Kevin St.
116.
Martin, Kristian
117.
Martin, Kristiina
118.
Martin, Margus
119.
Martin, Maryline
120.
Martin, Mihkel
121.
Martin, Miina
122.
Martin, O.
123.
Martin, Oskar
124.
Martin, R. W.
125.
Martin, R.W.
126.
Martin, Rasmus
127.
Martin, Rhys
128.
Martin, Robert W.
129.
Martin, T.
130.
Martin-Iglesias, P.
131.
Martin-Iglesias, S.
132.
Martin-Montaner, Joan
133.
Melioranski, Martin
134.
Mets, Martin
135.
Milner, Martin
136.
Minin, Martin
137.
Mistrik, Martin
138.
Mistrík, Martin
139.
Muiste, Martin
140.
Murre, Martin
141.
Must, Martin
142.
Märtin, Hannes
143.
Märtin, Kaarel
144.
Mölder, Martin
145.
Novak, Martin
146.
Nurme, Martin
147.
Ojamaa, Martin
148.
Ots, Jaano Martin
149.
Paalits, Martin
150.
Palacios Acuache, Mariano Martin Genaro
151.
Pall, Martin
152.
Parker, Martin
153.
Parts, Martin
154.
Pelucha, Martin
155.
Playford, Martin P.
156.
Ploom, Martin
157.
Pokorny, Martin
158.
Pärn, Martin
159.
Püssa, Martin
160.
Raik, Jaan Martin
161.
Raud, Martin
162.
Rebane, Martin
163.
Resch, Martin
164.
Riibe, Martin
165.
Risch, Martin
166.
Rodriguez-Martin, Bernardo
167.
Romantschuk, Martin
168.
Romantschuk, Martin L.
169.
Ruzicka, Martin
170.
Ružicka, Martin
171.
Ružička, Martin
172.
Růžička, Martin
173.
Saarnak, Martin
174.
Sahul, Martin
175.
Salumaa, Martin
176.
San Martin, Jose
177.
Sandberg, Martin
178.
Santamarina, Martin
179.
Sarap, Martin
180.
Schallbruch, Martin
181.
Schletterer, Martin
182.
Scholl, Martin
183.
Schröder, Martin
184.
Seçkin, Martin
185.
Serg, Martin
186.
Siegert, Martin
187.
Simon, Martin
188.
Simpson, Martin
189.
Sirovy, Martin
190.
Sirový, Martin
191.
Smutov, Martin
192.
Snellen, Martin
193.
Sobak, Martin
194.
Soe, Ralf-Martin
195.
Spörk, Martin
196.
Stahorsky, Martin
197.
Storheim, Martin
198.
Söderström, Martin
199.
Sykes, Martin T.
200.
Zobel, Martin
201.
Tajmar, Martin
202.
Talu, Martin Johannes
203.
Talvik, Martin
204.
Tamm, Martin
205.
Teras, Roland Martin
206.
Thalfeldt, Martin
207.
Theuerkauf, Martin
208.
Thirkettle, Martin
209.
Tigasson, Martin
210.
Timusk, Martin
211.
Toding, Martin
212.
Tomingas, Martin
213.
Tordik, Martin
214.
Wagner, Martin
215.
Varvas, Martin
216.
Whitehouse, Martin J.
217.
Viirand, Martin
218.
Vlcek, Martin
219.
Vojtek, Martin
220.
Voll, Martin
221.
Vool, Martin
222.
Võru, Martin
223.
Välbe, Martin
name of the person
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-1966
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
2.
Allik, Martin
3.
Eerme, Martin
4.
Grosberg, Martin
5.
Grossberg, Martin
6.
Heinvee, Martin
7.
Jaanus, Martin
8.
Jürise, Martin
9.
Kadak, Albert-Martin 1917-2005
10.
Kand, Martin 1880-1966
11.
Keskküla, Martin
12.
Kesküla, Martin 1888-1979
13.
Kiil, Martin
14.
Käpp, Martin Johannes
15.
Laasmaa, Martin
16.
Lints, Martin
17.
Luts, Martin
18.
Maddison, Ottomar Julius Martin
19.
Martin, Andres
20.
Martin, Benjamin 1892-1969
21.
Martin, Dana
22.
Martin, Ivar
23.
Martin, Kaarel 1894-1954
24.
Martin, Karl
25.
Martin, Oskar 1887-1960
26.
Märtin, Hannes
27.
Märtin, Kaarel
28.
Müürisepp, Gunnar Martin
29.
Nurme, Martin
30.
Pall, Martin
31.
Parker, Martin
32.
Pärn, Martin
33.
Rebane, Martin
34.
Ruzicka, Martin
35.
Růžička, Martin
36.
Ružicka, Martin
37.
Sander, Martin
38.
Sarap, Martin
39.
Sarkans, Martin
40.
Simon, Martin
41.
Soe, Ralf-Martin
42.
Talvik, Martin
43.
Teras, Roland Martin
44.
Thalfeldt, Martin
45.
Toding, Martin
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT