Robert Trypuz

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 11

Top Topics

Scientific Papers

Top Venues

Publications

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