Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
AIEE No 91-1962 (ASA Y32.14-1962) : AIEE Graphic Symbols for Logic Diagrams / / Institute of Electrical and Electronics Engineers
| AIEE No 91-1962 (ASA Y32.14-1962) : AIEE Graphic Symbols for Logic Diagrams / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1962 |
| Descrizione fisica | 1 online resource |
| Disciplina | 160 |
| Soggetto topico | Logic diagrams |
| ISBN | 1-5044-0458-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | AIEE No 91-1962 |
| Record Nr. | UNINA-9910136375403321 |
| [Place of publication not identified] : , : IEEE, , 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AIEE No 91-1962 (ASA Y32.14-1962) : AIEE Graphic Symbols for Logic Diagrams / / Institute of Electrical and Electronics Engineers
| AIEE No 91-1962 (ASA Y32.14-1962) : AIEE Graphic Symbols for Logic Diagrams / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1962 |
| Descrizione fisica | 1 online resource |
| Disciplina | 160 |
| Soggetto topico | Logic diagrams |
| ISBN | 1-5044-0458-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | AIEE No 91-1962 |
| Record Nr. | UNISA-996280838403316 |
| [Place of publication not identified] : , : IEEE, , 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual structures : knowledge architectures for smart applications : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, proceedings / / Uta Priss, Simon Polovina, Richard Hill (editors)
| Conceptual structures : knowledge architectures for smart applications : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, proceedings / / Uta Priss, Simon Polovina, Richard Hill (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XII, 514 p.) |
| Disciplina | 003.54 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico |
Conceptual structures (Information theory)
Graph theory Logic diagrams Knowledge representation (Information theory) Natural language processing (Computer science) |
| ISBN | 3-540-73681-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- An Introduction to Conceptual Graphs -- Trikonic Inter-Enterprise Architectonic -- Hypermedia Discourse: Contesting Networks of Ideas and Arguments -- Dynamic Epistemic Logic and Knowledge Puzzles -- Peirce on Icons and Cognition -- Conceptual Graphs -- Using Cognitive Archetypes and Conceptual Graphs to Model Dynamic Phenomena in Spatial Environments -- A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules -- A Knowledge Management Optimization Problem Using Marginal Utility in a Metric Space with Conceptual Graphs -- Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise -- An Inferential Approach to the Generation of Referring Expressions -- A Conceptual Graph Description of Medical Data for Brain Tumour Classification -- A Conceptual Graph Based Approach to Ontology Similarity Measure -- A Comparison of Different Conceptual Structures Projection Algorithms -- A Conceptual Graph Approach to Feature Modeling -- From Conceptual Structures to Semantic Interoperability of Content -- Formal Concept Analysis -- Faster Concept Analysis -- The Design Space of Information Presentation: Formal Design Space Analysis with FCA and Semiotics -- Reducing the Representation Complexity of Lattice-Based Taxonomies -- An FCA Perspective on n-Distributivity -- Towards a Semantology of Music -- Analysis of the Publication Sharing Behaviour in BibSonomy -- The MILL – Method for Informal Learning Logistics -- Bilingual Word Association Networks -- Using FCA for Encoding Closure Operators into Neural Networks -- Conceptual Structures -- Arc Consistency Projection: A New Generalization Relation for Graphs -- Mining Frequent Closed Unordered Trees Through Natural Representations -- Devolved Ontology for Smart Applications -- Historical and Conceptual Foundation of Diagrammatical Ontology -- Learning Common Outcomes of Communicative Actions Represented by Labeled Graphs -- Belief Flow in Assertion Networks -- Conceptual Fingerprints: Lexical Decomposition by Means of Frames – a Neuro-cognitive Model -- Constants and Functions in Peirce’s Existential Graphs -- Revelator Game of Inquiry: A Peircean Challenge for Conceptual Structures in Application and Evolution -- Short Papers -- Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams -- Quo Vadis, CS? – On the (non)-Impact of Conceptual Structures on the Semantic Web -- A Framework for Analyzing and Testing Overlapping Requirements with Actors in Conceptual Graphs -- Implementation of SPARQL Query Language Based on Graph Homomorphism -- Cooperative CG-Wrappers for Web Content Extraction -- Conceptual Graphs and Ontologies for Information Retrieval -- Representation Levels Within Knowledge Representation -- Supporting Lexical Ontology Learning by Relational Exploration -- Characterizing Implications of Injective Partial Orders -- DVDSleuth: A Case Study in Applied Formal Concept Analysis for Navigating Web Catalogs -- Navigation in Knowledge-Based System for Helpdesk Based on FCA -- Functorial Properties of Formal Concept Analysis -- Towards an Ontology to Conceptualize Solution Analysis Tasks in CSCL Environments. |
| Record Nr. | UNISA-996465995903316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, proceedings / / William Tepfenhart, Walling Cyre (editors)
| Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, proceedings / / William Tepfenhart, Walling Cyre (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (529 p.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Conceptual structures (Information theory)
Graph theory Logic diagrams |
| ISBN |
1-280-95775-1
9786610957750 3-540-48659-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Conceptual Graphs: Draft Proposed American National Standard -- CG Modeling -- Constraints on Processes: Essential Elements for the Validation and Execution of Processes -- User Modelling as an Application of Actors -- Spatial Universals as the Human Spatial Notion -- Knowledge Engineering with Semantic and Transfer Links -- Understanding Natural Language -- A Peircean Framework of Syntactic Structure -- A CG-Based Behavior Extraction System -- Extending the Conceptual Graph Approach to Represent Evaluative Attitudes in Discourse -- Implementing a Semantic Lexicon -- Analysis of Task-Oriented Conversations into Conceptual Graph Structures -- Using Conceptual Graphs as a Common Representation for Data and Configuration in an Active Image Processing System -- Applications -- A Software System for Learning Peircean Graphs -- Synergy : A Conceptual Graph Activation-Based Language -- On Developing Case-Based Tutorial Systems with Conceptual Graphs -- Embedding Knowledge in Web Documents: CGs versus XML-based Metadata Languages -- Synergy as an Hybrid Object-Oriented Conceptual Graph Language -- Notio - A Java API for Developing CG Tools -- SISYPHUS-I -- Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language -- Using Conceptual Graphs to Solve a Resource Allocation Task -- WebKB and the Sisyphus-I Problem -- Constraints and Goals under the Conceptual Graph Formalism: One Way to Solve the SCG-1 Problem -- A Pure Graph-Based Solution to the SCG-1 Initiative -- Context, Logic, and CGs -- Contextual Attribute Logic -- Algorithms for Creating Relational Power Context Families from Conceptual Graphs -- The Lattice of Concept Graphs of a Relationally Scaled Context -- Contexts in Information Systems Development -- Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis -- Logic -- A Simulation of Co-identity with Rules in Simple and Nested Graphs -- Conceptual Graphs as Algebras - With an Application to Analogical Reasoning -- Unification over Constraints in Conceptual Graphs -- Tractable and Decidable Fragments of Conceptual Graphs -- Dynamic Semantics for Conceptual Graphs -- Position Papers -- A Case for Variable-Arity Relations: Definitions and Domains -- Graph Structures in Parametric Spaces for Representation of Verbs -- PORT: Peirce Online Resource Testbeds -- Assuring Computer Agent Communications. |
| Record Nr. | UNISA-996466159303316 |
| Berlin, Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings / / edited by Aldo de Moor, Wilfried Lex, Bernhard Ganter
| Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings / / edited by Aldo de Moor, Wilfried Lex, Bernhard Ganter |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (XII, 405 pages) |
| Disciplina | 003.54 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico |
Conceptual structures (Information theory)
Graph theory Logic diagrams Knowledge representation (Information theory) Natural language processing (Computer science) |
| ISBN | 3-540-45091-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Many Facets of Conceptual Structures -- Conceptual Contents as Information – Basics for Contextual Judgment Logic -- Analogical Reasoning -- Hegel in a Strange Costume -- Different Kinds of Comparisons between Fuzzy Conceptual Graphs -- Intensional Formalization of Conceptual Structures -- Hypotheses and Version Spaces -- Logical and Linguistic Aspects -- Description Logics for Ontologies -- Computing the Least Common Subsumer in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics -- Creation and Merging of Ontology Top-Levels -- Dynamic Type Creation in Metaphor Interpretation and Analogical Reasoning: A Case-Study with WordNet -- Correction and Extension of WordNet 1.7 -- Conceptual Representations of Time and Space -- Representing Temporal Ontology in Conceptual Graphs -- Time Dimension, Objects, and Life Tracks. A Conceptual Analysis -- Representing Time and Modality in Narratives with Conceptual Graphs -- Modeling and Representing Structures for Analyzing Spatial Organization in Agronomy -- Deepening the Formal Theory -- Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms -- Concept Graphs without Negations: Standard Models and Standard Graphs -- Distributed Systems with Simple Concept Graphs -- Concept Graphs with Subdivision: A Semantic Approach -- A Generic Scheme for the Design of Efficient On-Line Algorithms for Lattices -- Applications of Conceptual Structures -- Towards Building Active Knowledge Systems with Conceptual Graphs -- Formalizing Botanical Taxonomies -- Conceptual Graphs Self-tutoring System -- Cognitive Map of Conceptual Graphs: A Graphical Model to Help for Decision -- Mining Concise Representations of Frequent Multidimensional Patterns -- Sesei: A CG-Based Filter for Internet Search Engines -- A Semantic Search Approach by Graph Matching with Negations and Inferences -- Using Conceptual Graphs to Capture Semantics of Agent Communication. |
| Record Nr. | UNISA-996465696303316 |
| Berlin, Heidelberg : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings / / edited by Aldo de Moor, Wilfried Lex, Bernhard Ganter
| Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings / / edited by Aldo de Moor, Wilfried Lex, Bernhard Ganter |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (XII, 405 pages) |
| Disciplina | 003.54 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico |
Conceptual structures (Information theory)
Graph theory Logic diagrams Knowledge representation (Information theory) Natural language processing (Computer science) |
| ISBN | 3-540-45091-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Many Facets of Conceptual Structures -- Conceptual Contents as Information – Basics for Contextual Judgment Logic -- Analogical Reasoning -- Hegel in a Strange Costume -- Different Kinds of Comparisons between Fuzzy Conceptual Graphs -- Intensional Formalization of Conceptual Structures -- Hypotheses and Version Spaces -- Logical and Linguistic Aspects -- Description Logics for Ontologies -- Computing the Least Common Subsumer in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics -- Creation and Merging of Ontology Top-Levels -- Dynamic Type Creation in Metaphor Interpretation and Analogical Reasoning: A Case-Study with WordNet -- Correction and Extension of WordNet 1.7 -- Conceptual Representations of Time and Space -- Representing Temporal Ontology in Conceptual Graphs -- Time Dimension, Objects, and Life Tracks. A Conceptual Analysis -- Representing Time and Modality in Narratives with Conceptual Graphs -- Modeling and Representing Structures for Analyzing Spatial Organization in Agronomy -- Deepening the Formal Theory -- Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms -- Concept Graphs without Negations: Standard Models and Standard Graphs -- Distributed Systems with Simple Concept Graphs -- Concept Graphs with Subdivision: A Semantic Approach -- A Generic Scheme for the Design of Efficient On-Line Algorithms for Lattices -- Applications of Conceptual Structures -- Towards Building Active Knowledge Systems with Conceptual Graphs -- Formalizing Botanical Taxonomies -- Conceptual Graphs Self-tutoring System -- Cognitive Map of Conceptual Graphs: A Graphical Model to Help for Decision -- Mining Concise Representations of Frequent Multidimensional Patterns -- Sesei: A CG-Based Filter for Internet Search Engines -- A Semantic Search Approach by Graph Matching with Negations and Inferences -- Using Conceptual Graphs to Capture Semantics of Agent Communication. |
| Record Nr. | UNINA-9910144033703321 |
| Berlin, Heidelberg : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The existential graphs of Charles S. Peirce [[electronic resource] /] / by Don D. Roberts
| The existential graphs of Charles S. Peirce [[electronic resource] /] / by Don D. Roberts |
| Autore | Roberts Don D |
| Edizione | [Reprint 2020] |
| Pubbl/distr/stampa | The Hague, : Mouton, 1973 |
| Descrizione fisica | 1 online resource (168 p.) |
| Disciplina |
152.46
162 |
| Collana | Approaches to semiotics |
| Soggetto topico | Logic diagrams |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9786612715150
3-11-022622-7 1-282-71515-1 |
| Classificazione | ER 560 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter; TABLE OF CONTENTS; 1 INTRODUCTION; 2 THE DEVELOPMENT OF EXISTENTIAL GRAPHS; 3 ALPHA; 4 BETA; 5 GAMMA; 6 TINCTURED EXISTENTIAL GRAPHS; 7 GRAPHICAL ANALYSIS AND OUTCROPPINGS; Back matter |
| Record Nr. | UNINA-9910462598203321 |
Roberts Don D
|
||
| The Hague, : Mouton, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The existential graphs of Charles S. Peirce [[electronic resource] /] / by Don D. Roberts
| The existential graphs of Charles S. Peirce [[electronic resource] /] / by Don D. Roberts |
| Autore | Roberts Don D |
| Edizione | [Reprint 2020] |
| Pubbl/distr/stampa | The Hague, : Mouton, 1973 |
| Descrizione fisica | 1 online resource (168 p.) |
| Disciplina |
152.46
162 |
| Collana | Approaches to semiotics |
| Soggetto topico | Logic diagrams |
| ISBN |
9786612715150
3-11-022622-7 1-282-71515-1 |
| Classificazione | ER 560 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter; TABLE OF CONTENTS; 1 INTRODUCTION; 2 THE DEVELOPMENT OF EXISTENTIAL GRAPHS; 3 ALPHA; 4 BETA; 5 GAMMA; 6 TINCTURED EXISTENTIAL GRAPHS; 7 GRAPHICAL ANALYSIS AND OUTCROPPINGS; Back matter |
| Record Nr. | UNINA-9910787001403321 |
|
Roberts Don D
|
||
| The Hague, : Mouton, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 91-1973 (ANSI Y32.14-1973) : IEEE Graphic Symbols for Logic Diagrams (Two State Devices) / / IEEE
| IEEE Std 91-1973 (ANSI Y32.14-1973) : IEEE Graphic Symbols for Logic Diagrams (Two State Devices) / / IEEE |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1973 |
| Descrizione fisica | 1 online resource |
| Disciplina | 160 |
| Soggetto topico |
Logic diagrams
Graphics |
| ISBN | 1-5044-0459-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
91-1973 - IEEE Graphic Symbols for Logic Diagrams
IEEE Std 91-1973 |
| Record Nr. | UNINA-9910136369103321 |
| [Place of publication not identified] : , : IEEE, , 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 91-1973 (ANSI Y32.14-1973) : IEEE Graphic Symbols for Logic Diagrams (Two State Devices) / / IEEE
| IEEE Std 91-1973 (ANSI Y32.14-1973) : IEEE Graphic Symbols for Logic Diagrams (Two State Devices) / / IEEE |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1973 |
| Descrizione fisica | 1 online resource |
| Disciplina | 160 |
| Soggetto topico |
Logic diagrams
Graphics |
| ISBN | 1-5044-0459-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
91-1973 - IEEE Graphic Symbols for Logic Diagrams
IEEE Std 91-1973 |
| Record Nr. | UNISA-996281022103316 |
| [Place of publication not identified] : , : IEEE, , 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
