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.
Logic and its applications : 10th Indian conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings / / A. V. Sreejith, Mohua Banerjee
| Logic and its applications : 10th Indian conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings / / A. V. Sreejith, Mohua Banerjee |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (232 pages) |
| Disciplina | 005.1015113 |
| Collana | Lecture notes in electrical engineering |
| Soggetto topico | Computer logic |
| ISBN | 3-031-26689-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Note on the Ontology of Mathematics -- Boolean Functional Synthesis: From Under the Hood of Solvers -- Labelled Calculi for Lattice-based Modal Logics -- Two Ways to Scare a Gruffalo -- Determinacy Axioms and Large Cardinals -- Big ideas from logic for mathematics and computing education -- Modal Logic of Generalized Separated Topological Spaces -- Multiple-valued Semantics for Metric Temporal Logic -- Segment transit function of the induced path function of graphs and its first-order definability -- Fuzzy Free Logic with Dual Domain Semantics -- A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering -- Labelled calculi for the logics of rough concepts -- An Infinity of Intuitionistic Connexive Logics -- Relational Semantics for Normal Topological Quasi-Boolean Logic. |
| Record Nr. | UNINA-9910674350403321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and its applications : 10th Indian conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings / / A. V. Sreejith, Mohua Banerjee
| Logic and its applications : 10th Indian conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings / / A. V. Sreejith, Mohua Banerjee |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (232 pages) |
| Disciplina | 005.1015113 |
| Collana | Lecture notes in electrical engineering |
| Soggetto topico | Computer logic |
| ISBN | 3-031-26689-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Note on the Ontology of Mathematics -- Boolean Functional Synthesis: From Under the Hood of Solvers -- Labelled Calculi for Lattice-based Modal Logics -- Two Ways to Scare a Gruffalo -- Determinacy Axioms and Large Cardinals -- Big ideas from logic for mathematics and computing education -- Modal Logic of Generalized Separated Topological Spaces -- Multiple-valued Semantics for Metric Temporal Logic -- Segment transit function of the induced path function of graphs and its first-order definability -- Fuzzy Free Logic with Dual Domain Semantics -- A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering -- Labelled calculi for the logics of rough concepts -- An Infinity of Intuitionistic Connexive Logics -- Relational Semantics for Normal Topological Quasi-Boolean Logic. |
| Record Nr. | UNISA-996511869903316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and Its Applications [[electronic resource] ] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / / edited by Mohua Banerjee, Krishna S
| Logic and Its Applications [[electronic resource] ] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / / edited by Mohua Banerjee, Krishna S |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 236 p. 24 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Artificial intelligence Computer science—Mathematics Discrete mathematics Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Artificial Intelligence Theory of Computation Discrete Mathematics in Computer Science |
| ISBN | 3-662-45824-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Homotopy Type Theory -- The Relevance of Relevance to Relevance Logic -- Logic-Automata Connections for Transformations -- Truths about Simpson's Paradox: Saving the Paradox from Falsity -- Some instances of graded consequence in the context of interval-valued Semantics -- Neighborhood Contingency Logic -- Hierarchies in inclusion logic with lax semantics -- A Modal Logic for Non-deterministic Information Systems -- Tableaux for non-normal public announcement logic.-A pragmatistic approach to propositional knowledge based on the successful behavior of belief -- Büchi Automata Optimisations Formalised in Isabelle/HOL -- Nēya's logical model for Ascertaining Sound Arguments -- Negative Existentials and Non-denoting Terms -- Ordinals in an algebra-valued model of a paraconsistent set theory -- Extending Carnap's Continuum to Binary Relations. Representing Imperfect Information of Procedures with Hyper Models. |
| Record Nr. | UNISA-996210507703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and Its Applications [[electronic resource] ] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / / edited by Mohua Banerjee, Krishna S
| Logic and Its Applications [[electronic resource] ] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / / edited by Mohua Banerjee, Krishna S |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 236 p. 24 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Artificial intelligence Computer science—Mathematics Discrete mathematics Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Artificial Intelligence Theory of Computation Discrete Mathematics in Computer Science |
| ISBN | 3-662-45824-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Homotopy Type Theory -- The Relevance of Relevance to Relevance Logic -- Logic-Automata Connections for Transformations -- Truths about Simpson's Paradox: Saving the Paradox from Falsity -- Some instances of graded consequence in the context of interval-valued Semantics -- Neighborhood Contingency Logic -- Hierarchies in inclusion logic with lax semantics -- A Modal Logic for Non-deterministic Information Systems -- Tableaux for non-normal public announcement logic.-A pragmatistic approach to propositional knowledge based on the successful behavior of belief -- Büchi Automata Optimisations Formalised in Isabelle/HOL -- Nēya's logical model for Ascertaining Sound Arguments -- Negative Existentials and Non-denoting Terms -- Ordinals in an algebra-valued model of a paraconsistent set theory -- Extending Carnap's Continuum to Binary Relations. Representing Imperfect Information of Procedures with Hyper Models. |
| Record Nr. | UNINA-9910484125003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and Its Applications [[electronic resource] ] : Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings / / edited by Mohua Banerjee, Anil Seth
| Logic and Its Applications [[electronic resource] ] : Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings / / edited by Mohua Banerjee, Anil Seth |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 219 p. 12 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Algorithms Mathematical logic Computer science—Mathematics Artificial Intelligence Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Mathematics of Computing |
| ISBN | 3-642-18026-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466051603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rough Sets [[electronic resource] ] : International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings / / edited by Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci
| Rough Sets [[electronic resource] ] : International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings / / edited by Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXII, 550 p. 239 illus., 55 illus. in color.) |
| Disciplina | 006.312 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Data mining
Artificial intelligence Arithmetic and logic units, Computer Data Mining and Knowledge Discovery Artificial Intelligence Arithmetic and Logic Structures |
| ISBN | 3-030-22815-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Core Rough Set Models and Methods -- An Application of Bayesian Confirmation Theory for Three-Way Decision -- Concept Approximation Based on Rough Sets and Judgment -- Rough Sets and the Algebra of Conditional Logic -- Rough Sets Defined by Multiple Relations -- On the Roughly Continuous Real Functions -- On topologies defined by binary relations in rough sets -- Iterative Set Approximations Based on Tolerance Relation -- Approximation Based on Representatives -- Local search for attribute reduction -- Rough Matroids Based on Dual Approximation Operators -- Studies on Reducing the Necessary Data Size for Rule Induction from the Decision Table by STRIM -- Rough Approximations on Two Universes under a Mapping -- Rough Sets Based on Possible Indiscernibility Relations in Incomplete Information Tables with Continuous Values -- The Prototype View of Concepts -- A Three-Way Clustering Algorithm via Decomposing Similarity Matrices for Multi-View Data with Noise -- Related Methods and Hybridization -- A Scalable Approach to Fuzzy Rough Nearest Neighbour Classification with Ordered Weighted Averaging Operators -- Learning Multi-granular Features for Harvesting Knowledge from Free Text -- Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant -- Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application -- Soft Petri Net -- Approximations induced by tolerance relations -- Three-Way Classification: Ambiguity and Abstention in Machine Learning -- Concepts Approximation Through Dialogue With User -- A Dynamic Dominance-based Rough Set Approach for Processing Ordered Data -- CSLI: Cost-sensitive collaborative filtering with local information embedding -- Attribute reduction based on optimistic multi-granulation information Systems -- Constructing the Optimal Approximation Sets of Rough Sets in Multi-granularity Spaces -- Discovering Flow Graphs from Data Tables Using the Classification and Prediction Software System (CLAPSS) -- Methods to Edit Multi-label Training Sets Using Rough Sets Theory -- Areas of Applications -- The Impact of Rough Set Conferences -- Multivariate Ovulation Window Detection at OvuFriend -- Incremental Sequential Three-Way Decision Using a Deep Stacked Autoencoder -- Three-way Decision Collaborative Recommendation Algorithm Based on User Reputation -- Multi-Graded Hybrid MRDM Model for Assisting Financial Performance Evaluation Decisions: A Preliminary Work -- 3D Face Recognition Based on Hybrid Data -- Rough Sets and Local Texture Features for Diagnosis of Connective Tissue Disorders -- Developing Pricing Models for Online Art Sales Using Text Analytics -- Hardware Implementation on Field Programmable Gate Array of Two-Stage Algorithm for Rough Set Reduct Generation -- A Multi-Granularity Representation Learning Framework for User Identification Across Social Networks -- A Robust Long-term Pedestrian Tracking-by-Detection Algorithm Based on Three-way Decision -- A Bibliometric Profile of Research on Rough Sets. |
| Record Nr. | UNISA-996466325803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rough Sets [[electronic resource] ] : International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings / / edited by Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci
| Rough Sets [[electronic resource] ] : International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings / / edited by Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXII, 550 p. 239 illus., 55 illus. in color.) |
| Disciplina | 006.312 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Data mining
Artificial intelligence Arithmetic and logic units, Computer Data Mining and Knowledge Discovery Artificial Intelligence Arithmetic and Logic Structures |
| ISBN | 3-030-22815-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Core Rough Set Models and Methods -- An Application of Bayesian Confirmation Theory for Three-Way Decision -- Concept Approximation Based on Rough Sets and Judgment -- Rough Sets and the Algebra of Conditional Logic -- Rough Sets Defined by Multiple Relations -- On the Roughly Continuous Real Functions -- On topologies defined by binary relations in rough sets -- Iterative Set Approximations Based on Tolerance Relation -- Approximation Based on Representatives -- Local search for attribute reduction -- Rough Matroids Based on Dual Approximation Operators -- Studies on Reducing the Necessary Data Size for Rule Induction from the Decision Table by STRIM -- Rough Approximations on Two Universes under a Mapping -- Rough Sets Based on Possible Indiscernibility Relations in Incomplete Information Tables with Continuous Values -- The Prototype View of Concepts -- A Three-Way Clustering Algorithm via Decomposing Similarity Matrices for Multi-View Data with Noise -- Related Methods and Hybridization -- A Scalable Approach to Fuzzy Rough Nearest Neighbour Classification with Ordered Weighted Averaging Operators -- Learning Multi-granular Features for Harvesting Knowledge from Free Text -- Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant -- Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application -- Soft Petri Net -- Approximations induced by tolerance relations -- Three-Way Classification: Ambiguity and Abstention in Machine Learning -- Concepts Approximation Through Dialogue With User -- A Dynamic Dominance-based Rough Set Approach for Processing Ordered Data -- CSLI: Cost-sensitive collaborative filtering with local information embedding -- Attribute reduction based on optimistic multi-granulation information Systems -- Constructing the Optimal Approximation Sets of Rough Sets in Multi-granularity Spaces -- Discovering Flow Graphs from Data Tables Using the Classification and Prediction Software System (CLAPSS) -- Methods to Edit Multi-label Training Sets Using Rough Sets Theory -- Areas of Applications -- The Impact of Rough Set Conferences -- Multivariate Ovulation Window Detection at OvuFriend -- Incremental Sequential Three-Way Decision Using a Deep Stacked Autoencoder -- Three-way Decision Collaborative Recommendation Algorithm Based on User Reputation -- Multi-Graded Hybrid MRDM Model for Assisting Financial Performance Evaluation Decisions: A Preliminary Work -- 3D Face Recognition Based on Hybrid Data -- Rough Sets and Local Texture Features for Diagnosis of Connective Tissue Disorders -- Developing Pricing Models for Online Art Sales Using Text Analytics -- Hardware Implementation on Field Programmable Gate Array of Two-Stage Algorithm for Rough Set Reduct Generation -- A Multi-Granularity Representation Learning Framework for User Identification Across Social Networks -- A Robust Long-term Pedestrian Tracking-by-Detection Algorithm Based on Three-way Decision -- A Bibliometric Profile of Research on Rough Sets. |
| Record Nr. | UNINA-9910337840203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||