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.
Case-based reasoning [[electronic resource] ] : processes, suitability and applications / / Antonia M. Leeland, editor
| Case-based reasoning [[electronic resource] ] : processes, suitability and applications / / Antonia M. Leeland, editor |
| Pubbl/distr/stampa | Hauppauge, N.Y., : Nova Science Publishers, c2011 |
| Descrizione fisica | 1 online resource (183 p.) |
| Disciplina | 153.4/3 |
| Altri autori (Persone) | LeelandAntonia M |
| Collana | Engineering tools, techniques and tables |
| Soggetto topico | Case-based reasoning |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61728-814-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910461654003321 |
| Hauppauge, N.Y., : Nova Science Publishers, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Case-based reasoning [[electronic resource] ] : processes, suitability and applications / / Antonia M. Leeland, editor
| Case-based reasoning [[electronic resource] ] : processes, suitability and applications / / Antonia M. Leeland, editor |
| Pubbl/distr/stampa | Hauppauge, N.Y., : Nova Science Publishers, c2011 |
| Descrizione fisica | 1 online resource (183 p.) |
| Disciplina | 153.4/3 |
| Altri autori (Persone) | LeelandAntonia M |
| Collana | Engineering tools, techniques and tables |
| Soggetto topico | Case-based reasoning |
| ISBN | 1-61728-814-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910790280303321 |
| Hauppauge, N.Y., : Nova Science Publishers, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Case-based reasoning [[electronic resource] ] : processes, suitability and applications / / Antonia M. Leeland, editor
| Case-based reasoning [[electronic resource] ] : processes, suitability and applications / / Antonia M. Leeland, editor |
| Pubbl/distr/stampa | Hauppauge, N.Y., : Nova Science Publishers, c2011 |
| Descrizione fisica | 1 online resource (183 p.) |
| Disciplina | 153.4/3 |
| Altri autori (Persone) | LeelandAntonia M |
| Collana | Engineering tools, techniques and tables |
| Soggetto topico | Case-based reasoning |
| ISBN | 1-61728-814-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910826775603321 |
| Hauppauge, N.Y., : Nova Science Publishers, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Commonsense reasoning [[electronic resource] /] / Erik T. Mueller
| Commonsense reasoning [[electronic resource] /] / Erik T. Mueller |
| Autore | Mueller Erik T |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 |
| Descrizione fisica | 1 online resource (431 p.) |
| Disciplina | 153.4/3 |
| Soggetto topico |
Commonsense reasoning - Automation
Artificial intelligence - Mathematics Logic, Symbolic and mathematical - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-05049-0
9786611050498 0-08-047661-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; About the Author; Title page; Copyright page; Table of contents; Foreword; Preface; Why Commonsense Reasoning?; Approach; Intended Audience; Roadmap; Material Covered; Supplemental Materials; Web Site and Reasoning Programs; Exercises and Solutions; Text and Figure Acknowledgments; Acknowledgments; 1 Introduction; What Is Commonsense Reasoning?; Key Issues of Commonsense Reasoning; Summary; Brief History of Commonsense Reasoning; Logical Methods; Nonlogical Methods; The Event Calculus; Events, Fluents, and Timepoints; A Simple Example; Automated Event Calculus Reasoning
Bibliographic NotesPart I Foundations; 2 The Event Calculus; First-Order Logic; Syntax of First-Order Logic; Semantics of First-Order Logic; Proof Theory; Many-Sorted First-Order Logic; Notational Conventions; Event Calculus Basics; Event Calculus Sorts; Event Calculus Predicates; States of a Fluent; Event Calculus Axiomatizations; The (Continuous) Event Calculus; The Discrete Event Calculus; Choosing between the Event Calculus and the Discrete Event Calculus; Reification; Unique Names Axioms; Conditions; Circumscription; Computing Circumscription; Example: Circumscription of Happens Example: Circumscription of InitiatesDomain Descriptions; Example: Sleep; Inconsistency; Reasoning Types; Deduction and Temporal Projection; Abduction and Planning; Example: Sleep Abduction; Postdiction; Model Finding; Bibliographic Notes; Exercises; Part II Commonsense Phenomena; 3 The Effects of Events; Positive and Negative Effect Axioms; Example: Telephone; Effect Axiom Idioms; Preconditions; Fluent Preconditions; Action Preconditions; Example: Walking through a Door; State Constraints; Example: Telephone Revisited; Bibliographic Notes; Exercises; 4 The Triggering of Events Trigger AxiomsExample: Alarm Clock; Preventing Repeated Triggering; Example: Bank Account Service Fee; Triggered Fluents; Bibliographic Notes; Exercises; 5 The Commonsense Law of Inertia; Representation of the Commonsense Law of Inertia; Frame Problem; Classical Frame Axioms; Explanation Closure Axioms; Minimizing Event Occurrences; Introduction of Initiates Predicate; Minimizing Event Effects; Introduction of Terminates Predicate; Discussion; Representing Release from the Commonsense Law of Inertia; Example: Yale Shooting Scenario; Releasing from Inertia; Restoring Inertia Explanation Closure Axioms for ReleasedAtExample: Russian Turkey Scenario; Release Axioms; Bibliographic Notes; Exercises; 6 Indirect Effects of Events; Effect Axioms; Example: Carrying a Book; Discussion; Primitive and Derived Fluents; Example: Device; Release Axioms and State Constraints; Example: Carrying a Book Revisited; Effect Constraints; Example: Carrying a Book Revisited; Causal Constraints; Example: Thielscher's Circuit; Trigger Axioms; Example: Thielscher's Circuit with Delays; Example: Shanahan's Circuit with Delays; Bibliographic Notes; Exercises; 7 Continuous Change Trajectory Axioms |
| Record Nr. | UNINA-9910458662903321 |
Mueller Erik T
|
||
| Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Commonsense reasoning [[electronic resource] /] / Erik T. Mueller
| Commonsense reasoning [[electronic resource] /] / Erik T. Mueller |
| Autore | Mueller Erik T |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 |
| Descrizione fisica | 1 online resource (431 p.) |
| Disciplina | 153.4/3 |
| Soggetto topico |
Commonsense reasoning - Automation
Artificial intelligence - Mathematics Logic, Symbolic and mathematical - Data processing |
| ISBN |
1-281-05049-0
9786611050498 0-08-047661-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; About the Author; Title page; Copyright page; Table of contents; Foreword; Preface; Why Commonsense Reasoning?; Approach; Intended Audience; Roadmap; Material Covered; Supplemental Materials; Web Site and Reasoning Programs; Exercises and Solutions; Text and Figure Acknowledgments; Acknowledgments; 1 Introduction; What Is Commonsense Reasoning?; Key Issues of Commonsense Reasoning; Summary; Brief History of Commonsense Reasoning; Logical Methods; Nonlogical Methods; The Event Calculus; Events, Fluents, and Timepoints; A Simple Example; Automated Event Calculus Reasoning
Bibliographic NotesPart I Foundations; 2 The Event Calculus; First-Order Logic; Syntax of First-Order Logic; Semantics of First-Order Logic; Proof Theory; Many-Sorted First-Order Logic; Notational Conventions; Event Calculus Basics; Event Calculus Sorts; Event Calculus Predicates; States of a Fluent; Event Calculus Axiomatizations; The (Continuous) Event Calculus; The Discrete Event Calculus; Choosing between the Event Calculus and the Discrete Event Calculus; Reification; Unique Names Axioms; Conditions; Circumscription; Computing Circumscription; Example: Circumscription of Happens Example: Circumscription of InitiatesDomain Descriptions; Example: Sleep; Inconsistency; Reasoning Types; Deduction and Temporal Projection; Abduction and Planning; Example: Sleep Abduction; Postdiction; Model Finding; Bibliographic Notes; Exercises; Part II Commonsense Phenomena; 3 The Effects of Events; Positive and Negative Effect Axioms; Example: Telephone; Effect Axiom Idioms; Preconditions; Fluent Preconditions; Action Preconditions; Example: Walking through a Door; State Constraints; Example: Telephone Revisited; Bibliographic Notes; Exercises; 4 The Triggering of Events Trigger AxiomsExample: Alarm Clock; Preventing Repeated Triggering; Example: Bank Account Service Fee; Triggered Fluents; Bibliographic Notes; Exercises; 5 The Commonsense Law of Inertia; Representation of the Commonsense Law of Inertia; Frame Problem; Classical Frame Axioms; Explanation Closure Axioms; Minimizing Event Occurrences; Introduction of Initiates Predicate; Minimizing Event Effects; Introduction of Terminates Predicate; Discussion; Representing Release from the Commonsense Law of Inertia; Example: Yale Shooting Scenario; Releasing from Inertia; Restoring Inertia Explanation Closure Axioms for ReleasedAtExample: Russian Turkey Scenario; Release Axioms; Bibliographic Notes; Exercises; 6 Indirect Effects of Events; Effect Axioms; Example: Carrying a Book; Discussion; Primitive and Derived Fluents; Example: Device; Release Axioms and State Constraints; Example: Carrying a Book Revisited; Effect Constraints; Example: Carrying a Book Revisited; Causal Constraints; Example: Thielscher's Circuit; Trigger Axioms; Example: Thielscher's Circuit with Delays; Example: Shanahan's Circuit with Delays; Bibliographic Notes; Exercises; 7 Continuous Change Trajectory Axioms |
| Record Nr. | UNINA-9910784649503321 |
|
Mueller Erik T
|
||
| Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Commonsense reasoning [[electronic resource] /] / Erik T. Mueller
| Commonsense reasoning [[electronic resource] /] / Erik T. Mueller |
| Autore | Mueller Erik T |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 |
| Descrizione fisica | 1 online resource (431 p.) |
| Disciplina | 153.4/3 |
| Soggetto topico |
Commonsense reasoning - Automation
Artificial intelligence - Mathematics Logic, Symbolic and mathematical - Data processing |
| ISBN |
1-281-05049-0
9786611050498 0-08-047661-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; About the Author; Title page; Copyright page; Table of contents; Foreword; Preface; Why Commonsense Reasoning?; Approach; Intended Audience; Roadmap; Material Covered; Supplemental Materials; Web Site and Reasoning Programs; Exercises and Solutions; Text and Figure Acknowledgments; Acknowledgments; 1 Introduction; What Is Commonsense Reasoning?; Key Issues of Commonsense Reasoning; Summary; Brief History of Commonsense Reasoning; Logical Methods; Nonlogical Methods; The Event Calculus; Events, Fluents, and Timepoints; A Simple Example; Automated Event Calculus Reasoning
Bibliographic NotesPart I Foundations; 2 The Event Calculus; First-Order Logic; Syntax of First-Order Logic; Semantics of First-Order Logic; Proof Theory; Many-Sorted First-Order Logic; Notational Conventions; Event Calculus Basics; Event Calculus Sorts; Event Calculus Predicates; States of a Fluent; Event Calculus Axiomatizations; The (Continuous) Event Calculus; The Discrete Event Calculus; Choosing between the Event Calculus and the Discrete Event Calculus; Reification; Unique Names Axioms; Conditions; Circumscription; Computing Circumscription; Example: Circumscription of Happens Example: Circumscription of InitiatesDomain Descriptions; Example: Sleep; Inconsistency; Reasoning Types; Deduction and Temporal Projection; Abduction and Planning; Example: Sleep Abduction; Postdiction; Model Finding; Bibliographic Notes; Exercises; Part II Commonsense Phenomena; 3 The Effects of Events; Positive and Negative Effect Axioms; Example: Telephone; Effect Axiom Idioms; Preconditions; Fluent Preconditions; Action Preconditions; Example: Walking through a Door; State Constraints; Example: Telephone Revisited; Bibliographic Notes; Exercises; 4 The Triggering of Events Trigger AxiomsExample: Alarm Clock; Preventing Repeated Triggering; Example: Bank Account Service Fee; Triggered Fluents; Bibliographic Notes; Exercises; 5 The Commonsense Law of Inertia; Representation of the Commonsense Law of Inertia; Frame Problem; Classical Frame Axioms; Explanation Closure Axioms; Minimizing Event Occurrences; Introduction of Initiates Predicate; Minimizing Event Effects; Introduction of Terminates Predicate; Discussion; Representing Release from the Commonsense Law of Inertia; Example: Yale Shooting Scenario; Releasing from Inertia; Restoring Inertia Explanation Closure Axioms for ReleasedAtExample: Russian Turkey Scenario; Release Axioms; Bibliographic Notes; Exercises; 6 Indirect Effects of Events; Effect Axioms; Example: Carrying a Book; Discussion; Primitive and Derived Fluents; Example: Device; Release Axioms and State Constraints; Example: Carrying a Book Revisited; Effect Constraints; Example: Carrying a Book Revisited; Causal Constraints; Example: Thielscher's Circuit; Trigger Axioms; Example: Thielscher's Circuit with Delays; Example: Shanahan's Circuit with Delays; Bibliographic Notes; Exercises; 7 Continuous Change Trajectory Axioms |
| Record Nr. | UNINA-9910822304903321 |
|
Mueller Erik T
|
||
| Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decision making under stress : emerging themes and applications / / edited by Rhona Flin. [et al.]
| Decision making under stress : emerging themes and applications / / edited by Rhona Flin. [et al.] |
| Pubbl/distr/stampa | London : , : Routledge, , 2016 |
| Descrizione fisica | 1 online resource (348 pages) |
| Disciplina | 153.4/3 |
| Altri autori (Persone) | FlinRhona H |
| Soggetto topico |
Decision making
Problem solving |
| ISBN |
1-315-25840-4
1-351-94594-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Theoretical perspectives on NDM -- pt. 2. Decisions in civil emergencies -- pt. 3. Military command decision -- pt. 4. Decisions on the flight deck -- pt. 5. Analysing decision making under stress. |
| Record Nr. | UNINA-9910792532403321 |
| London : , : Routledge, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decision making under stress : emerging themes and applications / / edited by Rhona Flin. [et al.]
| Decision making under stress : emerging themes and applications / / edited by Rhona Flin. [et al.] |
| Pubbl/distr/stampa | London : , : Routledge, , 2016 |
| Descrizione fisica | 1 online resource (348 pages) |
| Disciplina | 153.4/3 |
| Altri autori (Persone) | FlinRhona H |
| Soggetto topico |
Decision making
Problem solving |
| ISBN |
1-315-25840-4
1-351-94594-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Theoretical perspectives on NDM -- pt. 2. Decisions in civil emergencies -- pt. 3. Military command decision -- pt. 4. Decisions on the flight deck -- pt. 5. Analysing decision making under stress. |
| Record Nr. | UNINA-9910818283303321 |
| London : , : Routledge, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evidence contestation : dealing with dissent in knowledge societies / / edited by Karin Zachmann [and three others]
| Evidence contestation : dealing with dissent in knowledge societies / / edited by Karin Zachmann [and three others] |
| Pubbl/distr/stampa | New York, NY : , : Routledge, , [2023] |
| Descrizione fisica | 1 online resource (xvi, 329 pages) : illustrations |
| Disciplina | 153.4/3 |
| Collana | Routledge Studies in the Philosophy of Science Series |
| Soggetto topico | Evidence |
| ISBN |
1-00-327350-5
1-000-83985-0 1-003-27350-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910647299103321 |
| New York, NY : , : Routledge, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
How to improve your mind [[electronic resource] ] : twenty keys to unlock the modern world / / James R. Flynn
| How to improve your mind [[electronic resource] ] : twenty keys to unlock the modern world / / James R. Flynn |
| Autore | Flynn James R (James Robert), <1934-2020.> |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, 2012 |
| Descrizione fisica | 1 online resource (204 p.) |
| Disciplina |
153
153.4/3 153.43 |
| Soggetto topico |
Critical thinking
Intellect Knowledge, Sociology of |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-59909-0
9786613911544 1-118-31500-6 1-118-31499-9 1-118-31501-4 |
| Classificazione | PSY023000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
How to Improve Your Mind: Twenty Keys to Unlock the Modern World; Contents; List of Figures and Boxes; Acknowledgments; 1 Introduction: The Knowledge Trap; Wherein I Seek Rapport with the Reader; Key Concepts and Anti-Keys; Universities and the Knowledge Trap; Substitute for a Diary; Part 1 Arguing about Right and Wrong; 2 Logic and Moral Debate - Attacks on Blacks; Blacks and Blackness; Taking the Hypothetical Seriously; Abortion and Its Slogans; Women and Femininity; The Unborn Mosquito; 3 Getting Rid of Tautologies - No Private Clubs; Tautologies
Tautologies Pretending to be Something ElseFalsification; Tautologies Used to Include or Exclude; Is Evolution a Tautology?; 4 The Naturalistic Fallacy and Its Consequences - be Judgmental; Facts and Values; The Relevance of Facts; The Nihilist Fallacy; The Tolerance School Fallacy; The One-Way Street; Indignation and Ignorance; 5 But that is Unnatural - Words Best Never Said; The Criterion of Being in Accord with Nature; The Criterion of Non-Interference with Nature; The Criterion of Imitating Nature; The Criterion of Preserving Nature; Using "Nature" Sensibly; The Limitations of Philosophy Part 2 The Truth about People6 Random Sample - Quality Not Size; Quality Not Size; Statistical Significance; Why Some Prefer Bad Polls; Taking Bad Polls Without Realizing It; 7 Intelligence Quotient - Hanging the Intellectually Disabled; Understanding IQ Scores; Adjusting IQ Scores; Death Row; The Significance of IQ Scores; 8 Intelligence Quotient - and the Black/White IQ Gap; Correlations and Regression to the Mean; Uses and Abuses of Regression; Regression and Race; Regression not a Cause; 9 Control Group - How Studying People Changes Them; Hidden Factors Sugar Pills and the "Hypnotic State"Doctors and Pharmacists; Control Group; Good Luck; Making You Own Luck; Unavoidable Bad Luck; 10 The Sociologist's Fallacy - Ignoring the Real World; Matching for SES; Matching Professions; The Easiest Kind of Matching; Under-Identified Models; Marx and Popper; Marx and History; Meritocracy and History; Concepts Plus Arithmetic; Part 3 The Market and Its Church; 11 Creating a Market - Not a Frankenstein; The Market and Racial Profiles; What is Money?; When Does a Market Exist?; Selecting Who Can Participate: Free Trade? Selecting Tradable Goods, Services, and InformationPrices, Costs, Income, and Profits; 12 Market Forces - How they Take their Revenge; Rent Controls; Schools Vouchers; Regulating Prices in General; A Free Good; The Strange Case of the Conventional Tip; Regulating Wages and Supplementing Incomes; Regulating inheritance; Making a Public Park; 13 Market Worship - No Ritual Sacrifices; The Tennessee Valley; Universities and Cargo Cults; The Market and Environmental Disaster; The Market and Benevolence; Personifying or Objectifying the Market; Future of the Market; The Market and its Church 14 The Economic Collapse of 2008 |
| Record Nr. | UNINA-9910141255603321 |
|
Flynn James R (James Robert), <1934-2020.>
|
||
| Hoboken, N.J., : Wiley, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
