23 found
Order:
Disambiguations
Antony Galton [21]Antony P. Galton [2]
  1. The logic of aspect: an axiomatic approach.Antony Galton - 1984 - Oxford [Oxfordshire]: Clarendon Press.
  2. The water falls but the waterfall does not fall: New perspectives on objects, processes and events.Antony Galton & Riichiro Mizoguchi - 2009 - Applied ontology 4 (2):71-107.
  3.  54
    Foundational ontologies in action.Stefano Borgo, Antony Galton & Oliver Kutz - 2022 - Applied ontology 17 (1):1-16.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  34
    Families of roles: A new theory of occurrent-dependent roles.Riichiro Mizoguchi, Antony Galton, Yoshinobu Kitamura & Kouji Kozaki - 2015 - Applied ontology 10 (3-4):367-399.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  31
    Formal Ontology in Information Systems.Nathalie Aussenac-Gilles, Antony P. Galton, Torsten Hahmann & Maria M. Hedblom - unknown
    FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from 18 to 20 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Creating the ontologists of the future.Fabian Neuhaus, Elizabeth Florescu, Antony Galton, Michael Gruninger, Nicola Guarino, Leo Obrst, Arturo Sanchez, Amanda Vizedom, Peter Yim & Barry Smith - 2011 - Applied ontology 6 (1):91-98.
    The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  42
    The Logic of Aspect: An Axiomatic Approach.Johan van Benthem & Antony Galton - 1986 - Philosophical Review 95 (3):434.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  8.  73
    Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
  9.  26
    On generically dependent entities.Antony Galton - 2014 - Applied ontology 9 (2):129-153.
    An entity x is said to be generically dependent on a type F if x cannot exist without at least one entity of type F existing. In this paper several varieties of generic dependence are distinguished, differing in the nature of the relationship between an entity and the instances of a type on which it generically depends, and in the light of this, criteria of identity for generically dependent entities are investigated. These considerations are then illustrated in detail in a (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  69
    On the Paradoxical Nature of Surfaces.Antony Galton - 2007 - The Monist 90 (3):379-390.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11. Operators vs. Arguments: The Ins and Outs of Reification.Antony Galton - 2006 - Synthese 150 (3):415-441.
    So-called ‘reified temporal logics’ were introduced by researchers in Artificial Intelligence (AI) in the early 1980s, and gave rise to a long-running series of debates concerning the proper way to represent states, events, causation, action, and other notions identified as crucial to the knowledge representation needs of AI. These debates never resulted in a definitive resolution of the issues under discussion, and indeed continue to produce aftershocks to the present day; none the less, we are now sufficiently far removed in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  16
    A unifying semantics for time and events.Brandon Bennett & Antony P. Galton - 2004 - Artificial Intelligence 153 (1-2):13-48.
  13.  51
    Extensional and intensional collectives and the de re/ de dicto distinction.Antony Galton & Zena Wood - 2016 - Applied ontology 11 (3):205-226.
    Expressions designating collectives, such as “the committee” or “the ships in the port”, may be interpreted de re or de dicto, depending on context, according as they pick out collectives defined by their members or collectives defined by some criterion for membership. We call these E-collectives and I-collectives respectively, and in this paper we explore in depth the relationship between these two categories. In particular, we identify important respects in which they differ, regarding the nature of the dependence of the (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  37
    A taxonomy of collective phenomena.Zena Wood & Antony Galton - 2009 - Applied ontology 4 (3-4):267-292.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  10
    A critical examination of Allen's theory of action and time.Antony Galton - 1990 - Artificial Intelligence 42 (2-3):159-188.
  16.  42
    On the Notions of Specification and Implementation.Antony Galton - 1993 - Royal Institute of Philosophy Supplement 34:111-136.
    In this paper we consider two key concepts from software engineering—‘specification’ and ‘implementation’—and explore their possible applications outside software engineering to other disciplines, notably the philosophy of action, evolutionary biology, and cognitive science. Throughout, the emphasis is on the gain in conceptual clarity that can be afforded by these concepts; it is not so much a matter of new knowledge or new theories but of a reorganization of existing knowledge and theories in a way that facilitates the transfer of insights (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  84
    Space, time, and the representation of geographical reality.Antony Galton - 2001 - Topoi 20 (2):173-187.
  18. The Church-Turing Thesis: Its Nature and Status.Antony Galton - 1996 - In Peter Millican & Andy Clark (eds.), Machines and Thought: The Legacy of Alan Turing. Oxford, England: Oxford University Press.
  19.  34
    Temporal Logics and Their Applications.Antony Galton - 1990 - Journal of Symbolic Logic 55 (1):364-366.
  20. Ontology is not just about objects: Poorly individuated phenomena in geo-ontology.Antony Galton - 2005 - Applied ontology 1 (1):47-52.
     
    Export citation  
     
    Bookmark  
  21.  14
    Logic for Information Technology.Antony Galton - 1990
    The value of logic techniques in circuit design has been well-known for many years, but a thorough grounding in mathematical logic is needed for all stages of software development, especially program specification, verification and program transformation. In all these stages, logic underpins the theory, bearing out the dictum that Logic is the calculus of computer science. This book presents the subject of mathematical logic in order to provide a grounding for students in computer science.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. On the Process of Coming into Existence.Antony Galton - 2006 - The Monist 89 (3):294-312.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. The specification of “specification”.Derek Partridge & Antony Galton - 1995 - Minds and Machines 5 (2):243-255.
    The notion of specification plays a key role in the developing science of computing. It is typically considered to be the keystone in the software development process. However, there is no single, generally agreed meaning of specification that bears close scrutiny. Instead there is a variety of different, although partially interlocking and overlapping interpretations of the term.We catalogue this varietal profusion and attempt to lay bare both the sources and consequences of each major alternative. We attempt to present the full (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark