Nikola Ciprich

According to our database, Nikola Ciprich authored at least 7 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Using LLVM for a Functional Programming Language Implementation.

Nikola Ciprich

Proceedings of the Information Modelling and Knowledge Bases XXIII, 2011

2009

Deductive Reasoning using TIL.

Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík

Proceedings of the 3rd Workshop on Recent Advances in Slavonic Natural Languages Processing, 2009

Agents' reasoning using TIL-Script and Prolog.

Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXI, 2009

2008

TIL and Logic Programming.

Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík

Proceedings of the 2nd Workshop on Recent Advances in Slavonic Natural Languages Processing, 2008

The TIL-Script Language.

Nikola Ciprich, Marie Duzí, Michal Kosinár

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

The Architecture of an Intelligent Agent in MAS.

Nikola Ciprich, Marie Duzí, Tomás Frydrych, Ondrej Kohut, Michal Kosinár

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

2007

Functional Programming Based on Transparent Intensional Logic.

Nikola Ciprich, Marie Duzí, Michal Kosinár

Proceedings of the 1st Workshop on Recent Advances in Slavonic Natural Languages Processing, 2007