Robert Trypuz

According to our database, Robert Trypuz authored at least 31 papers between 2006 and 2022.

Collaborative distances:

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

2022

FAIR Data APIs in the FAIR in Vivo Data Sharing Platform.

Felix Schwagereit, Martin Romacker, Fabien Richard, Robert Trypuz, Thomas Liener, Olivier Roche

Proceedings of Poster and Demo Track and Workshop Track of the 18th International Conference on Semantic Systems co-located with 18th International Conference on Semantic Systems (SEMANTiCS 2022), 2022

2021

Who is obliged when many are involved? Labelled transition system modelling of how obligation arises.

Piotr Kulicki, Robert Trypuz, Marek J. Sergot

Artif. Intell. Law, 2021

An Infrastructure for Collaborative Ontology Development.

Dean Allemang, Pawel Garbacz, Przemyslaw Gradzki, Elisa F. Kendall, Robert Trypuz

Proceedings of the Formal Ontology in Information Systems, 2021

2018

GraphChain: A Distributed Database with Explicit Semantics and Chained RDF Graphs.

Mirek Sopek, Przemyslaw Gradzki, Witold Kosowski, Dominik Kuzinski, Rafal Trójczak, Robert Trypuz

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Legal Entity Identifier Blockchained by a Hyperledger Indy Implementation of GraphChain.

Mirek Sopek, Przemyslaw Gradzki, Dominik Kuzinski, Rafal Trójczak, Robert Trypuz

Proceedings of the Metadata and Semantic Research - 12th International Conference, 2018

Towards a Formal Ethics for Autonomous Cars.

Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

2017

Connecting Actions and States in Deontic Logic.

Piotr Kulicki, Robert Trypuz

Stud Logica, 2017

Representation of Tensed Relations in OWL - A Survey of Philosophically-Motivated Patterns.

Pawel Garbacz, Robert Trypuz

Proceedings of the Metadata and Semantic Research - 11th International Conference, 2017

2016

Machine-Understandable and Processable Representation of UNECE Standards for Meat. Bovine Meat - Carcases and Cuts Case Study.

Robert Trypuz, Piotr Kulicki, Przemyslaw Gradzki, Rafal Trójczak, Jerzy Wierzbicki

Proceedings of the Metadata and Semantics Research - 10th International Conference, 2016

General Legal Entity Identifier Ontology.

Robert Trypuz, Dominik Kuzinski, Mirek Sopek

Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), 2016

Multivalued Logics for Conflicting Norms.

Piotr Kulicki, Robert Trypuz

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015

Completely and partially executable sequences of actions in deontic context.

Piotr Kulicki, Robert Trypuz

Synth., 2015

Jerzy Kalinowski's Logic of Normative Sentences Revisited.

Robert Trypuz, Piotr Kulicki

Stud Logica, 2015

On deontic action logics based on Boolean algebra.

Robert Trypuz, Piotr Kulicki

J. Log. Comput., 2015

Knowledge transfer from agri-food scientific papers to a knowledge base.

Rafal Trójczak, Robert Trypuz, Anna Mazurek, Piotr Kulicki

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

A Deontic Logic of Actions and States.

Robert Trypuz, Piotr Kulicki

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

2013

A metaontology for applied ontology.

Pawel Garbacz, Robert Trypuz

Appl. Ontology, 2013

Ontology-Based Representation of Scientific Laws on Beef Production and Consumption.

Piotr Kulicki, Robert Trypuz, Rafal Trójczak, Jerzy Wierzbicki, Alicja Wozniak

Proceedings of the Metadata and Semantics Research - 7th Research Conference, 2013

Evaluation of beef production and consumption ontology and presentation of its actual and potential applications.

Rafal Trójczak, Robert Trypuz, Przemyslaw Gradzki, Jerzy Wierzbicki, Alicja Wozniak

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

Towards beef ontology and its application.

Piotr Kulicki, Robert Trypuz, Jerzy Wierzbicki

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

A Deontic Action Logic with Sequential Composition of Actions.

Piotr Kulicki, Robert Trypuz

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2011

Using the Perseus System for Modelling Epistemic Interactions.

Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski

Trans. Comput. Collect. Intell., 2011

A Metaontology for Ontological Engineering: A Philosophers' Perspective.

Pawel Garbacz, Robert Trypuz

Proceedings of the Formal Ontologies Meet Industry, 2011

2010

A Completeness Proof of Kiczuk's Logic of Physical Change.

Robert Trypuz

Stud Logica, 2010

Towards a formal ontology for history of church administration.

Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr Kulicki, Przemyslaw Gradzki, Marek Lechniak

Proceedings of the Formal Ontology in Information Systems, 2010

Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra.

Robert Trypuz, Piotr Kulicki

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2009

Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.

Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

A Formal Model for Epistemic Interactions.

Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz

Proceedings of the New Challenges in Computational Collective Intelligence [selected papers from the 1st International Conference on Collective Intelligence, 2009

Do you still want to vote for your favorite politician? Ask Ontobella!

Pawel Garbacz, Marek Lechniak, Piotr Kulicki, Robert Trypuz

Proceedings of the Formal Ontologies Meet Industry, 2009

2007

Designing Organizations: Towards a Model.

Emanuele Bottazzi, Roberta Ferrario, Claudio Masolo, Robert Trypuz

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

2006

Towards an ontology of agency and action From STIT to OntoSTIT+.

Nicolas Troquard, Robert Trypuz, Laure Vieu

Proceedings of the Formal Ontology in Information Systems, 2006