Publications

53 entries « 1 of 2 »

2017

Trypuz, Robert; Kulicki, Piotr

Connecting actions and states in deontic logic Journal Article Forthcoming

Studia Logica, Forthcoming.

Abstract | Links | BibTeX | Tagi: deontic logic, logic of action

Garbacz, Pawel; Trypuz, Robert

Representation of tensed relations in OWL. A survey of philosophically-motivated patterns Inproceedings

11th Metadata and Semantics Research Conference, November 28th -- December 1st 2017, Tallinn, Estonia, 2017.

BibTeX | Tagi:

2016

Trypuz, Robert; Kulicki, Piotr; Grądzki, Przemysław; Trójczak, Rafał; Wierzbicki, Jerzy

Machine-understandable and processable representation of UNECE standards for meat. Bovine Meat - Carcases and Cuts case study Inproceedings

MTSR 2016, 2016.

Abstract | BibTeX | Tagi: applied ontology

Trypuz, Robert; Kuziński, Dominik; Sopek, Mirek

General Legal Entity Identifier Ontology Inproceedings

FOIS 2016, Formal Ontology Competition, 2016.

Abstract | BibTeX | Tagi: applied ontology, Legal Entity Identifier, LEI

Kulicki, Piotr; Trypuz, Robert

Multivalued logics for conflicting norm Inproceedings

Deontic Logic and Normative Systems (DEON 2016), pp. 123-138, College Publications, 2016.

BibTeX | Tagi: deontic logic

2015

Trójczak, Rafał; Trypuz, Robert; Kulicki, Piotr

Ontologia praw naukowych w kontekście reprezentacji i udostępniania wyników badań naukowych Journal Article

Filozofia Nauki, 2015.

BibTeX | Tagi: applied ontology, klasyfikacja praw naukowych, knowledge representation, reprezentacja wyników badań naukowych

Trypuz, Robert; Kulicki, Piotr

Jerzy Kalinowski's logic of normative sentences revisited Journal Article

Studia Logica, 103 (2), pp. 389-412, 2015, ISSN: 0039-3215.

Abstract | Links | BibTeX | Tagi: deontic action logic, Jerzy Kalinowski, Krister Segerberg, moral indiscernibility of actions

Kulicki, Piotr; Trypuz, Robert

Completely and partially executable sequences of actions in deontic context Journal Article

Synthese, 192 (4), pp. 1117-1138, 2015, ISSN: 0039-7857.

Abstract | Links | BibTeX | Tagi: deontic action logic, logic of procedures, sequential composition of actions, successful and unsuccessful actions

Trypuz, Robert; Kulicki, Piotr

On deontic action logics based on Boolean algebra Journal Article

Journal of Logic and Computation, 25 (5), pp. 1241-1260, 2015.

Abstract | Links | BibTeX | Tagi: deontic logic

Trójczak, Rafał; Trypuz, Robert; Mazurek, Anna; Kulicki, Piotr

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

The Federated Conference on Computer Science and Information Systems 2015, 2015.

Abstract | BibTeX | Tagi:

2014

Budzynska, Katarzyna; Araszkiewicz, Michal; Bogołȩbska, Barbara; Cap, Piotr; Ciecierski, Tadeusz; Debowska-Kozlowska, Kamila; Dunin-Kȩplicz, Barbara; Dziubiński, Marcin; Federowicz, Michał; Gomolińska, Anna; Grabowski, Andrzej; Hołówka, Teresa; Jochemczyk, Łukasz; Kacprzak, Magdalena; Kawalec, Paweł; Kielar, Maciej; Kisielewicz, Andrzej; Koszowy, Marcin; Kublikowski, Robert; Kulicki, Piotr; Kuzio, Anna; Lewiński, Piotr; Lichański, Jakub Z; Malinowski, Jacek; Marciszewski, Witold; Nieznański, Edward; Pietrzak, Janina; Pogonowski, Jerzy; Puczyłowski, Tomasz A; Rytel, Jolanta; Sawicka, Anna; Selinger, Marcin; Skowron, Andrzej; Skulska, Joanna; Smolak, Marek; Sokół, Małgorzata; Sowińska, Agnieszka; Stalmaszczyk, Piotr; Stawecki, Tomasz; Stepaniuk, Jarosław; Strachocka, Alina; Suchoń, Wojciech; Szymanek, Krzysztof; Tomczyk, Justyna; Trypuz, Robert; Trzȩsicki, Kazimierz; Urbański, Mariusz; Wasilewska-Kamińska, Ewa; Wieczorek, Krzysztof A; Witek, Maciej; Wybraniec-Skardowska, Urszula; Yaskorska, Olena; Załȩska, Maria; Zdanowski, Konrad; Żurek, Tomasz

