Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / / Wendy MacCaull, Michael Winter, Ivo Duntsch (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, : Springer, c2006 |
Descrizione fisica | 1 online resource (VIII, 262 p.) |
Disciplina | 004.0151 |
Altri autori (Persone) |
MacCaullWendy
WinterMichael, Ph. D. DuntschIvo |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer science
Relationism Algebra - Computer programs Relation algebras |
ISBN | 3-540-33340-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through Duality -- Duality Theory for Projective Algebras -- Contributed Papers -- Relational Approach to Boolean Logic Problems -- Static Analysis of Programs Using Omega Algebra with Tests -- Weak Contact Structures -- On Relational Cycles -- A Framework for Kleene Algebra with an Embedded Structure -- Non-termination in Unifying Theories of Programming -- Towards an Algebra of Hybrid Systems -- Relational Correspondences for Lattices with Operators -- Control-Flow Semantics for Assembly-Level Data-Flow Graphs -- Relational Implementation of Simple Parallel Evolutionary Algorithms -- Lattice-Based Paraconsistent Logic -- Verification of Pushdown Systems Using Omega Algebra with Domain -- wp Is wlp -- Relational Representability for Algebras of Substructural Logics -- Knuth-Bendix Completion as a Data Structure -- Quantifier Elimination in Elementary Set Theory -- Time-Dependent Contact Structures in Goguen Categories. |
Record Nr. | UNINA-9910484733603321 |
Berlin, : Springer, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Relational passage of time / / Matias Slavov |
Autore | Slavov Matias |
Edizione | [First edition.] |
Pubbl/distr/stampa | Taylor & Francis, 2023 |
Descrizione fisica | 1 online resource (148 pages) : illustrations |
Disciplina | 115 |
Collana | Routledge Studies in Metaphysics |
Soggetto topico |
Time
Relationism Time perception |
Soggetto non controllato |
B-theory of time
block universe view causal events directionality of passage eternalism illusion of passage Matias Slavov measuring passage metaphysics Newtonian mechanics perspectival matter philosophy of time relationalism relational passage of time spacetime temporal fictionalism temporal passage temporal relations |
ISBN |
1-00-322423-7
1-003-22423-7 1-000-63520-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Relational, not substantial passage -- Relational passage is neither trivial nor question-begging -- Passage is directed -- We experience and misconceive passage -- Passage is not a fiction -- Time passes amidst perduring objects. |
Record Nr. | UNINA-9910572195203321 |
Slavov Matias
![]() |
||
Taylor & Francis, 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and applications of relational structures as knowledge instruments II : international workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers / / Harrie de Swart ... [et al.] (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
Descrizione fisica | 1 online resource (X, 373 p.) |
Disciplina | 004 |
Altri autori (Persone) | SwartH. C. M. de |
Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
Soggetto topico |
Computer science
Relationism |
ISBN | 3-540-69224-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Social Software for Coalition Formation -- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView -- On the Logic of Medical Decision Support -- Generalizing and Modifying the Hoede-Bakker Index -- An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics -- Relational Approach to Order-of-Magnitude Reasoning -- Relational Logics and Their Applications -- Fuzzy Information Relations and Operators: An Algebraic Approach Based on Residuated Lattices -- Aggregation of Fuzzy Relations and Preservation of Transitivity -- Flexible Query Answering Using Distance-Based Fuzzy Relations -- General Representation Theorems for Fuzzy Weak Orders -- Relational Representation Theorems for Lattices with Negations: A Survey -- Lattice-Based Relation Algebras II -- Some Aspects of Lattice and Generalized Prelattice Effect Algebras -- A Decision Procedure for Monotone Functions over Bounded and Complete Lattices -- The Dominance Relation on the Class of Continuous T-Norms from an Ordinal Sum Point of View -- Aggregation on Bipolar Scales. |
Record Nr. | UNINA-9910483433003321 |
Berlin ; ; New York, : Springer, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Towards a theory of epistemically significant perception : how we relate to the world / / Nadja El Kassar |
Autore | El Kassar Nadja <1984-> |
Pubbl/distr/stampa | Berlin, [Germany] : , : De Gruyter, , 2015 |
Descrizione fisica | 1 online resource (376 p.) |
Disciplina | 121/.34 |
Collana | Ideen & Argumente |
Soggetto topico |
Perception (Philosophy)
Conceptualism Relationism |
Soggetto genere / forma | Electronic books. |
ISBN |
3-11-044536-0
3-11-044562-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Acknowledgments -- Contents -- Introduction -- Part I Conceptualism -- 1 Introducing Conceptualism -- 2 Examining Non-Conceptualist Arguments against Conceptualism -- 3 Examining McDowell's Revised Conceptualism -- Part II Relationism -- 4 Relationism: Perception as Conscious Acquaintance -- 5 Relationism as Anti-Representationalism -- 6 Why McDowell's Revised Conceptualism Does Not Avoid Travis's Anti-Representationalist Criticism -- Part III Relational Conceptualism -- 7 Relational Conceptualism: a Theory of Epistemically Significant Perception -- 8 Possible Objections against Relational Conceptualism -- Part IV. Relational Conceptualism and Empirical Science -- 9 Broadening the Scope of Relational Conceptualism -- References -- Author Index -- Subject Index |
Record Nr. | UNINA-9910461425603321 |
El Kassar Nadja <1984->
![]() |
||
Berlin, [Germany] : , : De Gruyter, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Towards a theory of epistemically significant perception : how we relate to the world / / Nadja El Kassar |
Autore | El Kassar Nadja <1984-> |
Pubbl/distr/stampa | Berlin, [Germany] : , : De Gruyter, , 2015 |
Descrizione fisica | 1 online resource (376 p.) |
Disciplina | 121/.34 |
Collana | Ideen & Argumente |
Soggetto topico |
Perception (Philosophy)
Conceptualism Relationism |
ISBN |
3-11-044536-0
3-11-044562-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Acknowledgments -- Contents -- Introduction -- Part I Conceptualism -- 1 Introducing Conceptualism -- 2 Examining Non-Conceptualist Arguments against Conceptualism -- 3 Examining McDowell's Revised Conceptualism -- Part II Relationism -- 4 Relationism: Perception as Conscious Acquaintance -- 5 Relationism as Anti-Representationalism -- 6 Why McDowell's Revised Conceptualism Does Not Avoid Travis's Anti-Representationalist Criticism -- Part III Relational Conceptualism -- 7 Relational Conceptualism: a Theory of Epistemically Significant Perception -- 8 Possible Objections against Relational Conceptualism -- Part IV. Relational Conceptualism and Empirical Science -- 9 Broadening the Scope of Relational Conceptualism -- References -- Author Index -- Subject Index |
Record Nr. | UNISA-996234841103316 |
El Kassar Nadja <1984->
![]() |
||
Berlin, [Germany] : , : De Gruyter, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Towards a theory of epistemically significant perception : how we relate to the world / / Nadja El Kassar |
Autore | El Kassar Nadja <1984-> |
Pubbl/distr/stampa | Berlin, [Germany] : , : De Gruyter, , 2015 |
Descrizione fisica | 1 online resource (376 p.) |
Disciplina | 121/.34 |
Collana | Ideen & Argumente |
Soggetto topico |
Perception (Philosophy)
Conceptualism Relationism |
Soggetto non controllato |
Conceptualism
perception relationism |
ISBN |
3-11-044536-0
3-11-044562-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Acknowledgments -- Contents -- Introduction -- Part I Conceptualism -- 1 Introducing Conceptualism -- 2 Examining Non-Conceptualist Arguments against Conceptualism -- 3 Examining McDowell's Revised Conceptualism -- Part II Relationism -- 4 Relationism: Perception as Conscious Acquaintance -- 5 Relationism as Anti-Representationalism -- 6 Why McDowell's Revised Conceptualism Does Not Avoid Travis's Anti-Representationalist Criticism -- Part III Relational Conceptualism -- 7 Relational Conceptualism: a Theory of Epistemically Significant Perception -- 8 Possible Objections against Relational Conceptualism -- Part IV. Relational Conceptualism and Empirical Science -- 9 Broadening the Scope of Relational Conceptualism -- References -- Author Index -- Subject Index |
Record Nr. | UNINA-9910797646703321 |
El Kassar Nadja <1984->
![]() |
||
Berlin, [Germany] : , : De Gruyter, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Towards a theory of epistemically significant perception : how we relate to the world / / Nadja El Kassar |
Autore | El Kassar Nadja <1984-> |
Pubbl/distr/stampa | Berlin, [Germany] : , : De Gruyter, , 2015 |
Descrizione fisica | 1 online resource (376 p.) |
Disciplina | 121/.34 |
Collana | Ideen & Argumente |
Soggetto topico |
Perception (Philosophy)
Conceptualism Relationism |
Soggetto non controllato |
Conceptualism
perception relationism |
ISBN |
3-11-044536-0
3-11-044562-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Acknowledgments -- Contents -- Introduction -- Part I Conceptualism -- 1 Introducing Conceptualism -- 2 Examining Non-Conceptualist Arguments against Conceptualism -- 3 Examining McDowell's Revised Conceptualism -- Part II Relationism -- 4 Relationism: Perception as Conscious Acquaintance -- 5 Relationism as Anti-Representationalism -- 6 Why McDowell's Revised Conceptualism Does Not Avoid Travis's Anti-Representationalist Criticism -- Part III Relational Conceptualism -- 7 Relational Conceptualism: a Theory of Epistemically Significant Perception -- 8 Possible Objections against Relational Conceptualism -- Part IV. Relational Conceptualism and Empirical Science -- 9 Broadening the Scope of Relational Conceptualism -- References -- Author Index -- Subject Index |
Record Nr. | UNINA-9910814391003321 |
El Kassar Nadja <1984->
![]() |
||
Berlin, [Germany] : , : De Gruyter, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
World enough and space-time : absolute versus relational theories of space and time / John Earman |
Autore | Earman, John |
Pubbl/distr/stampa | Cambridge, Mass. : MIT Press, c1989 |
Descrizione fisica | xiv, 233 p. : ill. ; 24 cm |
Disciplina | 530.1/1 |
Soggetto topico |
Space and time
Relationism Science - Methodolog Science - Philosophy |
ISBN | 0262050404 |
Classificazione | LC QC173.59.S65 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003801549707536 |
Earman, John
![]() |
||
Cambridge, Mass. : MIT Press, c1989 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|