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 visualization and reasoning : 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008 : proceedings / / Peter Eklund, Ollivier Haemmerle (eds.)
| Conceptual structures : knowledge visualization and reasoning : 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008 : proceedings / / Peter Eklund, Ollivier Haemmerle (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2008 |
| Descrizione fisica | 1 online resource (X, 311 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
EklundPeter
HaemmerleOllivier |
| 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-70596-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Diagrammatic Reasoning Systems -- Pursuing the Goal of Language Understanding -- Web, Graphs and Semantics -- Transdisciplinarity and Generalistic Sciences and Humanities -- Jacob Lorhard’s Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles -- Revelator’s Complex Adaptive Reasoning Methodology for Resource Infrastructure Evolution -- Conceptual Spider Diagrams -- An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation -- Flexible Querying of Fuzzy RDF Annotations Using Fuzzy Conceptual Graphs -- Query-Answering CG Knowledge Bases -- Attribute Exploration Using Implications with Proper Premises -- Sorting Concepts by Priority Using the Theory of Monotone Systems -- Extending Attribute Dependencies for Lattice-Based Querying and Navigation -- PACTOLE: A Methodology and a System for Semi-automatically Enriching an Ontology from a Collection of Texts -- Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis -- Contextual Cognitive Map -- Employing a Domain Specific Ontology to Perform Semantic Search -- Concept Similarity and Related Categories in SearchSleuth -- Grounded Conceptual Graph Models -- Scenario Argument Structure vs Individual Claim Defeasibility: What Is More Important for Validity Assessment? -- Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. |
| Altri titoli varianti | ICCS 2008 |
| Record Nr. | UNINA-9910767558503321 |
| Berlin, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 : 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. | UNINA-9910768199703321 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual structures : inspiration and application : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006 : proceedings / / Henrik Scharfe, Pascal Hitzler, Peter hrstrm (eds.)
| Conceptual structures : inspiration and application : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006 : proceedings / / Henrik Scharfe, Pascal Hitzler, Peter hrstrm (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 003/.54 |
| Altri autori (Persone) |
ScharfeHenrik
HitzlerPascal hrstrmPeter |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
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-35902-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Formal Ontology, Knowledge Representation and Conceptual Modelling: Old Inspirations, Still Unsolved Problems -- The Persuasive Expansion – Rhetoric, Information Architecture, and Conceptual Structure -- Revision Forever! -- Ontological Constitutions for Classes and Properties -- Peirce’s Contributions to the 21st Century -- Two Iconicity Notions in Peirce’s Diagrammatology -- Contributed Papers -- Simple Conceptual Graphs and Simple Concept Graphs -- Rules Dependencies in Backward Chaining of Conceptual Graphs Rules -- Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes -- Formal Concept Analysis with Constraints by Closure Operators -- Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery -- The MIEL++ Architecture When RDB, CGs and XML Meet for the Sake of Risk Assessment in Food Products -- Some Notes on Proofs with Alpha Graphs -- DOGMA-MESS: A Meaning Evolution Support System for Interorganizational Ontology Engineering -- FCA-Based Browsing and Searching of a Collection of Images -- Semantology: Basic Methods for Knowledge Representations -- The Teridentity and Peircean Algebraic Logic -- Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systems -- Querying Formal Contexts with Answer Set Programs -- Towards an Epistemic Logic of Concepts -- Development of Intelligent Systems and Multi-Agents Systems with Amine Platform -- Ontologies in Amine Platform: Structures and Processes -- Building a Pragmatic Methodology for KR Tool Research and Development -- Simple Conceptual Graphs with Atomic Negation and Difference -- A Pattern-Based Approach to Conceptual Clustering in FOL -- Karl Popper’s Critical Rationalism in Agile Software Development -- On Lattices in Access Control Models -- An Application of Relation Algebra to Lexical Databases -- A Framework for Analyzing and Testing Requirements with Actors in Conceptual Graphs -- Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation -- Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs -- Representing Wholes by Structure. |
| Altri titoli varianti |
14th International Conference on Conceptual Structures
Fourteenth International Conference on Conceptual Structures ICCS 2006 |
| Record Nr. | UNINA-9910484077903321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual structures : common semantics for sharing knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 : proceedings / / Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme (eds.)
| Conceptual structures : common semantics for sharing knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 : proceedings / / Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XI, 467 p.) |
| Disciplina | 003.54 |
| Altri autori (Persone) |
DauFrithjof
MugnierMarie-Laure StummeGerd <1967-> |
| Collana | Lecture notes in computer science : subseries of Lecture notes in artificial intelligence |
| Soggetto topico |
Conceptual structures (Information theory)
Graph theory Logic diagrams Knowledge representation (Information theory) Natural language processing (Computer science) Estructures conceptuals (Teoria de la informació) Teoria de grafs |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783540318859
3540318852 9783540277835 3540277838 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Patterns for the Pragmatic Web -- Conceptual Graphs for Semantic Web Applications -- Knowledge Representation and Reasoning in (Controlled) Natural Language -- What Is a Concept? -- Applications of Description Logics: State of the Art and Research Challenges -- Methodologies for the Reliable Construction of Ontological Knowledge -- Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issues -- On the Need to Bootstrap Ontology Learning with Extraction Grammar Learning -- Conzilla — A Conceptual Interface to the Semantic Web -- Theoretical Foundations -- Variables in Concept Graphs -- Arbitrary Relations in Formal Concept Analysis and Logical Information Systems -- Merge-Based Computation of Minimal Generators -- Representation of Data Contexts and Their Concept Lattices in General Geometric Spaces -- Local Negation in Concept Graphs -- Morphisms in Context -- Contextual Logic and Aristotle’s Syllogistic -- States of Distributed Objects in Conceptual Semantic Systems -- Knowledge Engineering and Tools -- Hierarchical Knowledge Integration Using Layered Conceptual Graphs -- Evaluation of Concept Lattices in a Web-Based Mail Browser -- D-SIFT: A Dynamic Simple Intuitive FCA Tool -- Analyzing Conflicts with Concept-Based Learning -- Querying a Bioinformatic Data Sources Registry with Concept Lattices -- How Formal Concept Lattices Solve a Problem of Ancient Linguistics -- A New Method to Interrogate and Check UML Class Diagrams -- Knowledge Acquisition and Ontologies -- Language Technologies Meet Ontology Acquisition -- Weighted Pseudo-distances for Categorization in Semantic Hierarchies -- Games of Inquiry for Collaborative Concept Structuring -- Toward Cooperatively-Built Knowledge Repositories -- What Has Happened to Ontology -- Enhancing the Initial Requirements Capture of Multi-Agent Systems Through Conceptual Graphs -- Outline of trikonic?* k: Diagrammatic Trichotomic. |
| Record Nr. | UNINA-9910485024403321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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. | UNINA-9910144145203321 |
| Berlin, Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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. | UNINA-9910144033703321 |
| Berlin, Heidelberg : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