The Polish School of Argumentation: A Manifesto Journal Article

Argumentation, 28 (3), pp. 267-282, 2014, ISSN: 0920-427X.

Abstract | Links | BibTeX | Tagi: argumentation

Trypuz, Robert; Kulicki, Piotr; Wierzbicki, Jerzy; Woźniak, Alicja; Carlhian, Bruno

Vers des standards automatisés dans la production de viande? Journal Article

Viandes & Produits Carnés, 30 , 2014, (Référence de l’article : VPC-2014-30-4-1 Date de publication : 08 juillet 2014).

Abstract | Links | BibTeX | Tagi:

Trypuz, Robert; Kulicki, Piotr

A deontic logic of actions and states Incollection

Cariani, Fabrizio; Grossi, Davide; Meheus, Joke; Parent, Xavier (Ed.): Deontic Logic and Normative Systems, 8554 , pp. 258-272, Springer, 2014, ISBN: 978-3-319-08614-9.

Abstract | Links | BibTeX | Tagi: deontic logic

Trypuz, Robert (Ed.)

Krister Segerberg on Logic of Actions Book

Springer, 2014, ISBN: 978-94-007-7045-4.

Abstract | Links | BibTeX | Tagi: deontic logic, doxastic logic, Krister Segerberg, logic of action

Trypuz, Robert

O nazywaniu przedmiotów - czyli jak Tadeusz Kotarbiński uczy rozumieć Ontologię Stanisława Leśniewskiego Journal Article

Roczniki Filozoficzne, 62 (1), pp. 37-51, 2014, ISSN: 0035-7685.

Abstract | Links | BibTeX | Tagi: Ontologia Leśniewskiego, teoria nazw

Kulicki, Piotr; Trypuz, Robert; Trójczak, Rafał; Wierzbicki, Jerzy; Woźniak, Alicja

Semantic representation of proved and disproved statements extracted from scientific papers. Meat science case study Journal Article

Information Processing in Agriculture, 1 (1), pp. 66–72, 2014.

Abstract | Links | BibTeX | Tagi: beef, livestock, ontology, scientific law

2013

Kulicki, Piotr; Trypuz, Robert; Trójczak, Rafal; Wierzbicki, Jerzy; Woźniak, Alicja

Ontology-based representation of scientific laws Incollection

Garoufallou, E; Greenberg, J (Ed.): MTSR 2013, 390 , pp. 430–439, Springer-Verlag Berlin Heidelberg, 2013, ISBN: 978-3-319-03436-2.

Abstract | Links | BibTeX | Tagi: applied ontology, beef ontology, knowledge representation, ontology of livestock, ontology of scientific law

Trójczak, Rafal; Trypuz, Robert; Grądzki, Przemysław; Wierzbicki, Jerzy; Woźniak, Alicja

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

Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS), pp. 275 – 278, IEEE, 2013.

Abstract | Links | BibTeX | Tagi: applied ontology, beef ontology, knowledge representation, ontology of livestock

Kulicki, Piotr; Trypuz, Robert

Modelowanie działań i norm w logice deontycznej Incollection

Księga Pamiątkowa, pp. 57-70, Wydawnictwo Adam Marszałek, 2013.

BibTeX | Tagi: deontic logic

Garbacz, Pawel; Trypuz, Robert

A Metaontology for Applied Ontology Journal Article

Journal of Applied Ontology, 8 (1), pp. 1-30, 2013, ISSN: 1570-5838.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, Meta-ontology, philosophy

Kulicki, Piotr; Trypuz, Robert

Two faces of obligation Incollection

Brożek, Anna; Jadacki, Jacek; Zarnic, Berislav (Ed.): Theory of Imperatives from Different Points of View, Wydawnictwo Naukowe Semper, 2013, ISBN: 978-83-7507-205-1.

Abstract | Links | BibTeX | Tagi: deontic logic

2012

Kulicki, Piotr; Trypuz, Robert

A deontic action logic with sequential composition of actions Inproceedings

Agotnes, Thomas; Broersen, Jan; Elgesem, Dag (Ed.): Deontic Logic in Computer Science, Lecture Notes in Computer Science, pp. 184–198, Springer Berlin / Heidelberg, DOI: 10.1007/978-3-642-31570-1_13, 2012, ISBN: 978-3-642-31569-5.

Abstract | Links | BibTeX | Tagi: deontic logic, logic of action

Garbacz, P; Kulicki, P; Trypuz, R

