![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jirí Vyskocil
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c29]Jirí Vyskocil, Lukás Picek:
VinVL+L: Enriching Visual Representation with Location Context in VQA. CVWW 2023 - 2022
- [c28]Jan Krejcí, Ondrej Straka, Jirí Vyskocil, Miroslav Jirík, Uta Dahmen:
Feature-Based Multi-Object Tracking With Maximally One Object per Class. FUSION 2022: 1-8 - [c27]Adam Mertel, Wildan Abdussalam
, Jirí Vyskocil, Justin M. Calabrese:
Infrastructure for spatiotemporal exploration of interregional and international interaction of epidemiological data (DEMO PAPER). SIGSPATIAL/GIS 2022: 99:1-99:4 - [c26]Petr Novák, Petr Douda, Petr Kadera, Jirí Vyskocil:
PyMES: Distributed Manufacturing Execution System for Flexible Industry 4.0 Cyber-Physical Production Systems. SMC 2022: 235-241 - 2021
- [j2]Bernhard Wally
, Jirí Vyskocil
, Petr Novák
, Christian Huemer
, Radek Sindelár
, Petr Kadera
, Alexandra Mazak-Huemer
, Manuel Wimmer
:
Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems. IEEE Trans Autom. Sci. Eng. 18(1): 230-243 (2021) - [c25]Dietmar Winkler, Petr Novák, Jirí Vyskocil, Kristof Meixner, Stefan Biffl:
Industry 4.0 Asset-based Risk Mitigation for Production Operation. CASE 2021: 278-285 - [c24]Jirí Vyskocil, Lukás Picek:
Improving web user interface element detection using Faster R-CNN. CLEF (Working Notes) 2021: 1375-1386 - [c23]Petr Novák, Petr Douda, Jirí Vyskocil, Bernhard Wally:
PyAML: Enhancing AutomationML for Advanced Virtualization of Industry 4.0 Cyber-Physical Production Systems with Python Code Injections. ETFA 2021: 1-8 - [c22]Dietmar Winkler, Petr Novák, Kristof Meixner, Jirí Vyskocil, Felix Rinker
, Stefan Biffl:
Product-Process-Resource Asset Networks as Foundation for Improving CPPS Engineering. ETFA 2021: 1-4 - 2020
- [c21]Petr Novák, Simon Stoszek, Jirí Vyskocil
:
Calibrating Industrial Robots with Absolute Position Tracking System. ETFA 2020: 1187-1190
2010 – 2019
- 2019
- [j1]Bernhard Wally
, Jirí Vyskocil
, Petr Novák
, Christian Huemer
, Radek Sindelár
, Petr Kadera
, Alexandra Mazak
, Manuel Wimmer
:
Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL. IEEE Robotics Autom. Lett. 4(4): 4062-4069 (2019) - [c20]Petr Novák, Jirí Vyskocil
, Petr Kadera
, Lukas Kathrein, Kristof Meixner
, Dietmar Winkler, Stefan Biffl:
Engineering Roles and Information Modeling for Industry 4.0 Production System Engineering. ETFA 2019: 1669-1672 - [c19]Petr Novák
, Jirí Vyskocil, Petr Kadera
:
Plan Executor MES: Manufacturing Execution System Combined with a Planner for Industry 4.0 Production Systems. HoloMAS 2019: 67-80 - [c18]Bernhard Wally
, Jirí Vyskocil
, Petr Novák, Christian Huemer
, Radek Sindelár, Petr Kadera
, Alexandra Mazak, Manuel Wimmer:
Production Planning with IEC 62264 and PDDL. INDIN 2019: 492-499 - [i6]Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak, Manuel Wimmer:
Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL. CoRR abs/1911.05481 (2019) - 2017
- [c17]Cezary Kaliszyk
, Josef Urban, Jirí Vyskocil:
Automating Formalization by Statistical and Semantic Parsing of Mathematics. ITP 2017: 12-27 - [c16]Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
System Description: Statistical Parsing of Informalized Mizar Formulas. SYNASC 2017: 169-172 - 2016
- [i5]Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving. CoRR abs/1611.09703 (2016) - 2015
- [c15]Cezary Kaliszyk
, Stephan Schulz, Josef Urban, Jirí Vyskocil:
System Description: E.T. 0.1. CADE 2015: 389-398 - [c14]Cezary Kaliszyk
, Josef Urban, Jirí Vyskocil:
Certified Connection Tableaux Proofs for HOL Light and TPTP. CPP 2015: 59-66 - [c13]Cezary Kaliszyk
, Josef Urban, Jirí Vyskocil:
Lemmatization for Stronger Reasoning in Large Theories. FroCos 2015: 341-356 - [c12]Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Efficient Semantic Features for Automated Reasoning over Large Theories. IJCAI 2015: 3084-3090 - [c11]Cezary Kaliszyk
, Josef Urban, Jirí Vyskocil:
Learning to Parse on Aligned Corpora (Rough Diamond). ITP 2015: 227-233 - [c10]Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Improving Statistical Linguistic Algorithms for Parsing Mathematics. IWIL@LPAR 2015: 27-36 - 2014
- [c9]Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Machine Learner for Automated Reasoning 0.4 and 0.5. PAAR@IJCAR 2014: 60-66 - [c8]Cezary Kaliszyk
, Josef Urban, Jirí Vyskocil, Herman Geuvers:
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description. CICM 2014: 435-439 - [i4]Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Machine Learner for Automated Reasoning 0.4 and 0.5. CoRR abs/1402.2359 (2014) - [i3]Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers:
Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description. CoRR abs/1405.3451 (2014) - [i2]Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Certified Connection Tableaux Proofs for HOL Light and TPTP. CoRR abs/1410.5476 (2014) - 2013
- [c7]Josef Urban, Jirí Vyskocil:
Theorem Proving in Large Formal Mathematics as an Emerging AI Field. Automated Reasoning and Mathematics 2013: 240-257 - 2012
- [i1]Josef Urban, Jirí Vyskocil:
Theorem Proving in Large Formal Mathematics as an Emerging AI Field. CoRR abs/1209.3914 (2012) - 2011
- [c6]Josef Urban, Jirí Vyskocil, Petr Stepánek:
MaLeCoP Machine Learning Connection Prover. TABLEAUX 2011: 263-277 - 2010
- [c5]Jirí Vyskocil, David Stanovský
, Josef Urban:
Automated Proof Compression by Invention of New Definitions. LPAR (Dakar) 2010: 447-462
2000 – 2009
- 2008
- [c4]Josef Urban, Geoff Sutcliffe
, Petr Pudlák, Jirí Vyskocil:
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456 - 2007
- [c3]Pavel Surynek, Lukás Chrpa, Jirí Vyskocil:
Solving Difficult Problems by Viewing them as Structured Dense Graphs. IICAI 2007: 84-103 - [c2]Jirí Vyskocil, Petr Stepánek:
Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. MICAI 2007: 305-315 - [c1]Lukás Chrpa, Pavel Surynek
, Jirí Vyskocil:
Encoding of Planning Problems and Their Optimizations in Linear Logic. INAP/WLP 2007: 54-68
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint