| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465277103316 |
|
|
Titolo |
New frontiers in artificial intelligence : JSAI 2007 conference and workshops, Miyazaki, Japan, June 18-22, 2007 : revised selected papers / / Ken Satoh (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
|
©2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 406 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 4914 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Awarded Papers -- Overview of Awarded Papers: The 21st Annual Conference of JSAI -- Modeling Human-Agent Interaction Using Bayesian Network Technique -- Analysis and Design Methodology for Product-Based Services -- Consideration of Infants’ Vocal Imitation Through Modeling Speech as Timbre-Based Melody -- Metrics for Evaluating the Serendipity of Recommendation Lists -- Moving Sound Source Extraction by Time-Variant Beamforming -- Video Scene Retrieval Using Online Video Annotation -- Spatio-temporal Semantic Map for Acquiring and Retargeting Knowledge on Everyday Life Behavior -- Logic and Engineering of Natural Language Semantics -- Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2007 -- Semantic Heterogeneity in Evidentials -- Acts of Promising in Dynamified Deontic Logic -- Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker’s Referents, and Semantic Referents -- Inverse Scope as Metalinguistic Quotation in Operational Semantics -- A Multimodal Type Logical Grammar Analysis of Japanese: Word Order and Quantifier Scope -- Coordinating and Subordinating Dependencies -- Left-Peripheral and Sentence-Internal Topics in Japanese -- Incremental Processing and Design of a Parser for Japanese: A Dynamic Approach -- Breaking Quotations -- A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase -- A Presuppositional |
|
|
|
|
|
|
|
|
|
|
|
Analysis of Definite Descriptions in Proof Theory -- Meaning Games -- Risk Informatics -- International Workshop on Risk Informatics (RI2007) -- Chance Discovery in Credit Risk Management -- Risk Bias Externalization for Offshore Software Outsourcing by Conjoint Analysis -- Extracting Failure Knowledge with Associative Search -- Data Mining Analysis of Relationship Between Blood Stream Infection and Clinical Background in Patients Undergoing Lactobacillus Therapy -- Discovery of Risky Cases in Chronic Diseases: An Approach Using Trajectory Grouping -- Learning with Logics and Logics for Learning -- The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007) -- Mining Maximal Flexible Patterns in a Sequence -- Computing Characteristic Sets of Bounded Unions of Polynomial Ideals -- Towards a Logical Reconstruction of CF-Induction -- Juris-Informatics -- First International Workshop on Juris-Informatics -- Towards Translation of Legal Sentences into Logical Forms -- Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences -- Characterized Argument Agent for Training Partner -- Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning. |
|
|
|
|
|
|
Sommario/riassunto |
|
The technology of arti?cial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer technology. In Japan, the annual conference series of JSAI (The Japanese Society for Arti?cial Intelligence) has been playing a leading role in promoting AI research, and selected papers of the annual conferences have been published in the LNAI series since 2003. This book consists of award papers from the 21st annual conference of JSAI (JSAI 2007) and selected papers from the four co-located workshops. Seven papers were awarded among more than 335 presentations in the conference and 24 papers were selected from a total of 48 presentations in the co-located workshops: Logic and Engineering of Natural Language Semantics 2007 (LENLS 2007), the International Workshop on Risk Informatics (RI 2007), the 5th Wo- shop on Learning with Logics and Logics for Learning (LLLL 2007), and the 1st International Workshop on Juris-informatics (JURISIN 2007). The award papers from JSAI 2007 underwent a rigorous selection process. Firstly, recommendations were made from three people (Session Chair, session commentator and one PC member) in each session, and then recommended - pers were carefully reviewed and voted for by PC members for ?nal selection. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996475769803316 |
|
|
Titolo |
Advances in cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30-June 3, 2022, Proceedings. Part II / / edited by Orr Dunkelman, Stefan Dziembowski |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2022] |
|
©2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (920 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; v.13276 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer networks - Security measures |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910484077903321 |
|
|
Titolo |
Conceptual Structures: Inspiration and Application : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings / / edited by Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 460 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 4068 |
|
|
|
|
|
|
Altri autori (Persone) |
|
ScharfeHenrik |
HitzlerPascal |
hrstrmPeter |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer science - Mathematics |
Discrete mathematics |
Machine theory |
Algorithms |
Application software |
Artificial Intelligence |
Discrete Mathematics in Computer Science |
Formal Languages and Automata Theory |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, 2006. Responding to the Call for Papers, we received 62 papers from 20 different countries, representing six different continents. This clearly indicates the international nature of the ICCS community as well as the widespread interest which was spawned by the previous conferences. By a thorough review process, 24 papers were selected to be included in this volume. In addition, six invited speakers made contributions which can be found in the first section of this volume. The theme of ICCS 2006––Conceptual Structures: Inspiration and Application–– points to a dual focus of interest that is also reflected in the constellation of papers. From the beginning of the planning of this conference, we focused on inspirational sources that have led to the current state of research in our community, by tracing important historical influences which daily effect work in representing knowledge and in handling representations of conceptual structures. At the same time, we also focused on ways in which these legacies are employed to further advance theory and practice in the field of knowledge representation and processing. With this volume, we believe that a valuable contribution to both aspects of this field is being made. We wish to express our appreciation to all the authors of submitted papers, to the members of the Editorial Board and the Program Committee for all their work and valuable comments. |
|
|
|
|
|
|
|
| |