Alena Lukasová

According to our database, Alena Lukasová authored at least 7 papers between 1979 and 2019.

Collaborative distances:

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

2019

Semantic Web Languages: Expressivity of SWL.

Martin Zácek, Alena Lukasová, Marek Vajgl, Zdenka Telnarová

Proceedings of the Intelligent Information and Database Systems: Recent Developments, 2019

2018

Ontology Languages for Semantic Web from a Bit Higher Level of Generality.

Martin Zácek, Alena Lukasová, Marek Vajgl

Proceedings of the Intelligent Information and Database Systems - 10th Asian Conference, 2018

2017

Reasoning in Formal Systems of Extended RDF Networks.

Alena Lukasová, Martin Zácek, Marek Vajgl

Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017

2014

Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF.

Alena Lukasová, Martin Zácek, Marek Vajgl

Proceedings of the Modern Trends and Techniques in Computer Science, 2014

2010

Reasoning in RDFgraphic formal system with quantifiers .

Alena Lukasová, Marek Vajgl, Martin Zácek

Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

2005

Reasoning with Semantic Tableau Binary Trees in Description Logic.

Alena Lukasová

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

1979

Hierarchical agglomerative clustering procedure.

Alena Lukasová

Pattern Recognit., 1979