Follow
Robert Trypuz
Robert Trypuz
Hoffmann-La Roche
Verified email at trypuz.pl - Homepage
Title
Cited by
Cited by
Year
On deontic action logics based on Boolean algebra
R Trypuz, P Kulicki
Journal of Logic and Computation, 2013
402013
Formal Ontology of Action: a unifying approach
R Trypuz
402008
GraphChain: a distributed database with explicit semantics and chained RDF graphs
M Sopek, P Gradzki, W Kosowski, D Kuziski, R Trójczak, R Trypuz
Companion Proceedings of the The Web Conference 2018, 1171-1178, 2018
392018
A systematics of deontic action logics based on boolean algebra
R Trypuz, P Kulicki
Logic & Logical Philosophy 18, 2009
372009
The polish school of argumentation: A manifesto
K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ...
Argumentation 28, 267-282, 2014
232014
Towards an ontology of agency and action: From STIT to OntoSTIT+
N Troquard, R Trypuz, L Vieu
Frontiers in Artificial Intelligence and Applications 150, 179, 2006
212006
Ontologie poza ontologią
P Garbacz, R Trypuz
Wydawnictwo KUL, 2012
202012
Towards metalogical systematisation of deontic action logics based on boolean algebra
R Trypuz, P Kulicki
Deontic Logic in Computer Science: 10th International Conference, DEON 2010 …, 2010
202010
A norm-giver meets deontic action logic
R Trypuz, P Kulicki
Logic and Logical Philosophy 20, 59--72, 2011
122011
A formal ontology of knowing and knowledge
P Garbacz, P Kulicki, R Trypuz
Knowledge Management Research & Practice 10, 206-226, 2012
112012
Introduction
R Trypuz
Krister Segerberg on Logic of Actions, 2014
10*2014
Do you still want to vote for your favorite politician? Ask Ontobella!
P Garbacz, M Lechniak, P Kulicki, R Trypuz
FOMI, 102-113, 2009
102009
A metaontology for applied ontology
P Garbacz, R Trypuz
Applied Ontology 8 (1), 1-30, 2013
92013
How to build a deontic action logic
P Kulicki, R Trypuz
92012
Connecting actions and states in deontic logic
P Kulicki, R Trypuz
Studia Logica 105, 915-942, 2017
82017
Multivalued Logics for Conflicting Norms.
P Kulicki, R Trypuz
DEON, 123-138, 2016
82016
General Legal Entity Identifier Ontology.
R Trypuz, D Kuzinski, M Sopek
JOWO@ FOIS, 2016
82016
Towards beef production and consumption ontology and its application
P Kulicki, R Trypuz, J Wierzbicki
2012 Federated Conference on Computer Science and Information Systems …, 2012
82012
A deontic action logic with sequential composition of actions
P Kulicki, R Trypuz
Deontic Logic in Computer Science: 11th International Conference, DEON 2012 …, 2012
82012
Bity i byty. O pewnym mało znanym zastosowaniu ontologii
R Trypuz, P Garbacz
Filozofia Nauki 15 (3), 121-140, 2007
82007
The system can't perform the operation now. Try again later.
Articles 1–20