Nikola Ciprich

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Nikola Ciprich
Using LLVM for a Functional Programming Language Implementation. EJC (2011)
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík
Deductive Reasoning using TIL. RASLAN (2009)
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík
Agents' reasoning using TIL-Script and Prolog. EJC (2009)
Nikola Ciprich, Marie Duzí, Michal Kosinár
The TIL-Script Language. EJC (2008)
Nikola Ciprich, Marie Duzí, Tomás Frydrych, Ondrej Kohut, Michal Kosinár
The Architecture of an Intelligent Agent in MAS. EJC (2008)
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík
TIL and Logic Programming. RASLAN (2008)
Nikola Ciprich, Marie Duzí, Michal Kosinár
Functional Programming Based on Transparent Intensional Logic. RASLAN (2007)