Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Logic and Information"
Treffer 2 von 173
|
|
| Link zu diesem Datensatz | https://d-nb.info/1355028817 |
| Art des Inhalts | Konferenzschrift |
| Titel | Artificial Intelligence Logic and Applications : 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings / edited by Songmao Zhang, Luis Soares Barbosa |
| Person(en) |
Zhang, Songmao (Herausgeber) Barbosa, Luís Soares (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2025 |
| Verlag | Singapore : Springer Nature Singapore, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2025 |
| Umfang/Format | Online-Ressource, XIII, 326 p. 104 illus., 86 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-981-9603-53-4 Printed edition:: ISBN: 978-981-9603-55-8 |
| Inhalt | -- AI Logic Foundation. -- Game Semantics for Modal Logic with Counting. -- Adding concurrency to Quantum Dynamic Logic. -- Lattices for Many-logics Modal Logic: constructions and representations. -- A note to the construction of t-norms based on T nM. -- Conditional Distributivity of S-uninorms and T-uninorms over Uninorms. -- Fuzzy Integrals Induced From Semi-Quasi-Overlap (Grouping) Functions. -- The Research on the multi-agent argumentation Semantics. -- An exercise in Uppaal: Modelling the circadian clock of a cyanobacteria. -- AI Logic Reasoning. -- Semi-Quasi-Overlap Functions and Their Applications in Classifier Ensemble. -- Data and Knowledge Dual-Driven Traffic Sign Recognition Algorithm. -- Automatic Inspection of Static Application Security Testing (SAST) Reports via Large Language Model Reasoning. -- Semantic Abstractions for Multi-label Classification. -- Multi-granularity Semantic Representation and Rule-based Labeling for Relation Classification. -- AI Logic Applications. -- Feature Representation Learning based on Graph Curvature-revised Deep Graph Learning. -- Non-negative Tensor Representation and Unsupervised Classification of Object Pose in Continuous Image Sequences. -- An Optimal Scheduling Algorithm for Intelligent Embedded Heterogeneous Multicore System. -- Kernel Cutset-type Possibility C-Means Algorithm for Gaussian Granularity. -- Research on Fusion Modeling for Active Magnetic Bearings Based on Mechanism and Data Driven. -- Multi-Objective Waterborne Trash Tracking based on D-StrongSORT. -- A Contributor-Based Segmentation Model for Open Source Software Source Code Trustworthiness Measurement. -- Facilitating the Propagation of Oscillatory Signals in Cortical Networks through Mixed Resonance. -- An Empirical Study for Source Code Incompatibility Between Versions of Java Open-Source Software. -- Exploring Multi-source Mobile Applications Association Discovery Based on Representation Learning. -- Takagi–Sugeno Target Recognition Algorithm Based on Global Intuitionistic Fuzzy Method. -- Automated Legality Detection on Privacy Policy Based on Deep Learning. -- CNN lung sound recognition and classification model based on multi-feature fusion and data enhancement. -- The Specialization of AGI: Exploration of Industrial Applications for General Artificial Intelligence |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2501311336524.715922497511 DOI: 10.1007/978-981-96-0354-1 |
| URL | https://doi.org/10.1007/978-981-96-0354-1 |
| ISBN/Einband/Preis | 978-981-96-0354-1 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Communications in Computer and Information Science ; 2248 |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 2 von 173
Administration
