Pawel Garbacz

According to our database1, Pawel Garbacz authored at least 38 papers between 2002 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Quest for Identity Criteria in Computational Ontologies.
Proceedings of the Formal Ontology in Information Systems, 2023

2022
Reasoning in the FIBO ontology - A challenge(short paper).
Proceedings of the Joint Proceedings of SemREC 2022 and SMART 2022 co-located with 21st International Semantic Web Conference (ISWC 2022), 2022

Foundational Ontologies Meet Automatic Theorem Provers.
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, 2022

2021
Identity of historical localities in information systems.
Appl. Ontology, 2021

An Infrastructure for Collaborative Ontology Development.
Proceedings of the Formal Ontology in Information Systems, 2021

2020
An Analysis of the Debate over Structural Universals.
Proceedings of the Formal Ontology in Information Systems, 2020

2019
On Ontological Categories.
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018
Identity Criteria for Localities.
Proceedings of the Formal Ontology in Information Systems, 2018

2017
Representation of Tensed Relations in OWL - A Survey of Philosophically-Motivated Patterns.
Proceedings of the Metadata and Semantic Research - 11th International Conference, 2017

On Qualitatively Unstable Objects.
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

2016
Challenges for ontological engineering in the humanities: a case study of philosophy.
Int. J. Metadata Semant. Ontologies, 2016

A Formal Ontology of Texts.
Proceedings of the Formal Ontology in Information Systems, 2016

2015
A New Perspective on Instantiation.
Libr. Trends, 2015

Conceptual frames revisited.
J. Appl. Non Class. Logics, 2015

Two Demarcation Problems In Ontology.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

A Formalization of Ashok Goel's SBF Concept of Function.
Proceedings of the 1st Workshop on Artificial Intelligence and Design, 2015

2014
Technical artifacts: An integrated perspective.
Appl. Ontology, 2014

2013
The design stance and its artefacts.
Synth., 2013

A metaontology for applied ontology.
Appl. Ontology, 2013

2012
Does your ontology make a (sense) difference?
Proceedings of the Formal Ontology in Information Systems, 2012

2011
Using the Perseus System for Modelling Epistemic Interactions.
Trans. Comput. Collect. Intell., 2011

A Formalization of Functions as Operations on Flows.
J. Comput. Inf. Sci. Eng., 2011

A novel ontological approach to semantic interoperability between legacy air defence command and control systems.
Int. J. Intell. Def. Support Syst., 2011

If engineering function is a family resemblance concept: Assessing three formalization strategies.
Appl. Ontology, 2011

A Metaontology for Ontological Engineering: A Philosophers' Perspective.
Proceedings of the Formal Ontologies Meet Industry, 2011

Technical Artifact: An Integrated Perspective.
Proceedings of the Formal Ontologies Meet Industry, 2011

2010
Towards a formal ontology for history of church administration.
Proceedings of the Formal Ontology in Information Systems, 2010

2009
A formal ontological perspective on the behaviors and functions of technical artifacts.
Artif. Intell. Eng. Des. Anal. Manuf., 2009

Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

A Formal Model for Epistemic Interactions.
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!
Proceedings of the Formal Ontologies Meet Industry, 2009

2007
A First Order Theory of Functional Parthood.
J. Philos. Log., 2007

2006
Towards a standard taxonomy of artifact functions.
Appl. Ontology, 2006

An Outline of a Formal Ontology of Genres.
Proceedings of the Knowledge Science, 2006

The Instrumental Stit A Study of Action and Instrument.
Proceedings of the Formal Ontology in Information Systems, 2006

Behavior of a Technical Artifact: An Ontological Perspective in Engineering.
Proceedings of the Formal Ontology in Information Systems, 2006

2004
The Four Dimensions of Artifacts.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2002
Logics of Relative Identity.
Notre Dame J. Formal Log., 2002


  Loading...