Robert Trypuz

34 papers C 6Misc 1Journal 9Unranked 18
YearRankTypeTitle / Venue / Authors
2025 — conf
Ontology of Autonomous Driving as a Tool for Argumentation on Responsibility.
CLAR
Piotr Kulicki, Robert Trypuz
2024 J jnl
Ontology of autonomous driving based on the SAE J3016 standard.
Semantic Web
Robert Trypuz, Piotr Kulicki, Mirek Sopek
2022 — conf
FAIR Data APIs in the FAIR in Vivo Data Sharing Platform.
SEMANTiCS (Posters & Demos)
Felix Schwagereit, Martin Romacker, Fabien Richard, Robert Trypuz, Thomas Liener, Olivier Roche
2021 C conf
An Infrastructure for Collaborative Ontology Development.
FOIS
Dean Allemang, Pawel Garbacz, Przemyslaw Gradzki, Elisa F. Kendall, Robert Trypuz
2021 J jnl
Who is obliged when many are involved? Labelled transition system modelling of how obligation arises.
Artif. Intell. Law
Piotr Kulicki, Robert Trypuz, Marek J. Sergot
2018 — conf
GraphChain: A Distributed Database with Explicit Semantics and Chained RDF Graphs.
WWW (Companion Volume)
Mirek Sopek, Przemyslaw Gradzki, Witold Kosowski, Dominik Kuzinski, Rafal Trójczak, Robert Trypuz
2018 — conf
Legal Entity Identifier Blockchained by a Hyperledger Indy Implementation of GraphChain.
MTSR
Mirek Sopek, Przemyslaw Gradzki, Dominik Kuzinski, Rafal Trójczak, Robert Trypuz
2018 — conf
Towards a Formal Ethics for Autonomous Cars.
DEON
Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz
2017 J jnl
Connecting Actions and States in Deontic Logic.
Stud Logica
Piotr Kulicki, Robert Trypuz
2017 — conf
Representation of Tensed Relations in OWL - A Survey of Philosophically-Motivated Patterns.
MTSR
Pawel Garbacz, Robert Trypuz
2016 — conf
General Legal Entity Identifier Ontology.
JOWO@FOIS
Robert Trypuz, Dominik Kuzinski, Mirek Sopek
2016 — conf
Machine-Understandable and Processable Representation of UNECE Standards for Meat. Bovine Meat - Carcases and Cuts Case Study.
MTSR
Robert Trypuz, Piotr Kulicki, Przemyslaw Gradzki, Rafal Trójczak, Jerzy Wierzbicki
2016 — conf
Multivalued Logics for Conflicting Norms.
DEON
Piotr Kulicki, Robert Trypuz
2015 J jnl
Completely and partially executable sequences of actions in deontic context.
Synth.
Piotr Kulicki, Robert Trypuz
2015 J jnl
Jerzy Kalinowski's Logic of Normative Sentences Revisited.
Stud Logica
Robert Trypuz, Piotr Kulicki
2015 C conf
Knowledge transfer from agri-food scientific papers to a knowledge base.
FedCSIS
Rafal Trójczak, Robert Trypuz, Anna Mazurek, Piotr Kulicki
2015 J jnl
On deontic action logics based on Boolean algebra.
J. Log. Comput.
Robert Trypuz, Piotr Kulicki
2014 — conf
A Deontic Logic of Actions and States.
DEON
Robert Trypuz, Piotr Kulicki
2013 J jnl
A metaontology for applied ontology.
Appl. Ontology
Pawel Garbacz, Robert Trypuz
2013 C conf
Evaluation of beef production and consumption ontology and presentation of its actual and potential applications.
FedCSIS
Rafal Trójczak, Robert Trypuz, Przemyslaw Gradzki, Jerzy Wierzbicki, Alicja Wozniak
2013 — conf
Ontology-Based Representation of Scientific Laws on Beef Production and Consumption.
MTSR
Piotr Kulicki, Robert Trypuz, Rafal Trójczak, Jerzy Wierzbicki, Alicja Wozniak
2012 — conf
A Deontic Action Logic with Sequential Composition of Actions.
DEON
Piotr Kulicki, Robert Trypuz
2012 C conf
Towards beef ontology and its application.
FedCSIS
Piotr Kulicki, Robert Trypuz, Jerzy Wierzbicki
2011 — conf
A Metaontology for Ontological Engineering: A Philosophers' Perspective.
FOMI
Pawel Garbacz, Robert Trypuz
2011 J jnl
Using the Perseus System for Modelling Epistemic Interactions.
Trans. Comput. Collect. Intell.
Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski
2010 J jnl
A Completeness Proof of Kiczuk's Logic of Physical Change.
Stud Logica
Robert Trypuz
2010 — conf
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra.
DEON
Robert Trypuz, Piotr Kulicki
2010 C conf
Towards a formal ontology for history of church administration.
FOIS
Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr Kulicki, Przemyslaw Gradzki, Marek Lechniak
2010 — conf
Using Perseus System for Modelling Epistemic Interactions.
KES-AMSTA (1)
Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski
2009 — conf
A Formal Model for Epistemic Interactions.
ICCCI (SCI Volume)
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz
2009 Misc conf
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.
KI
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz
2009 — conf
Do you still want to vote for your favorite politician? Ask Ontobella!
FOMI
Pawel Garbacz, Marek Lechniak, Piotr Kulicki, Robert Trypuz
2007 — conf
Designing Organizations: Towards a Model.
Normative Multi-agent Systems
Emanuele Bottazzi, Roberta Ferrario, Claudio Masolo, Robert Trypuz
2006 C conf
Towards an ontology of agency and action From STIT to OntoSTIT+.
FOIS
Nicolas Troquard, Robert Trypuz, Laure Vieu