A formal ontology of knowing and knowledge Journal Article

Knowledge Management Research & Practice, 10 , pp. 206–-226, 2012.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, ontology of knowledge, transfer of knowledge

Garbacz, Pawel; Trypuz, Robert

Ontologie poza ontologia -- Studium metateoretyczne u podstaw informatyki Book

Wydawnictwo KUL, 2012.

Links | BibTeX | Tagi: applied ontology, knowledge representation, Meta-ontology

Kulicki, Piotr; Trypuz, Robert; Wierzbicki, Jerzy

Towards beef production and consumption ontology and its application Inproceedings

Proceedings of the Federated Conference on Computer Science and Information Systems, pp. 483–-488, 2012, ISBN: 978-1-4673-0708-6.

Links | BibTeX | Tagi: applied ontology, beef ontology, knowledge representation, ontology of livestock

Kulicki, Piotr; Trypuz, Robert

Doing the right things -- trivalence in deontic action logic Inproceedings

Egre, Paul; Ripley, David (Ed.): Trivalent Logics and their applications, Proceedings of the ESSLLI 2012 Workshop, pp. 53-63, 2012.

BibTeX | Tagi:

2011

Garbacz, Pawel; Trypuz, Robert

A Metaontology for Ontological Engineering: A Philosophers' Perspective Inproceedings

Vermaas, Pieter E; Dignum, Virginia (Ed.): Formal Ontologies Meet Industry - Proceedings of the Fifth International Workshop (FOMI 2011), pp. 16 - 27, IOS Press, 2011.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, Meta-ontology, philosophy

Trypuz, Robert; Kulicki, Piotr

A Norm-giver Meets Deontic Action Logic Journal Article

Logic and Logical Philosophy, 20 , pp. 59–-72, 2011.

Abstract | Links | BibTeX | Tagi: abilities, deontic logic

Kulicki, Piotr; Trypuz, Robert

How to Build a Deontic Action Logic Inproceedings

The Logica Yearbook, pp. 107–-120, College Publications, 2011.

Abstract | Links | BibTeX | Tagi: deontic logic, multivalued logic

Trypuz, Robert

Simple Theory of Norm and Action Incollection

Brożek, Anna; Jadacki, Jacek; Zarnic, Berislav (Ed.): Theory of Imperatives from Different Points of View, pp. 120 – 136, Wydawnictwo Naukowe Semper, 2011, ISBN: 978-83-7507-078-1.

Links | BibTeX | Tagi: deontic logic

Kacprzak, M; Kulicki, P; Garbacz, P; Trypuz, R; Budzynska, K; Lechniak, M; Rembelski, P

Using Perseus system for modelling epistemic interactions Journal Article

Transactions on Computational Collective Intelligence LNCS, 5 , pp. 106–123, 2011, ISBN: 978-3-642-24015-7.

Abstract | Links | BibTeX | Tagi: dynamic epistemic logic, knowledge representation, multi agent systems

2010

Garbacz, P; Trypuz, R; Szady, B; Kulicki, P; Gradzki, P; Lechniak, M

Towards a formal ontology for history of church administration Inproceedings

International Conference on Formal Ontology in Information Systems (FOIS), pp. 345–358, IOS Press, 2010, ISBN: 978-1-60750-534-1.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, ontology for history

Trypuz, Robert

A Completeness Proof of Kiczuk's Logic of Physical Change Journal Article

Studia Logica, 2010, ISBN: 0039-3215.

Abstract | Links | BibTeX | Tagi: logic of change

Kulicki, P; Garbacz, P; Trypuz, R; Lechniak, M

Epistemic capacities, incompatible information and incomplete beliefs Inproceedings

ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10), 2010.

Abstract | Links | BibTeX | Tagi: applied ontology, epistemic interactions, knowledge representation

Garbacz, P; Kulicki, P; Lechniak, M; Trypuz, R

Ontologia w rozwiązywaniu zadań Inproceedings

DiaLogikon, pp. 63–84, Wydawnictwo Uniwersytetu Jagiellonskiego, 2010.

BibTeX | Tagi: applied ontology

Trypuz, Robert; Kulicki, Piotr

Towards metalogical systematisation of deontic action logics based on Boolean algebra Inproceedings

Governatori, Guido; Sartor, Giovanni (Ed.): Deontic Logic in Computer Science (DEON 2010), pp. 132–147, 2010, ISBN: 978-3-642-14182-9.

Abstract | Links | BibTeX | Tagi: deontic logic

Kacprzak, M; Kulicki, P; Trypuz, R; Budzynska, K; Garbacz, P; Lechniak, M; Rembelski, P

