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.
Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions / / Toshiyasu Arai [and four others], editors
| Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions / / Toshiyasu Arai [and four others], editors |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (232 pages) |
| Disciplina | 511.3 |
| Collana | Springer Proceedings in Mathematics and Statistics |
| Soggetto topico |
Logic, Symbolic and mathematical
Lògica matemàtica |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 981-16-4173-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910523006803321 |
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions / / Toshiyasu Arai [and four others], editors
| Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions / / Toshiyasu Arai [and four others], editors |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (232 pages) |
| Disciplina | 511.3 |
| Collana | Springer Proceedings in Mathematics and Statistics |
| Soggetto topico |
Logic, Symbolic and mathematical
Lògica matemàtica |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 981-16-4173-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466551103316 |
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Natural Language Processing : 4th International Conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004. Proceedings / / edited by José Luis Vicedo, Particio Martínez-Barco, Rafael Munoz, Maximiliano Saiz Noeda
| Advances in Natural Language Processing : 4th International Conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004. Proceedings / / edited by José Luis Vicedo, Particio Martínez-Barco, Rafael Munoz, Maximiliano Saiz Noeda |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 496 p.) |
| Disciplina | 006.35 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical Information storage and retrieval Natural language processing (Computer science) Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval Natural Language Processing (NLP) |
| ISBN | 3-540-30228-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Adaptive Selection of Base Classifiers in One-Against-All Learning for Large Multi-labeled Collections -- Automatic Acquisition of Transfer Rules from Translation Examples -- Automatic Assessment of Open Ended Questions with a Bleu-Inspired Algorithm and Shallow NLP -- Automatic Phonetic Alignment and Its Confidence Measures -- Automatic Spelling Correction in Galician -- Baseline Methods for Automatic Disambiguation of Abbreviations in Jewish Law Documents -- Bayes Decision Rules and Confidence Measures for Statistical Machine Translation -- Character Identification in Children Stories -- Comparison and Evaluation of Two Approaches of a Multilayered QA System Applied to Temporality -- The Contents and Structure of the Context Base, and Its Application -- Developing a Minimalist Parser for Free Word Order Languages with Discontinuous Constituency -- Developing Competitive HMM PoS Taggers Using Small Training Corpora -- Exploring the Use of Target-Language Information to Train the Part-of-Speech Tagger of Machine Translation Systems -- Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers -- An Independent Domain Dialogue System Through a Service Manager -- Information Retrieval in Digital Theses Based on Natural Language Processing Tools -- Integrating Conceptual Density with WordNet Domains and CALD Glosses for Noun Sense Disambiguation -- Intertwining Deep Syntactic Processing and Named Entity Detection -- Language Understanding Using n-multigram Models -- Multi-label Text Classification Using Multinomial Models -- A Multi-use Incremental Syntax-Semantic Interface -- Multiword Expression Translation Using Generative Dependency Grammar -- Named Entity Recognition Through Corpus Transformation and System Combination -- One Size Fits All? A Simple Technique to Perform Several NLP Tasks -- Ontology-Based Feature Transformations: A Data-Driven Approach -- On the Quality of Lexical Resources for Word Sense Disambiguation -- Reuse of Free Online MT Engines to Develop a Meta-system of Multilingual Machine Translation -- Semantic-Aided Anaphora Resolution in Large Corpora Development -- SemRol: Recognition of Semantic Roles -- Significance of Syntactic Features for Word Sense Disambiguation -- SisHiTra : A Hybrid Machine Translation System from Spanish to Catalan -- Smoothing and Word Sense Disambiguation -- Spelling Correction for Search Engine Queries -- A Statistical Study of the WPT-03 Corpus -- A Study of Chunk-Based and Keyword-Based Approaches for Generating Headlines -- Suffixal and Prefixal Morpholexical Relationships of the Spanish -- SuPor: An Environment for AS of Texts in Brazilian Portuguese -- Systemic Analysis Applied to Problem Solving: The Case of the Past Participle in French -- The Merging Problem in Distributed Information Retrieval and the 2-Step RSV Merging Algorithm -- Unsupervised Training of a Finite-State Sliding-Window Part-of-Speech Tagger -- Using Seed Words to Learn to Categorize Chinese Text -- On Word Frequency Information and Negative Evidence in Naive Bayes Text Classification. |
| Record Nr. | UNINA-9910767535303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Natural Language Processing : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings / / edited by Elisabete Ranchod, Nuno J. Mamede
| Advances in Natural Language Processing : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings / / edited by Elisabete Ranchod, Nuno J. Mamede |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 280 p.) |
| Disciplina | 006.3/5 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Logic, Symbolic and mathematical Information storage and retrieval Natural Language Processing (NLP) Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN | 3-540-45433-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- WordsEye: A Text-to-Scene Conversion System -- Automatic Anaphora Resolution: Limits, Impediments, and Ways Forward -- Pragmatics, Discourse, Semantics, Syntax, and the Lexicon -- Feature-Based WSD: Why We Are at a Dead-End -- Improving Feature Selection for Maximum Entropy-Based Word Sense Disambiguation -- Heuristics-Based Replenishment of Collocation Databases -- On the Analysis of Locative Phrases with Graphs and Lexicon-Grammar: The Classifier/Proper Noun Pairing -- The Role of Pause Occurrence and Pause Duration in the Signaling of Narrative Structure -- A Grammar-Based System to Solve Temporal Expressions in Spanish Texts -- Semantic Information in Anaphora Resolution -- A Type of Transitive Inalienable Possession Construction in Korean -- The Treatment of Numbers in Polish by Graphs -- From Syntax to Semantics: Taking Advantages of 5P -- Processing Discontinuity -- Resolution of Demonstrative Anaphoric References in Portuguese Written Texts -- Interpreting and Generating Spoken and Written Language -- Large Vocabulary Continuous Speech Recognition Using Weighted Finite-State Transducers -- Building Language Models for Continuous Speech Recognition Systems -- Language-Oriented Information Retrieval, Question Answering, Summarization, and Information Extraction -- Relevant Information Extraction Driven with Rhetorical Schemas to Summarize Scientific Papers -- Language-Oriented Machine Learning -- Mapping an Automated Survey Coding Task into a Probabilistic Text Categorization Framework -- Combining Multiclass Maximum Entropy Text Classifiers with Neural Network Voting -- Multi-lingual Processing, Machine Translation, and Translation Aids -- Compound Temporal Adverbs in Portuguese and in Spanish -- Description of a Multilingual Database of Proper Names -- Natural Language Interfaces and Dialogue Systems -- A Project of Speech Input and Output in an E-commerce Application -- Ambiguity Reports for Flexible Dialog Management -- A Natural Language Dialogue Manager for Accessing Databases -- Helping the Composition of Help Contents -- Meteo: A Telephone-Based Portuguese Conversation System in Weather Domain -- Tools and Resources -- Concluding Remarks on Multi-band and Multi-stream Research for Noise-Robust ASR -- Groundwork for the Development of the Brazilian Portuguese Wordnet -- Linguistic Processing of Biomedical Texts -- DISPARA, a System for Distributing Parallel Corpora on the Web -- Using Morphological, Syntactical, and Statistical Information for Automatic Term Acquisition -- Complex Lexical Units and Automata -- Constructing Empirical Formulas for Testing Word Similarity by the Inductive Method of Model Self-Organization -- Multilingual Corpora Annotation for Processing Definite Descriptions -- Relational Data Model in Document Hierarchical Indexing -- Evaluation of Systems -- DMSumm: Review and Assessment. |
| Record Nr. | UNINA-9910143899003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in proof theory / / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer
| Advances in proof theory / / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 |
| Descrizione fisica | 1 online resource (430 p.) |
| Disciplina | 511.3 |
| Collana | Progress in Computer Science and Applied Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic Mathematical Logic and Foundations |
| ISBN | 3-319-29198-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal -- A. Cantini: About truth and types -- R. Dyckhoff: Intuitionistic decision procedures since Gentzen -- S. Feferman: The operational perspective -- R. Gore: Formally verified proof-theory using Isabelle/HOL -- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus -- W. Pohlers: From subsystems of classical analysis to subsystems of set theory - a personal account -- M. Rathjen: Ordinal analysis and witness extraction -- P. Schuster: Logic completeness via open induction -- H. Schwichtenberg: On the computational content of Higman's lemma -- P. Schroeder-Heister: TBA -- A. Setzer: TBA -- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity. |
| Record Nr. | UNINA-9910254060903321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Soft Computing : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I / / edited by Félix Castro, Sabino Miranda-Jiménez, Miguel González-Mendoza
| Advances in Soft Computing : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I / / edited by Félix Castro, Sabino Miranda-Jiménez, Miguel González-Mendoza |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXV, 367 p. 109 illus., 65 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Logic, Symbolic and mathematical Optical data processing Application software Education—Data processing Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Image Processing and Computer Vision Computer Appl. in Social and Behavioral Sciences Computers and Education |
| ISBN |
9783030028374
3030028372 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural networks -- evolutionary algorithms and optimization -- hybrid intelligent systems and fuzzy logic -- machine learning and data mining. |
| Record Nr. | UNINA-9910349386003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in technological applications of logical and intelligent systems [[electronic resource] ] : selected papers from the Sixth Congress on Logic Applied to Technology / / edited by Germano Lambert-Torres ... [et al.]
| Advances in technological applications of logical and intelligent systems [[electronic resource] ] : selected papers from the Sixth Congress on Logic Applied to Technology / / edited by Germano Lambert-Torres ... [et al.] |
| Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Fairfax, VA, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | TorresGermano Lambert |
| Collana |
Frontiers in artificial intelligence and applications
Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6612070536
1-282-07053-3 9786612070532 1-4416-0544-4 600-00-1249-7 1-60750-380-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Foreword; Contents; Algebraic Framework for Reverse Engineering on Specifications; An Attempt to Express the Semantics of the Adaptive Devices; Temporal Logic Applied in Information Systems; A Heuristic Approach to the Cable Routing Problem in Electrical Panels; Avatars Animation Using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments; Annotated Paraconsistent Logic; Creation of Virtual Environments Through Knowledge-Aid Declarative Modeling
Further Results on Multiobjective Evolutionary Search for One-Dimensional, Density Classifier, Cellular Automata, and Strategy Analysis of the RulesParaconsistent Logic Applied in Expert System for Support in Electric Transmission Systems Re-Establishment; Fuzzy Dynamical Model of Epidemic Spreading Taking into Account the Uncertainties in Individual Infectivity; Representations and Solution Techniques to Loss Reduction in Electric Energy Distribution Systems; Intelligent Vehicle Survey and Applications; Paraconsistent Autonomous Mobile Robot Emmy III Software Development for Underground and Overhead Distribution System DesignDistribution Transformer Technical Losses Estimation with Aggregated Load Curve Analytical Methodology and Artificial Neural Network Approach Implementation; Author Index |
| Record Nr. | UNINA-9910454039703321 |
| Amsterdam, Netherlands ; ; Fairfax, VA, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in technological applications of logical and intelligent systems [[electronic resource] ] : selected papers from the Sixth Congress on Logic Applied to Technology / / edited by Germano Lambert-Torres ... [et al.]
| Advances in technological applications of logical and intelligent systems [[electronic resource] ] : selected papers from the Sixth Congress on Logic Applied to Technology / / edited by Germano Lambert-Torres ... [et al.] |
| Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Fairfax, VA, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | TorresGermano Lambert |
| Collana |
Frontiers in artificial intelligence and applications
Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical |
| ISBN |
6612070536
1-282-07053-3 9786612070532 1-4416-0544-4 600-00-1249-7 1-60750-380-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Foreword; Contents; Algebraic Framework for Reverse Engineering on Specifications; An Attempt to Express the Semantics of the Adaptive Devices; Temporal Logic Applied in Information Systems; A Heuristic Approach to the Cable Routing Problem in Electrical Panels; Avatars Animation Using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments; Annotated Paraconsistent Logic; Creation of Virtual Environments Through Knowledge-Aid Declarative Modeling
Further Results on Multiobjective Evolutionary Search for One-Dimensional, Density Classifier, Cellular Automata, and Strategy Analysis of the RulesParaconsistent Logic Applied in Expert System for Support in Electric Transmission Systems Re-Establishment; Fuzzy Dynamical Model of Epidemic Spreading Taking into Account the Uncertainties in Individual Infectivity; Representations and Solution Techniques to Loss Reduction in Electric Energy Distribution Systems; Intelligent Vehicle Survey and Applications; Paraconsistent Autonomous Mobile Robot Emmy III Software Development for Underground and Overhead Distribution System DesignDistribution Transformer Technical Losses Estimation with Aggregated Load Curve Analytical Methodology and Artificial Neural Network Approach Implementation; Author Index |
| Record Nr. | UNINA-9910782844403321 |
| Amsterdam, Netherlands ; ; Fairfax, VA, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agency, norms, inquiry, and artifacts, essays in honor of Risto Hilpinen / / edited by Paul McNamara, Andrew J. I. Jones, and Mark A. Brown
| Agency, norms, inquiry, and artifacts, essays in honor of Risto Hilpinen / / edited by Paul McNamara, Andrew J. I. Jones, and Mark A. Brown |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (256 pages) |
| Disciplina | 160 |
| Collana | Synthese Library |
| Soggetto topico |
Logic
Logic, Symbolic and mathematical Modality (Logic) |
| ISBN | 3-030-90749-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Part I Branching Time, Causation, and Agency -- 1 Time and Actual Obligations -- 1.1 Theory and Practice -- 1.2 The CJ1 Lexicon and Semantics -- 1.3 Some Observations and Interpretation -- 1.3.1 Contexts -- 1.3.2 Norms and Obligations -- 1.3.3 Deliberation and Evaluation -- 1.3.4 Fulfillment and Violation -- 1.4 Bringing Time into the Picture -- 1.5 Comparing the Systems -- 1.6 Analysis of Some Scenarios -- 1.7 Conclusion -- References -- 2 Actual Cause and Chancy Causation in Stit: A PreliminaryAccount -- 2.1 Introduction -- 2.2 Formal Framework -- 2.3 Group Agency and Essential Contributors -- 2.4 Indeterminism and `Chancy Causation' -- 2.5 Causal Dependencies and Independence of Agents -- 2.6 Conclusion -- References -- Part II The Nature of Norms and Obligations -- 3 Deontic Logic and the Propositional Nature of Norms -- 3.1 Introduction -- 3.2 Two Typical Strategies -- 3.3 Norms and Norm-Propositions -- 3.4 Hilpinen's Solution to Jørgensen's Dilemma -- 3.5 Two Interpretations of Hilpinen's Ideas -- 3.6 Another Approach to the Logic of Norm-Propositions -- 3.7 Conclusions -- References -- 4 Imperative Foundations for the Metaphysics of Obligations -- 4.1 Introduction: Taking Obligations Seriously -- 4.2 The Satisfaction/Violation of Obligations and the Association Function -- 4.2.1 Prescriptions -- 4.2.2 The Satisfaction and the Violation of Obligations -- 4.2.3 The Association Function -- 4.2.4 The Correspondence Result -- 4.3 The Nature of Obligations and the Identity Thesis -- 4.3.1 The Identity Thesis -- 4.3.2 Obligation Phasalism and the Time-Indexed Identity Thesis -- 4.4 Conclusion -- A.1 Appendix: Moral Obligation Prescriptivism -- References -- Part III Varieties and Applications of Normative Logic -- 5 The Logic of ``Must'' and ``Have to'' -- 5.1 Introducing Aggregative Predicates -- 5.2 A Formal Representation.
5.3 The Origin-Compliance Dimension of Deontic Predicates -- 5.4 Connections with Moral Theory -- 5.5 Deontic Paradoxes -- 5.6 Prima Facie Requirements vs. Requirements All Things Considered -- 5.7 An Aggregative Permissive Predicate? -- 5.8 Conclusion -- References -- 6 On the Role of Normative Modalities in the Characterization of Emotions -- 6.1 Two Categories of Normative Modality -- 6.2 Approving and Wanting -- 6.3 The Mental Structure of Emotions -- 6.4 Unacceptability -- 6.5 A Reformulation of Pörn's Atomic Emotion Types -- References -- 7 A Natural Conditionalization of the DWE Framework -- 7.1 Introduction -- 7.2 Doing Well Enough (DWE) -- 7.2.1 Language and Logic -- 7.2.2 Semantics for DWE -- 7.2.3 A Modest Generalization of the DWE Framework -- 7.3 Conditionalizing the DWEG Framework -- 7.3.1 Motivating the Need to Do So -- 7.3.2 The Language and Formal Semantics for CDWEG -- 7.3.3 The CDWEG Logic -- 7.4 The Earlier Motivation Again and Conclusion -- Appendix -- References -- Part IV History of Deontic Logic -- 8 Ibn Ḥazm on Heteronomous Imperatives. A Landmark in the History of the Logical Analysis of Norms -- 8.1 Introduction -- 8.2 Ibn Ḥazm's Logic of Heteronomous Imperatives -- 8.2.1 The Main Definitions -- 8.2.2 Freedom and Heteronomy: Ought Presupposes Can -- 8.3 On Natural and Deontic Necessity -- 8.4 Deontic Imperatives and the CTT-Analysis of Hypotheticals -- 8.4.1 Quantifying Over Actions -- 8.4.2 Logical Analysis of Ibn Ḥazm's Heteronomous Imperatives -- 8.5 A Landmark in the History of the Logical Analysis of Norms. Natural and Deontic Modalities -- 8.6 Ibn Ḥazm's Parallelism, Qiyās, and the Inferential Structure of Imperatives -- 8.7 Beyond Ibn Ḥazm: Conclusions and the Work Ahead -- 8.7.1 Brief Remarks on Ibn Ḥazm's Heteronomous Imperatives and Deontic Logic. 8.7.2 On Normativity the Other Way Round and the Internalization of Nature -- References -- Part V Inquiry and Inference -- 9 Hilpinen's Theory of Inquiry -- 9.1 Introduction -- 9.2 The Semantics of Questions and the Theory of Inquiry (1986) -- 9.3 Inquiry, Argumentation and Knowledge (1991) -- 9.4 Belief Systems as Artifacts (1995) -- 9.5 Final Remarks -- References -- 10 Practical Inferences -- 10.1 Hilpinen on Practical Abduction, and His Instrumentalist Framing Assumptions -- 10.2 From Hilpinen's to a Broader Instrumentalism -- 10.3 Beyond Instrumentalism, I: Inference Versus Mere Association -- 10.3.1 The Taking Condition, or the Guise of the Normative -- 10.3.2 Taking One's Reasons to Be One's Reasons -- 10.3.3 Rules and the Form of an Inference -- 10.4 Beyond Instrumentalism, II: Practicality and Virtue -- 10.4.1 Desire and Motivation -- 10.4.2 What Instrumentalism Cannot Explain -- 10.5 Conclusion: A Non-instrumentalist Alternative -- References -- Part VI Artifacts -- 11 Artwork Authorship as a Sign-in-Action -- 11.1 Introduction -- 11.2 Peirce Semiotics as Process Semiotics -- 11.3 Authorship, Artifact and Semiotic Distributedness -- 11.4 Where to Go from Here … Some Implications -- 11.5 Conclusion -- References -- 12 The Primacy of Abstract Artifacts -- 12.1 Hilpinen's Theory of Artifacts - A Critical Diachronic Overview -- 12.2 The Primacy of Abstract Artifacts -- References -- About Risto Hilpinen -- Positions, Professional Service, and Honors -- Professor Hilpinen's Publications -- A. Monographs and Edited Books -- B. Articles and Reviews. |
| Record Nr. | UNINA-9910561297203321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe
| Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 223 p. 58 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Data mining Logic, Symbolic and mathematical Software engineering Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing Software Engineering/Programming and Operating Systems |
| ISBN |
9783319935812
331993581X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Description Logic Based Knowledge Representation Model for Concept Understanding -- Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property -- Chest X-Ray Image Analysis - A Vision of Logic Programming -- Text Classification and Transfer Learning based on Character-level Deep Convolutional Neural Networks -- A Hierarchical Playscript Representation of Distributed Words for Effective Semantic Clustering and Search -- Data Harvesting and Event Detection from Czech Twitter -- Variants of Independence Detection in SAT-based Optimal Multi-Agent Path Finding -- ε-Strong Privacy Preserving Multi-agent Planning -- A Quantitative Assessment of the JADEL Programming Language -- Analogical Reasoning in Clinical Practice with Description Logic ELH -- Advanced User Interfaces for Semantic Annotation of Complex Relations in Text. |
| Record Nr. | UNINA-9910349433903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
