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
Advanced search
My bookmarks
0
Verrev, Martin (author)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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/316)
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
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
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-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
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