1 - 20
Next
- ACALCI (Conference) (2nd : 2016 : Canberra, A.C.T.)
- Cham : Springer, 2016.
- Description
- Book — 1 online resource (xiii, 375 pages) : color illustrations Digital: text file.PDF.
- Summary
-
- Mathematical Modeling and Theory
- Fractal Dimension
- A Spatial and Visual Design Technique for the Creation of Lifelike Artificial Forms
- Using Closed Sets to Model Cognitive Behavior
- Learning and Optimization
- Solving dynamic optimisation problem with known changeable boundaries
- Compaction for Code Fragment Based Learning Classifier Systems
- The Boon of Gene-Culture Interaction for Effective Evolutionary Multitasking
- A Study on Performance Metrics to Identify Solutions of Interest From a Trade-off Set
- Dynamic Configuration of Differential Evolution Control Parameters and Operators
- Exploring the Feasible Space using Constraint Consensus in Solving Constrained Optimization Problems
- A Nested Differential Evolution based Algorithm for Solving Multi-objective Bilevel Optimization Problems
- Parkinson's Disease Data Classification Using Evolvable Wavelet Neural Networks
- GO-PEAS: A Scalable Yet Accurate Grid-based Outlier Detection Method Using Novel Pruning Searching Techniques
- Multi-objective Genetic Programming for Figure-ground Image Segmentation
- A New Modification of Fuzzy C-Means via Particle Swarm Optimization for Noisy Image Segmentation
- Competitive Island Cooperative Neuro-Evolution of Feedforward Networks for Time Series Prediction
- Reverse Neuron Level Decomposition for Cooperative Neuro-Evolution of Feedforward Networks for Time Series Prediction
- A Delaunay Triangulation Based Density Measurement for Evolutionary Multi-objective Optimization
- Use of Infeasible Solutions During Constrained Evolutionary Search: A Short Survey
- Planning and Scheduling
- A Differential Evolution Algorithm for Solving Resource Constrained Project Scheduling Problems
- A hybrid imperialist competitive algorithm for flexible job shop problem
- Parallel Multi-objective Job Shop Scheduling Using Genetic Programming
- Optimization of Location Allocation of Web Services Using A Modified Non-dominated Sorting Genetic Algorithm
- Double Action Genetic Algorithm for Scheduling the Wind-Thermal Generators
- Feature Selection
- Investigating Multi-operator Differential Evolution for Feature Selection
- Coevolutionary Feature Selection and Reconstruction in Neuro-Evolution for Time Series Prediction
- A Subset Similarity Guided Method for Multi-objective Feature Selection
- Applications and Games
- An Evolutionary Optimization Approach to Maximize Runway Throughput Capacity for Hub and Spoke Airports
- Finite Population Trust Game Replicators
- Towards Evolved Time to Contact Neurocontrollers for Quadcopters
- The Effect of Risk Perceived Payoffs in Iterated Interdependent Security Games
- Genetic Algorithm Based Trading System Design.
- ACALCI (Conference) (3rd : 2017 : Geelong, Vic.)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xiii, 392 pages) : illustrations Digital: text file; PDF.
- Summary
-
- Artificial Life and Computational Intelligence.- Extending the Delaunay Triangulation Based Density Measurement to Many-objective Optimization.- Emotion, Trustworthiness and Altruistic Punishment in a Tragedy of the Commons Social Dilemma.- Equity Option Strategy Discovery and Optimization Using a Memetic Algorithm.- Co-Evolving Line Drawings with Hierarchical Evolution.- Reliability estimation of individual multi-target regression predictions.- Feedback Modulated Attention Within a Predictive Framework.- A Batch Infill Strategy for Computationally Expensive Optimization Problems.- Automatic Clustering and Summarisation of Microblogs: A Multi-Subtopic Phrase Reinforcement Algorithm.- Generation and exploration of architectural form using a composite Cellular Automata.- Wrapper Feature Construction for Figure-ground Image Segmentation Using Genetic Programming.- Surrogate-assisted Multi-swarm Particle Swarm Optimization of Morphing Airfoils.- Applying Dependency Patterns in Causal Discovery of Latent Variable Models.- An Evolutionary Multi-criteria Journey Planning Algorithm for Multi-modal Transportation Networks.- Estimating Passenger Preferences Using Implicit Relevance Feedback for Personalized Journey.- Quantitative Assessment of Hearts Function: A Hybrid Mechanism for Left Ventricles Segmentation from Cine MRI Sequences.- A Hybrid feature selection scheme based on local compactness and global separability for improving roller bearing diagnostic performance.- Reliable Fault Diagnosis of Bearings Using Distance and Density Similarity on an Enhanced k-NN.- Towards Solving TSPN with Arbitrary Neighborhoods: A Hybrid Solution.- Detectable Genetic Algorithms-based techniques for solving Dynamic Optimisation Problem with Unknown Active Variables.- Neighbourhood analysis: a case study on Google Machine Reassignment Problem.- Optimisation Algorithms and Applications.- Multi-Objective Optimisation with Multiple Preferred Regions.- An Adaptive Memetic Algorithm for the Architecture Optimisation Problem.- Resource Constrained Job Scheduling with Parallel Constraint-based ACO.- An Iterated Local Search with Guided Perturbation for the Heterogeneous Fleet Vehicle Routing Problem with Time Windows and Three-Dimensional Loading Constraints.- A Memetic Cooperative Co-evolution Model for Large Scale Continuous Optimization.- Investigating the Generality of Genetic Programming based Hyper-heuristic Approach to Dynamic Job Shop Scheduling with Machine Breakdown.- Exploratory Analysis of Clustering Problems Using a Comparison of Particle Swarm Optimization and Differential Evolution.- A PSO-based Reference Point Adaption Method for Genetic Programming Hyper-heuristic in Many-Objective Job Shop Scheduling.- Optimal power allocation of wireless sensor networks with multi-operator based constrained differential evolution.- CEMAB: A Cross-Entropy-based Method for Large-Scale Multi-Armed Bandits.- Binary PSO for Web Service Location-Allocation.- A MOEA/D with Non-uniform Weight Vector Distribution Strategy for Solving the Unit Commitment Problem in Uncertain Environment.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ACIS International Conference on Computational Science/Intelligence & Applied Informatics (6th : 2019 : Honolulu, Hawaii)
- Cham, Switzerland : Springer, [2020]
- Description
- Book — 1 online resource. Digital: text file; PDF.
- Summary
-
- Chapter 1. GUI Testing for Introductory Object-Oriented Programming Exercises (Ushio Inoue).-
- Chapter 2. Python Deserialization Denial of Services Attacks and their Mitigations (Kousei Tanaka).-
- Chapter 3. A Branch-and-Bound Based Exact Algorithm for the Maximum Edge-Weight Clique Problem (Satoshi Shimizu).-
- Chapter 4. A Software Model for Precision Agriculture Framework Based on Smart Farming System and Application of IoT Gateway (Symphorien Karl Yoki Donzia).-
- Chapter 5. Components of Mobile Integration in Social Business and E-commerce Application (Mechelle Grace Zaragoza).
- (source: Nielsen Book Data)
- Proposed Framework Application for a Quality Mobile Application Measurement and Evaluation.- Proposal and Development of Artificial Personality (AP) application using the "Requesting" Mechanism.- Load Experiment of the vDACS Scheme in case of the 300 Simultaneous Connection.- Hearing-Dog Robot to wake People up using its Bumping Action.- Implementation of Document Production Support System with Obsession Mechanism.- Detecting Outliners in Terms of Errors in Embedded Software Development Projects Using Imbalance Data Classification.- Development of Congestion State Guiding System for University Cafeteria.- Analog Learning Neural Circuit with Switched Capacitor and the Design of Deep Learning Model.- Study on Category Classification of Conversation Document in Psychological Counseling with Machine Learning.- Improvement of "Multiple Sightseeing Spot Scheduling System".- Advertising in the Webtoon of Cosmetics Brand -Focusing on 'tn' Youth Cosmetics Brands
- Testing Driven Development of Mobile Application using Automatic Bug Management Systems.- Shape Recovery of Polyp from Endoscope Image Using Blood Vessel Information.- Design of Agent Development Framework for RoboCupRescue Simulation.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
This book presents the scientific outcome of the 4th ACIS International Conference on Computational Science/Intelligence & Applied Informatics (CSII 2017), which was held on July 9-13, 2017 in Hamamatsu, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science, to share their experiences and to exchange new ideas and information in a meaningful way. The book includes research findings concerning all aspects (theory, applications and tools) of computer and information science, and discusses the practical challenges encountered and the solutions adopted to address them. The book features 16 of the conference's most promising papers, written by researchers who are expected to make significant contributions in the field of computer and information science.
(source: Nielsen Book Data)
- AGI (Conference) (10th : 2017 : Melbourne, Vic., Australia)
- Cham, Switzerland : Springer, [2017]
- Description
- Book — 1 online resource (xi, 275 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Architectures.- Mathematical foundations.- Algorithms.- Safety.- Understanding.- Human cognition.- Philosophy.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- AGI (Conference) (11th : 2018 : Prague, Czech Republic)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (XI, 311 pages) Digital: text file.PDF.
- Summary
-
- Hybrid Strategies Towards Safe "Self-Aware" Super-intelligent Systems.- Request Confirmation Networks in MicroPsi 2.- Task Analysis for Teaching Cumulative Learners.- Associative Memory: A Spiking Neural Network Robotic Implementation.- A Comprehensive Ethical Framework for AI Entities: Foundations.- Partial Operator Induction with Beta Distributions.- Solving Tree Problems with Category Theory.- Goal-directed Procedure Learning.- Can Machines Design? An Artificial General Intelligence Approach.- Resource-constrained Social Evidence Based Cognitive Model for Empathy-driven Artificial Intelligence.- Unsupervised Language Learning in OpenCog.- Functionalist Emotion Model in NARS.- Towards a Sociological Conception of Artificial Intelligence.- Efficient Concept Formation in Large State Spaces.- DSO Cognitive Architecture: Implementation and Validation of the Global Workspace Enhancement.- The Foundations of Deep Learning with a Path Towards General Intelligence.- Zeta Distribution and Transfer Learning Problem.- Vision System for AGI: Problems and Directions.- Semantic Image Retrieval by Uniting Deep Neural Networks and Cognitive Architectures.- The Temporal Singularity: Time-accelerated Simulated Civilizations and Their Implications.- A Computational Theory for Life-Long Learning of Semantics.- Cumulative Learning with Causal-Relational Models.- Transforming Kantian Aesthetic Principles into Qualitative Hermeneutics for Contemplative AGI Agents.- Towards General Evaluation of Intelligent Systems: Using Semantic Analysis to Improve Environments in the AIQ Test.- Perception from an AGI Perspective.- A Phenomenologically Justifiable Simulation of Mental Modeling.- A Time-critical Simulation of Language Comprehension.- How Failure Facilitates Success.- Adaptive Compressed Search.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- AGI (Conference) (13th : 2020 : Saint Petersburg, Russia)
- Cham : Springer, 2020.
- Description
- Book — 1 online resource
- Summary
-
- AGI and the Knight-Darwin Law: why idealized AGI reproduction requires collaboration.- Error-Correction for AI Safety.- Artificial Creativity Augmentation.- The hierarchical memory based on compartmental spiking neuron model.- The Dynamics of Growing Symbols: A Ludics Approach to Language Design by Autonomous Agents.- Approach for development of engineering tools based on knowledge graphs and context separation.- Towards Dynamic Process Composition in the DSO Cognitive Architecture.- SAGE: Task-Environment Platform for Evaluating a Broad Range of AI Learners.- Post-Turing Methodology: Breaking the Wall on the Way to Artificial General Intelligence.- Self-explaining AI as an alternative to interpretable AI.- AGI needs the Humanities.- A report of a recent book: "AI and Human Thought and Emotion".- Cognitive Machinery and Behaviours.- Combinatorial Decision Dags: A Natural Computational Model for General Intelligence.- What Kind of Programming Language Best Suits Integrative AGI?.- Guiding Symbolic Natural Language Grammar Induction via Transformer-Based Sequence Probabilities.- Embedding Vector Differences Can Be Aligned With Uncertain Intensional Logic Differences.- Delta Schema Network in Model-based Reinforcement Learning.- Information Digital Twin{Enabling Agents to Anticipate Changes in their Tasks.- 'OpenNARS for Applications': Architecture and Control.- Towards AGI Agent Safety by Iteratively Improving the Utility Function.- Learning to Model Another Agent's Beliefs: A Preliminary Approach.- An Attentional Control Mechanism for Reasoning and Learning.- Hyperdimensional Representations in Semiotic Approach to AGI.- The Conditions of Artificial General Intelligence: Logic, Autonomy, Resilience, Integrity, Morality, Emotion, Embodiment, and Embeddedness.- Position paper: The use of engineering approach in creation of artificial general intelligence.- How do you test the strength of AI?.- Omega: An Architecture for AI Unification.- Analyzing Elementary School Olympiad Math Tasks as a Benchmark for AGI.- The meaning of things as a concept in a strong AI architecture.- Toward a General Believable Model of Human-Analogous Intelligent Socially Emotional Behavior.- Autonomous Cumulative Transfer Learning.- New Brain Simulator II Open-Source Software.- Experience-specific AGI Paradigms.- Psychological portrait of a virtual agent in the Teleport game paradigm.- Logical probabilistic biologically inspired cognitive architecture.- An Architecture for Real-time Reasoning and Learning.- A Model for Artificial General Intelligence.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- AGI (Conference) (9th : 2016 : New York, N.Y.)
- Switzerland : Springer, 2016.
- Description
- Book — 1 online resource (xi, 364 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Self modification of policy and utility function in rational agents
- Avoiding wireheading with value reinforcement learning
- Death and suicide in universal Artificial Intelligence
- Ultimate Intelligence: Physical complexity and limits of inductive systems
- Open ended intelligence
- The AGI containment problem
- Imitation learning as cause-effect reasoning
- Some theorems in incremental compression
- Rethinking sigma's graphical architecture: An extension to neural networks.
- AGI Workshop (2006 : Washington, D.C.)
- Amsterdam ; Washington : IOS Press, ©2007.
- Description
- Book — 1 online resource (viii, 295 pages) : illustrations. Digital: data file.
- Summary
-
- Title page; Preface; Contents; Introduction: Aspects of Artificial General Intelligence; A Collection of Definitions of Intelligence; Four Contemporary AGI Designs: A Comparative Treatment; A Foundational Architecture for Artificial General Intelligence; A Working Hypothesis for General Intelligence; From NARS to a Thinking Machine; Adaptive Algorithmic Hybrids for Human-Level Artificial Intelligence; Cognitive Map Dimensions of the Human Value System Extracted from Natural Language; Program Evolution for General Intelligence.
9. Intelligent techniques for data science [2016]
- Akerkar, Rajendra, author.
- Cham, Switzerland : Springer, 2016.
- Description
- Book — 1 online resource (xvi, 272 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Preface.- Introduction.- Data Analytics.- Basic Learning Algorithms.- Fuzzy Logic.- Artificial Neural Networks.- Genetic Algorithms and Evolutionary Computing.- Other Metaheuristics and Classification Approaches.- Analytics and Big Data.- Data Analytics Using R.-
- Appendix I: Tools for Data Science.-
- Appendix II: Tools for Computational Intelligence.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Al-Asady, Raad.
- Norwood, N.J. : Ablex Pub., ©1995.
- Description
- Book — 1 online resource (x, 204 pages) : illustrations
- Summary
-
Within artificial intelligence, the need to create sophisticated, intelligent behaviour based on common-sense reasoning has long been recognized. Research has demonstrated that formalism for dealing with common sense reasoning require nonmonotonic capabilities where, typically, inferences based on incomplete knowledge need to be revised in light of later information which fills in some of the gaps.
(source: Nielsen Book Data)
- Aleksandrov, V. V. (Viktor Vasilʹevich)
- Singapore ; Teaneck, N.J. : World Scientific, ©1991.
- Description
- Book — 1 online resource (viii, 203 pages) : illustrations (some color)
- Summary
-
- AUTHORS' NOTES AND ACKNOWLEDGEMENTS; INTRODUCTION; 1.1. Objectives of this Book; 1.2. The Seeing Eye and the Knowing Eye
- 1 IMAGE AND COMPUTER; 1.1. A Short History; 1.2. The Computer's Eye; 1.3. A Beetle and an Ant-Hill; 1.4. Features and Models; 2 HOW HUMANS SEE THE WORLD; 2.1. The Eye and the Brain; 2.2. The Level of Preattention; 2.3. Right and Left Vision; 2.4. Images and Words; 3 CONVERSATIONS WITH A COMPUTER; 3.1. From a Point to a Region; 3.2. From a Region to an Object; 3.3. From an Object to a Situation; 4 AN APOLOGIA FOR VISION; 4.1. The Evolution of Vision.
- 4
- .2. Vision and Thinking4
- .3. Recollection of the Future; 4
- .4. Cognition through Vision; 5 CREATING A NEW WORLD; 5
- .1. From Elements to the System; 5
- .2. Back to Nature; 5
- .3. Who Do We Think They Are?; CONCLUSIONS; PLATES; REFERENCES; ILLUSTRATIONS; INDEX.
(source: Nielsen Book Data)
- ALIA (Symposium) (1st : 2014 : Bangor, Wales)
- Cham : Springer, 2015.
- Description
- Book — 1 online resource (xi, 141 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Learning and evolution
- Human interaction
- Robotic simulation.
- Alpaydin, Ethem.
- 2nd ed. - Cambridge, Mass. : MIT Press, c2010.
- Description
- Book — 1 online resource (xl, 537 p.) : ill.
- Summary
-
The goal of machine learning is to program computers to use example data or past experience to solve a given problem. Many successful applications of machine learning exist already, including systems that analyze past sales data to predict customer behavior, optimize robot behavior so that a task can be completed using minimum resources, and extract knowledge from bioinformatics data. The second edition of Introduction to Machine Learning is a comprehensive textbook on the subject, covering a broad array of topics not usually included in introductory machine learning texts. In order to present a unified treatment of machine learning problems and solutions, it discusses many methods from different fields, including statistics, pattern recognition, neural networks, artificial intelligence, signal processing, control, and data mining. All learning algorithms are explained so that the student can easily move from the equations in the book to a computer program. The text covers such topics as supervised learning, Bayesian decision theory, parametric methods, multivariate methods, multilayer perceptrons, local models, hidden Markov models, assessing and comparing classification algorithms, and reinforcement learning. New to the second edition are chapters on kernel machines, graphical models, and Bayesian estimation; expanded coverage of statistical tests in a chapter on design and analysis of machine learning experiments; case studies available on the Web (with downloadable results for instructors); and many additional exercises. All chapters have been revised and updated. Introduction to Machine Learning can be used by advanced undergraduates and graduate students who have completed courses in computer programming, probability, calculus, and linear algebra. It will also be of interest to engineers in the field who are concerned with the application of machine learning methods.
(source: Nielsen Book Data)
- Alpaydin, Ethem.
- 2nd ed. - Cambridge, Mass. : MIT Press, ©2010.
- Description
- Book — 1 online resource (xl, 537 pages) : illustrations.
- Summary
-
The goal of machine learning is to program computers to use example data or past experience to solve a given problem. Many successful applications of machine learning exist already, including systems that analyze past sales data to predict customer behavior, optimize robot behavior so that a task can be completed using minimum resources, and extract knowledge from bioinformatics data. The second edition of Introduction to Machine Learning is a comprehensive textbook on the subject, covering a broad array of topics not usually included in introductory machine learning texts. In order to present a unified treatment of machine learning problems and solutions, it discusses many methods from different fields, including statistics, pattern recognition, neural networks, artificial intelligence, signal processing, control, and data mining. All learning algorithms are explained so that the student can easily move from the equations in the book to a computer program. The text covers such topics as supervised learning, Bayesian decision theory, parametric methods, multivariate methods, multilayer perceptrons, local models, hidden Markov models, assessing and comparing classification algorithms, and reinforcement learning. New to the second edition are chapters on kernel machines, graphical models, and Bayesian estimation; expanded coverage of statistical tests in a chapter on design and analysis of machine learning experiments; case studies available on the Web (with downloadable results for instructors); and many additional exercises. All chapters have been revised and updated. Introduction to Machine Learning can be used by advanced undergraduates and graduate students who have completed courses in computer programming, probability, calculus, and linear algebra. It will also be of interest to engineers in the field who are concerned with the application of machine learning methods.
(source: Nielsen Book Data)
- Associazione Italiana Per L'intelligenza Artificiale. Congress (15th : 2016 : Genoa, Italy)
- Cham : Springer, [2016]
- Description
- Book — 1 online resource (XIV, 554 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Optimization and Evolutionary Algorithms.- Classification, Pattern Recognition, and Computer Vision.- Multi-Agent Systems.- Machine Learning.- Semantic Web and Description Logics.- Natural Language Processing.- Planning and Scheduling.- Formal Verification.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Babcock, Joseph, author.
- Birmingham : Packt Publishing, Limited, 2021.
- Description
- Book — 1 online resource (489 pages)
- Summary
-
- Table of Contents An Introduction to Generative AI: "Drawing" Data from Models Setting Up a TensorFlow Lab Building Blocks of Deep Neural Networks Teaching Networks to Generate Digits Painting Pictures with Neural Networks Using VAEs Image Generation with GANs Style Transfer with GANs Deepfakes with GANs The Rise of Methods for Text Generation NLP 2
- .0: Using Transformers to Generate Text Composing Music with Generative Models Play Video Games with Generative AI: GAIL Emerging Applications in Generative AI.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
17. Elements of argumentation [2008]
- Besnard, Philippe, 1958-
- Cambridge, Mass. : MIT Press, ©2008.
- Description
- Book — 1 online resource (298 pages)
- Summary
-
- Nature of argumentation
- Abstract argumentation
- Logical argumentation
- Practical argumentation
- Comparing and rationalizing arguments
- Considering the audience
- Algorithms for argumentation
- Comparison with relation approaches
- Future directions
- Table of uniform notation
- Review of trees
- Review of classical logic
- Proofs for results in book.
(source: Nielsen Book Data)
- BICA Society. Annual Meeting (2nd : 2011 : Arlington, Va.)
- Amsterdam ; Washington, D.C. : IOS Press, ©2011.
- Description
- Book — 1 online resource (xviii, 411 pages) Digital: data file.
- Summary
-
- Title Page; Preface; BICA 2011 Conference Committees; Contents; Conference Papers and Extended Abstracts; Biologically Inspired Cognitive Architectures: One More Step Forward; Evaluating the Contribution of Top-Down Feedback and Post-Learning Reconstruction; Computational Modeling of Therapies Related to Cognitive Vulnerability and Coping; Natural Human Robot Meta-Communication Through the Integration of Android's Sensors with Environment Embedded Sensors; Towards a Biologically-Inspired Model for Relational Mapping Using Spiking Neurons.
19. Explanatory nonmonotonic reasoning [2005]
- Bochman, Alexander, 1955-
- Hackensack, NJ : World Scientific, ©2005.
- Description
- Book — 1 online resource (xiv, 408 pages) Digital: data file.
- Summary
-
- Scott Consequence Relations
- Biconsequence Relations
- Four-Valued Logics
- Nonmonotonic Semantics
- Default Consequence Relations
- Argumentation Theory
- Production and Causal Inference
- Epistemic Consequence Relations
- Modal Nonmonotonic Logics.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Bochman, Alexander, 1955-
- Hackensack, NJ : World Scientific, c2005.
- Description
- Book — 1 online resource (xiv, 408 p.)
- Summary
-
- Scott Consequence Relations
- Biconsequence Relations
- Four-Valued Logics
- Nonmonotonic Semantics
- Default Consequence Relations
- Argumentation Theory
- Production and Causal Inference
- Epistemic Consequence Relations
- Modal Nonmonotonic Logics.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.