Using Perseus system for modelling epistemic interactions Inproceedings

P. Jedrzejowicz N. T. Nhuyen, Howlett R J; Jain, L C (Ed.): Agent and Multi-Agent Systems: Technologies and Applications, 4th International Symposium, KES-AMSTA 2010, Part I, pp. 205–216, Springer, 2010, ISBN: 978-3-642-13479-1.

Abstract | Links | BibTeX | Tagi: abilities, epistemic interactions, multi agent systems

2009

Garbacz, P; Kulicki, P; Lechniak, M; Trypuz, R

A formal model for epistemic interactions Inproceedings

Nguyen, N T; Katarzyniak, R; Janiak, A (Ed.): New Challenges in Computational Collective Intelligence, pp. 205–216, Springer, 2009, ISBN: 978-3-642-03957-7.

Abstract | Links | BibTeX | Tagi: abilities, epistemic interactions, knowledge representation

Trypuz, Robert; Kulicki, Piotr

A systematics of deontic action logics based on Boolean algebra Journal Article

Logic and Logical Philosophy, 18 (3--4), pp. 253–270, 2009.

Abstract | Links | BibTeX | Tagi: deontic logic

Garbacz, P; Kulicki, P; Lechniak, M; Trypuz, R

Beyond Public Announcement Logic, An Alternative Approach to some AI Puzzles Inproceedings

Mertsching, B; Hund, M; Aziz, Z (Ed.): KI 2009: Advances in Artificial Intelligence, pp. 379–-386, Springer, 2009.

Abstract | Links | BibTeX | Tagi: epistemic interactions, knowledge representation, ontology of knowledge, Public Announcement Logic

Garbacz, Pawel; Lechniak, Marek; Kulicki, Piotr; Trypuz, Robert

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

FOMI, pp. 102-113, 2009.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, ontology of knowledge

Garbacz, Pawel; Lechniak, Marek; Kulicki, Piotr; Trypuz, Robert

Inżynieryjna ontologia przekonań Ontobella Inproceedings

Grzech, A; Juszczyn, K; Kwasnicka, H; Nguyen, N T (Ed.): Inżynieria Wiedzy i Systemy Ekspertowe, Akademicka Oficyna Wydawnicza EXIT, 2009.

Links | BibTeX | Tagi: applied ontology, knowledge representation, ontology of knowledge

Trypuz, Robert

Przyczynek do analizy wartości poznawczej systemów logiki sprawczości Journal Article

Roczniki Filozoficzne, LVII (1), 2009.

Links | BibTeX | Tagi: abilities, agency

Garbacz, P; Kulicki, P; Lechniak, M; Trypuz, R

Tadeusza Czeżowskiego koncepcja przekonań a filozoficzne podstawy inżynieryjnej ontologii przekonań Journal Article

Ruch Filozoficzny, 1 , pp. 709–724, 2009.

Links | BibTeX | Tagi: applied ontology, ontology of knowledge

2008

Trypuz, Robert

Setna -- prosta teoria norm i działań Journal Article

Filozofia Nauki, 3--4 (63--64) , pp. 155–175, 2008.

Links | BibTeX | Tagi: deontic logic

2007

Trypuz, Robert; Vieu, Laure

An Ontology of the Aspectual Classes of Actions Inproceedings

Arrazola, X; Larrazabal, J M (Ed.): ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07), pp. 393–409, 2007.

Abstract | Links | BibTeX | Tagi: applied ontology, Aspectual Classes of Actions, knowledge representation, ontology of action, OntoSTIT+

Trypuz, Robert; Garbacz, Pawel

Bity i byty - o pewnym mało znanym zastosowaniu ontologii Journal Article

Filozofia Nauki, 3 (59), pp. 121–140, 2007.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation

Bottazzi, Emanuele; Ferrario, Roberta; Masolo, Claudio; Trypuz, Robert

Designing Organizations: Towards a Model Inproceedings

Boella, Guido; van der Torre, Leon; Verhagen, Harko (Ed.): Normative Multi-agent Systems, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, ontology of organization

Trypuz, Robert

Formal Ontology of Action: a unifying approach PhD Thesis

Universit`a degli Studi di Trento, ICT International Doctorate School, 2007.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, ontology of action, ontology of agency, OntoSTIT+

Trypuz, Robert; Lorini, Emiliano; Vieu, Laure

Solving Bratman's video game puzzle in two formalisms Inproceedings

Arrazola, X; Larrazabal, J M (Ed.): ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07), pp. 411–426, 2007.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, OntoSTIT+

53 entries « 1 of 2 »