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.
Advanced Topics in Artificial Intelligence [[electronic resource] ] : 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers / / edited by Grigoris Antoniou, John Slaney
| Advanced Topics in Artificial Intelligence [[electronic resource] ] : 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers / / edited by Grigoris Antoniou, John Slaney |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIV, 342 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-49561-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why (a kind of) AI can’t be done -- Representation by correspondence: An inadequate conception of knowledge for artificial systems -- Genuine representation in artificial systems -- Using fuzzy logic to mitigate the effect of multiple-sclerosis tremors on a wheelchair joystick controller -- Thinking quickly: Agents for modeling air warfare -- Plan execution in a hostile dynamic environment -- A labelled sequent system for tense logic Kt -- Integrating reactive and reflective reasoning by generating rational models -- On the combination of partial action descriptions -- A mechanisation of classical modal tense logics using isabelle -- Constructing an intelligent multi-agent workflow system -- First-order Bayesian reasoning -- Learning intelligent behavior -- A formal embedding of agentspeak(L) in 3APL -- Recurrent neural networks to approximate the semantics of acceptable logic programs -- Computation in recurrent neural networks: From counters to iterated function systems -- Performance of a comprehensive and efficient constraint library based on local search -- Helicopter flight condition recognition: A minimalist approach -- A study of provability in defeasible logic -- Lower bounds on the size of test data sets -- cardT A P: Automated deduction on a smart card -- Constraint resolution within object hierarchies -- The temporal QCM modelling language -- The problem of missing values in decision tree grafting -- Adjusted probability Naive Bayesian induction -- Strategic behaviour-based reasoning with dynamic, Partial information -- Representing defeasible constraints and observations in action theories -- Stochastic Attribute Selection Committees. |
| Record Nr. | UNINA-9910144149003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Topics in Artificial Intelligence [[electronic resource] ] : 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers / / edited by Grigoris Antoniou, John Slaney
| Advanced Topics in Artificial Intelligence [[electronic resource] ] : 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers / / edited by Grigoris Antoniou, John Slaney |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIV, 342 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-49561-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why (a kind of) AI can’t be done -- Representation by correspondence: An inadequate conception of knowledge for artificial systems -- Genuine representation in artificial systems -- Using fuzzy logic to mitigate the effect of multiple-sclerosis tremors on a wheelchair joystick controller -- Thinking quickly: Agents for modeling air warfare -- Plan execution in a hostile dynamic environment -- A labelled sequent system for tense logic Kt -- Integrating reactive and reflective reasoning by generating rational models -- On the combination of partial action descriptions -- A mechanisation of classical modal tense logics using isabelle -- Constructing an intelligent multi-agent workflow system -- First-order Bayesian reasoning -- Learning intelligent behavior -- A formal embedding of agentspeak(L) in 3APL -- Recurrent neural networks to approximate the semantics of acceptable logic programs -- Computation in recurrent neural networks: From counters to iterated function systems -- Performance of a comprehensive and efficient constraint library based on local search -- Helicopter flight condition recognition: A minimalist approach -- A study of provability in defeasible logic -- Lower bounds on the size of test data sets -- cardT A P: Automated deduction on a smart card -- Constraint resolution within object hierarchies -- The temporal QCM modelling language -- The problem of missing values in decision tree grafting -- Adjusted probability Naive Bayesian induction -- Strategic behaviour-based reasoning with dynamic, Partial information -- Representing defeasible constraints and observations in action theories -- Stochastic Attribute Selection Committees. |
| Record Nr. | UNISA-996465952203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Intelligence [[electronic resource] ] : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings / / edited by Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis
| Advances in Artificial Intelligence [[electronic resource] ] : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings / / edited by Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVII, 611 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Algorithms Optical data processing Database management Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity Image Processing and Computer Vision Database Management |
| ISBN | 3-540-34118-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Planning with Stochastic Petri-Nets and Neural Nets -- Data Mining Using Fractals and Power Laws -- Full Papers -- Voice Activity Detection Using Generalized Gamma Distribution -- A Framework for Uniform Development of Intelligent Virtual Agents -- A Mixture Model Based Markov Random Field for Discovering Patterns in Sequences -- An Efficient Hardware Implementation for AI Applications -- Handling Knowledge-Based Decision Making Issues in Collaborative Settings: An Integrated Approach -- Market Clearing Price Forecasting in Deregulated Electricity Markets Using Adaptively Trained Neural Networks -- Adaptive-Partitioning-Based Stochastic Optimization Algorithm and Its Application to Fuzzy Control Design -- Fuzzy Granulation-Based Cascade Fuzzy Neural Networks Optimized by GA-RSL -- Using Self-similarity Matrices for Structure Mining on News Video -- Spam Detection Using Character N-Grams -- Improved Wind Power Forecasting Using a Combined Neuro-fuzzy and Artificial Neural Network Model -- A Long-Term Profit Seeking Strategy for Continuous Double Auctions in a Trading Agent Competition -- A Robust Agent Design for Dynamic SCM Environments -- A Novel Updating Scheme for Probabilistic Latent Semantic Indexing -- Local Additive Regression of Decision Stumps -- Mining Time Series with Mine Time -- Behaviour Flexibility in Dynamic and Unpredictable Environments: The ICagent Approach -- Investigation of Decision Trees (DTs) Parameters for Power System Voltage Stability Enhancement -- An Improved Hybrid Genetic Clustering Algorithm -- A Greek Named-Entity Recognizer That Uses Support Vector Machines and Active Learning -- Intelligent Segmentation and Classification of Pigmented Skin Lesions in Dermatological Images -- Modelling Robotic Cognitive Mechanisms by Hierarchical Cooperative CoEvolution -- Bayesian Feature Construction -- Musical Instrument Recognition and Classification Using Time Encoded Signal Processing and Fast Artificial Neural Networks -- O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies -- Abduction for Extending Incomplete Information Sources -- Post Supervised Based Learning of Feature Weight Values -- Recognition of Greek Phonemes Using Support Vector Machines -- Ensemble Pruning Using Reinforcement Learning -- Mining Bilingual Lexical Equivalences Out of Parallel Corpora -- Feed-Forward Neural Networks Using Hermite Polynomial Activation Functions -- A Distributed Branch-and-Bound Algorithm for Computing Optimal Coalition Structures -- Pattern Matching-Based System for Machine Translation (MT) -- Bayesian Metanetwork for Context-Sensitive Feature Relevance -- Prediction of Translation Initiation Sites Using Classifier Selection -- Improving Neural Network Based Option Price Forecasting -- Large Scale Multikernel RVM for Object Detection -- Extraction of Salient Contours in Color Images -- Dynamic Security Assessment and Load Shedding Schemes Using Self Organized Maps and Decision Trees -- Towards Automatic Synthesis of Educational Resources Through Automated Planning -- Towards Capturing and Enhancing Entertainment in Computer Games -- Employing Fujisaki’s Intonation Model Parameters for Emotion Recognition -- Detection of Vocal Fold Paralysis and Edema Using Linear Discriminant Classifiers -- Short Papers -- An Artificial Neural Network for the Selection of Winding Material in Power Transformers -- Biomedical Literature Mining for Text Classification and Construction of Gene Networks -- Towards Representational Autonomy of Agents in Artificial Environments -- Combining Credibility in a Source Sensitive Argumentation System -- An Environment for Constructing and Exploring Visual Models of Logic Propositions by Young Students -- Bridging Ontology Evolution and Belief Change -- A Holistic Methodology for Keyword Search in Historical Typewritten Documents -- Color Features for Image Fingerprinting -- Neural Recognition and Genetic Features Selection for Robust Detection of E-Mail Spam -- Violence Content Classification Using Audio Features -- An Analysis of Linear Weight Updating Algorithms for Text Classification -- On Small Data Sets Revealing Big Differences -- A Significance-Based Graph Model for Clustering Web Documents -- Supporting Clinico-Genomic Knowledge Discovery: A Multi-strategy Data Mining Process -- SHARE-ODS: An Ontology Data Service for Search and Rescue Operations -- Graphical Representation of Defeasible Logic Rules Using Digraphs -- An Efficient Peer to Peer Image Retrieval Technique Using Content Addressable Networks -- Predicting Fraudulent Financial Statements with Machine Learning Techniques -- Discrimination of Benign from Malignant Breast Lesions Using Statistical Classifiers -- Comparison of Data Fusion Techniques for Robot Navigation -- On Improving Mobile Robot Motion Control -- Consistency of the Matching Predicate -- Intrusion Detection Using Emergent Self-organizing Maps -- Mapping Fundamental Business Process Modelling Language to OWL-S -- Modeling Perceived Value of Color in Web Sites -- Introducing Interval Analysis in Fuzzy Cognitive Map Framework -- Discovering Ontologies for e-Learning Platforms -- Exploiting Group Thinking in Organization-Oriented Programming -- Multimodal Continuous Recognition System for Greek Sign Language Using Various Grammars -- An Alternative Suggestion for Vision-Language Integration in Intelligent Agents -- Specification of Reconfigurable MAS: A Hybrid Formal Approach -- An Intelligent Statistical Arbitrage Trading System -- Revising Faceted Taxonomies and CTCA Expressions -- Neighboring Feature Clustering. |
| Record Nr. | UNISA-996465875703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Learning and Reasoning with Complex Representations [[electronic resource] ] : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26-30, 1996, Selected Papers / / edited by Grigoris Antoniou, Aditya K. Ghose, Miroslaw Truszczynski
| Learning and Reasoning with Complex Representations [[electronic resource] ] : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26-30, 1996, Selected Papers / / edited by Grigoris Antoniou, Aditya K. Ghose, Miroslaw Truszczynski |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XII, 288 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-69780-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Inductive constraint logic programming: An overview -- Some approaches to reasoning with incomplete and changing information -- Curried least general generalization: A framework for higher order concept learning -- Approximate validity -- Inductive theories from equational systems -- The role of default representations in incremental learning -- Learning stable concepts in a changing world -- Inducing complex spatial descriptions in two dimensional scenes -- A framework for learning constraints: Preliminary report -- Induction of constraint logic programs -- Belief network algorithms: A study of performance based on domain characterisation -- A Group Decision and Negotiation Support System for argumentation based reasoning -- From belief revision to design revision: Applying theory change to changing requirements -- Using histories to model observations in theories of action -- Modelling inertia in action languages -- Combinatorial interpretation of uncertainty and conditioning -- Probabilistic diagnosis as an update problem -- Cooperative combination of default logic and autoepistemic logic. |
| Record Nr. | UNISA-996465797003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Learning and Reasoning with Complex Representations [[electronic resource] ] : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26-30, 1996, Selected Papers / / edited by Grigoris Antoniou, Aditya K. Ghose, Miroslaw Truszczynski
| Learning and Reasoning with Complex Representations [[electronic resource] ] : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26-30, 1996, Selected Papers / / edited by Grigoris Antoniou, Aditya K. Ghose, Miroslaw Truszczynski |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XII, 288 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-69780-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Inductive constraint logic programming: An overview -- Some approaches to reasoning with incomplete and changing information -- Curried least general generalization: A framework for higher order concept learning -- Approximate validity -- Inductive theories from equational systems -- The role of default representations in incremental learning -- Learning stable concepts in a changing world -- Inducing complex spatial descriptions in two dimensional scenes -- A framework for learning constraints: Preliminary report -- Induction of constraint logic programs -- Belief network algorithms: A study of performance based on domain characterisation -- A Group Decision and Negotiation Support System for argumentation based reasoning -- From belief revision to design revision: Applying theory change to changing requirements -- Using histories to model observations in theories of action -- Modelling inertia in action languages -- Combinatorial interpretation of uncertainty and conditioning -- Probabilistic diagnosis as an update problem -- Cooperative combination of default logic and autoepistemic logic. |
| Record Nr. | UNINA-9910767528003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reasoning Web [[electronic resource] ] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / / edited by Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf
| Reasoning Web [[electronic resource] ] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / / edited by Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (IX, 348 p.) |
| Disciplina | 006.3 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Information technology Business—Data processing Computer logic Artificial intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval IT in Business Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-540-74615-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamentals of Reasoning and Reasoning Languages -- Foundations of Rule-Based Query Answering -- Reasoning in Description Logics: Basics, Extensions, and Relatives -- Rules, Rule Languages, and Policies -- Reactive Rules on the Web -- Rule-Based Policy Representation and Reasoning for the Semantic Web -- Rule Interchange on the Web -- Applications of Semantic Web Reasoning -- Reasoning in Semantic Wikis -- Semantic Wiki Representations for Building an Enterprise Knowledge Base -- Semantic Descriptions in an Enterprise Search Solution -- Semantic Web Service Discovery and Selection in B2B Integration Scenarios. |
| Record Nr. | UNISA-996465485503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / / edited by Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf
| Reasoning Web : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / / edited by Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (IX, 348 p.) |
| Disciplina | 006.3 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Information technology Business—Data processing Computer logic Artificial intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval IT in Business Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-540-74615-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamentals of Reasoning and Reasoning Languages -- Foundations of Rule-Based Query Answering -- Reasoning in Description Logics: Basics, Extensions, and Relatives -- Rules, Rule Languages, and Policies -- Reactive Rules on the Web -- Rule-Based Policy Representation and Reasoning for the Semantic Web -- Rule Interchange on the Web -- Applications of Semantic Web Reasoning -- Reasoning in Semantic Wikis -- Semantic Wiki Representations for Building an Enterprise Knowledge Base -- Semantic Descriptions in an Enterprise Search Solution -- Semantic Web Service Discovery and Selection in B2B Integration Scenarios. |
| Record Nr. | UNINA-9910484189103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules and Rule Markup Languages for the Semantic Web [[electronic resource] ] : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings / / edited by Grigoris Antoniou, Harold Boley
| Rules and Rule Markup Languages for the Semantic Web [[electronic resource] ] : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings / / edited by Grigoris Antoniou, Harold Boley |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VII, 217 p.) |
| Disciplina | 006.7/4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Database management Application software Information storage and retrieval Artificial intelligence Computer logic Programming Techniques Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Logics and Meanings of Programs |
| ISBN | 3-540-30504-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Semantic Web Rules: Covering the Use Cases -- Combining Rule and Ontology Reasoners for the Semantic Web -- Regular Papers -- A System for Nonmonotonic Rules on the Web -- Rule Learning for Feature Values Extraction from HTML Product Information Sheets -- A Defeasible Logic Reasoner for the Semantic Web -- R-DEVICE: A Deductive RDF Rule Language -- Well-Founded Semantics for Description Logic Programs in the Semantic Web -- Defeasible Description Logics -- Semantic Web Reasoning with Conceptual Logic Programs -- Bossam: An Extended Rule Engine for OWL Inferencing -- Extending SWRL to Express Fully-Quantified Constraints -- An Extension to OWL with General Rules -- Combining Description Logic and Defeasible Logic for the Semantic Web -- Short Tool Presentations -- Rewrite Rules as Service Integrators -- SweetProlog: A System to Integrate Ontologies and Rules -- SWRLp: An XML-Based SWRL Presentation Syntax -- XET as a Rule Language for Consistency Maintenance in UML -- A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary Report. |
| Record Nr. | UNISA-996465483503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Rule Markup Languages for the Semantic Web : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings / / edited by Grigoris Antoniou, Harold Boley
| Rules and Rule Markup Languages for the Semantic Web : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings / / edited by Grigoris Antoniou, Harold Boley |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VII, 217 p.) |
| Disciplina | 006.7/4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Database management Application software Information storage and retrieval Artificial intelligence Computer logic Programming Techniques Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Logics and Meanings of Programs |
| ISBN | 3-540-30504-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Semantic Web Rules: Covering the Use Cases -- Combining Rule and Ontology Reasoners for the Semantic Web -- Regular Papers -- A System for Nonmonotonic Rules on the Web -- Rule Learning for Feature Values Extraction from HTML Product Information Sheets -- A Defeasible Logic Reasoner for the Semantic Web -- R-DEVICE: A Deductive RDF Rule Language -- Well-Founded Semantics for Description Logic Programs in the Semantic Web -- Defeasible Description Logics -- Semantic Web Reasoning with Conceptual Logic Programs -- Bossam: An Extended Rule Engine for OWL Inferencing -- Extending SWRL to Express Fully-Quantified Constraints -- An Extension to OWL with General Rules -- Combining Description Logic and Defeasible Logic for the Semantic Web -- Short Tool Presentations -- Rewrite Rules as Service Integrators -- SweetProlog: A System to Integrate Ontologies and Rules -- SWRLp: An XML-Based SWRL Presentation Syntax -- XET as a Rule Language for Consistency Maintenance in UML -- A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary Report. |
| Record Nr. | UNINA-9910144336303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic Technology [[electronic resource] ] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu
| Semantic Technology [[electronic resource] ] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIX, 332 p. 94 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Data mining Mathematical logic Database management Artificial intelligence Application software Information Storage and Retrieval Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Database Management Artificial Intelligence Information Systems Applications (incl. Internet) |
| ISBN | 3-319-50112-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontology and reasoning -- Linked data -- Knowledge graph -- Ontology and data management -- Information retrieval and knowledge discovery -- RDF and query.-Application of semantic technologies. |
| Record Nr. | UNISA-996465517403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
