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.
Knowledge science, engineering and management : first international conference, KSEM 2006, Guilin, China, August 5-8, 2006 : proceedings / / Jerome Lang, Fangzhen Lin, Ju Wang, (eds.)
| Knowledge science, engineering and management : first international conference, KSEM 2006, Guilin, China, August 5-8, 2006 : proceedings / / Jerome Lang, Fangzhen Lin, Ju Wang, (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XVI, 664 p.) |
| Disciplina | 005.741 |
| Altri autori (Persone) |
LangJerome
LinFangzhen WangJu |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Knowledge acquisition (Expert systems)
Knowledge management |
| ISBN | 3-540-37035-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules -- Towards a Software/Knowware Co-engineering -- Modeling and Evaluation of Technology Creation Process in Academia -- Knowledge Management Systems (KMS) Continuance in Organizations: A Social Relational Perspective -- Regular Papers -- Modelling the Interaction Between Objects: Roles as Affordances -- Knowledge Acquisition for Diagnosis in Cellular Networks Based on Bayesian Networks -- Building Conceptual Knowledge for Managing Learning Paths in e-Learning -- Measuring Similarity in the Semantic Representation of Moving Objects in Video -- A Case Study for CTL Model Update -- Modeling Strategic Beliefs with Outsmarting Belief Systems -- Marker-Passing Inference in the Scone Knowledge-Base System -- Hyper Tableaux — The Third Version -- A Service-Oriented Group Awareness Model and Its Implementation -- An Outline of a Formal Ontology of Genres -- An OWL-Based Approach for RBAC with Negative Authorization -- LCS: A Linguistic Combination System for Ontology Matching -- Framework for Collaborative Knowledge Sharing and Recommendation Based on Taxonomic Partial Reputations -- On Text Mining Algorithms for Automated Maintenance of Hierarchical Knowledge Directory -- Using Word Clusters to Detect Similar Web Documents -- Construction of Concept Lattices Based on Indiscernibility Matrices -- Selection of Materialized Relations in Ontology Repository Management System -- Combining Topological and Directional Information: First Results -- Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory -- WWW Information Integration Oriented Classification Ontology Integrating Approach -- Configurations for Inference Between Causal Statements -- Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction -- Description and Generation of Computational Agents -- Knowledge Capability: A Definition and Research Model -- Quota-Based Merging Operators for Stratified Knowledge Bases -- Enumerating Minimal Explanations by Minimal Hitting Set Computation -- Observation-Based Logic of Knowledge, Belief, Desire and Intention -- Repairing Inconsistent XML Documents -- A Framework for Automated Test Generation in Intelligent Tutoring Systems -- A Study on Knowledge Creation Support in a Japanese Research Institute -- Identity Conditions for Ontological Analysis -- Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System -- Knowledge Contribution in the Online Virtual Community: Capability and Motivation -- Effective Large Scale Ontology Mapping -- A Comparative Study on Representing Units in Chinese Text Clustering -- A Description Method of Ontology Change Management Using Pi-Calculus -- On Constructing Environment Ontology for Semantic Web Services -- Knowledge Reduction in Incomplete Systems Based on ?–Tolerance Relation -- An Extension Rule Based First-Order Theorem Prover -- An Extended Meta-model for Workflow Resource Model -- Knowledge Reduction Based on Evidence Reasoning Theory in Ordered Information Systems -- A Novel Maximum Distribution Reduction Algorithm for Inconsistent Decision Tables -- An ICA-Based Multivariate Discretization Algorithm -- An Empirical Study of What Drives Users to Share Knowledge in Virtual Communities -- A Method for Evaluating the Knowledge Transfer Ability in Organization -- Information Extraction from Semi-structured Web Documents -- Si-SEEKER: Ontology-Based Semantic Search over Databases -- Efficient Computation of Multi-feature Data Cubes -- NKIMathE – A Multi-purpose Knowledge Management Environment for Mathematical Concepts -- Linguistic Knowledge Representation and Automatic Acquisition Based on a Combination of Ontology with Statistical Method -- Toward Formalizing Usefulness in Propositional Language. |
| Altri titoli varianti | KSEM 2006 |
| Record Nr. | UNINA-9910484941403321 |
| Berlin ; ; New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers / / Peter Bosch, David Gabelaia, Jerome Lang (eds.)
| Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers / / Peter Bosch, David Gabelaia, Jerome Lang (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XII, 287 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) |
BoschPeter
GabelaiaDavid LangJerome |
| Collana |
Lecture notes in computer science
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information |
| Soggetto topico |
Computational linguistics
Computer logic Programming languages (Electronic computers) - Semantics |
| ISBN | 3-642-00665-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Computational Grammar for Georgian -- The Structure of Rigid Frames of Depth 3 Only -- Three Kinds of Event Nominal Negation in Russian -- A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs -- even in Horn Space -- On -c and ?i Particles in Georgian -- Dealing with Polysemy in Russian National Corpus: The Case of Adjectives -- Inquisitive Semantics: Two Possibilities for Disjunction -- Implicatures of Irrelevant Answers and the Principle of Optimal Completion -- Conceptualization of Pain: A Database for Lexical Typology -- Expressing Belief Flow in Assertion Networks -- The Computational Complexity of Quantified Reciprocals -- Quantifiers in Japanese -- Exceptional Scope as Discourse Reference to Quantificational Dependencies -- Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach -- Identification through Inductive Verification -- Enlarging the Diversity of Valency Instantiation Patterns and Its Implications -- The Modal Formula (†) Is Not First-Order Definable -- Semantic Characterizations of German Question-Embedding Predicates -- Processing Definite Determiners: Formal Semantics Meets Experimental Results -- Terminal Sequence Induction via Games -- Dutch Grammar and Processing: A Case Study in TLG. |
| Record Nr. | UNINA-9910484005103321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Rationality, and Interaction [[electronic resource] ] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / / edited by Hans van Ditmarsch, Jerome Lang, Shier Ju
| Logic, Rationality, and Interaction [[electronic resource] ] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / / edited by Hans van Ditmarsch, Jerome Lang, Shier Ju |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 403 p.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Computer science—Mathematics Computer logic Computers Mathematical Logic and Formal Languages Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Logics and Meanings of Programs Theory of Computation |
| ISBN | 3-642-24130-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465383303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||