Logics in AI [[electronic resource] ] : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / / edited by David Pearce, Gerd Wagner |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (VIII, 412 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Artificial Intelligence Mathematical Logic and Foundations Mathematical Logic and Formal Languages Logics and Meanings of Programs |
ISBN | 3-540-47304-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A modal theory of arrows. Arrow logics I -- Knowledge without modality: A simplified framework for chronological ignorance -- Design complete sequential calculus for continuous fixpoint temporal logic -- Logical omniscience and classical logic -- Weak implication: Theory and applications -- Deriving inference rules for terminological logics -- Linear proofs and linear logic -- Relevance and revision -- Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report) -- A framework for default logics -- A conceptualization of preferences in non-monotonic proof theory -- Reasoning with defeasible arguments: Examples and applications -- About deductive generalization -- Transition systems and dynamic semantics -- Declarative semantics for inconsistent database programs -- Tableau-based theorem proving and synthesis of ?-terms in the intuitionistic logic -- A constructive type system based on data terms -- An ordered resolution and paramodulation calculus for finite many-valued logics -- An efficient constraint language for polymorphic order-sorted resolution -- Default theory for Well Founded Semantics with explicit negation -- Computing answers for disjunctive logic programs -- Expanding logic programs -- Disjunctive logic programming, constructivity and strong negation. |
Record Nr. | UNISA-996465486903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Multiagent System Technologies [[electronic resource] ] : 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers / / edited by Jörg P. Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils Bulling |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 291 p. 109 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer simulation Application software Artificial Intelligence Simulation and Modeling Information Systems Applications (incl. Internet) Computer Applications |
ISBN | 3-319-27343-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MAS engineering, modeling, and simulation -- Smart things working together -- Innovative and emerging applications of MAS. |
Record Nr. | UNINA-9910483281503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Multiagent System Technologies [[electronic resource] ] : 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers / / edited by Jörg P. Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils Bulling |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 291 p. 109 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer simulation Application software Artificial Intelligence Simulation and Modeling Information Systems Applications (incl. Internet) Computer Applications |
ISBN | 3-319-27343-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MAS engineering, modeling, and simulation -- Smart things working together -- Innovative and emerging applications of MAS. |
Record Nr. | UNISA-996466229003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Rules and Rule Markup Languages for the Semantic Web [[electronic resource] ] : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings / / edited by Michael Schroeder, Gerd Wagner |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 180 p.) |
Disciplina | 006.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Application software Computer communication systems Computer logic Information storage and retrieval Artificial intelligence Programming Techniques Information Systems Applications (incl. Internet) Computer Communication Networks Logics and Meanings of Programs Information Storage and Retrieval Artificial Intelligence |
ISBN | 3-540-39715-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms -- An Entailment Relation for Reasoning on the Web -- A Rule-Based XML Access Control Model -- Inference of Reactive Rules from Dependency Models -- Value-Added Metatagging: Ontology and Rule Based Methods for Smarter Metadata -- Constructing RuleML-Based Domain Theories on Top of OWL Ontologies -- Inheritance and Rules in Object-Oriented Semantic Web Languages -- Rules and Defeasible Reasoning on the Semantic Web -- Inference Queues for Communicating and Monitoring Declarative Information between Web Services -- Combining an Inference Engine with Databases: A Rule Server -- Extraction of Structured Rules from Web Pages and Maintenance of Mutual Consistency: XRML Approach -- RuleML Annotation for Automatic Collection Levels on METS Metadata. |
Record Nr. | UNINA-9910144213203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Rules and Rule Markup Languages for the Semantic Web [[electronic resource] ] : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings / / edited by Michael Schroeder, Gerd Wagner |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 180 p.) |
Disciplina | 006.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Application software Computer communication systems Computer logic Information storage and retrieval Artificial intelligence Programming Techniques Information Systems Applications (incl. Internet) Computer Communication Networks Logics and Meanings of Programs Information Storage and Retrieval Artificial Intelligence |
ISBN | 3-540-39715-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms -- An Entailment Relation for Reasoning on the Web -- A Rule-Based XML Access Control Model -- Inference of Reactive Rules from Dependency Models -- Value-Added Metatagging: Ontology and Rule Based Methods for Smarter Metadata -- Constructing RuleML-Based Domain Theories on Top of OWL Ontologies -- Inheritance and Rules in Object-Oriented Semantic Web Languages -- Rules and Defeasible Reasoning on the Semantic Web -- Inference Queues for Communicating and Monitoring Declarative Information between Web Services -- Combining an Inference Engine with Databases: A Rule Server -- Extraction of Structured Rules from Web Pages and Maintenance of Mutual Consistency: XRML Approach -- RuleML Annotation for Automatic Collection Levels on METS Metadata. |
Record Nr. | UNISA-996465820903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Simulation and modeling methodologies, technologies and applications : international online conference (SIMULTECH 2021) / / edited by Gerd Wagner [and three others] |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (237 pages) |
Disciplina | 003.3 |
Collana | Lecture Notes in Networks and Systems |
Soggetto topico | Computer simulation |
ISBN | 3-031-23149-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Development and Extended Validation of a Lumped Parameter Prediction Model for Analysing Injury Parameters in a Vehicle Crash -- Integrating GPU-accelerated Tetrahedral Mesh Editing and Simulation -- Performance Study of Vertical Submersible Pump in Terms of Induced Loads and Vibrations -- Comparison of Modelling Approaches and Solvers on Harmonic Studies for Renewable Energy Integration -- Stretching Simulation of Viscoelastic Fluid with Spring Connection -- SysML and Petri Nets based Methodology for Analysis and Performance Evaluation in WSNs -- Growing Bioinspired Synthetic Landscape Ecologies and the Adequacy of Object Oriented Programming -- On Advanced Modeling of Compressors and Weighted Mix Iteration for Simulation of Gas Transport Networks -- Quasi-static Optimal Control Strategy of Lattice Boom Crane based on Large-scale Flexible Non-linear Dynamics -- Simulation Conditionally to a Subvariety and Application to Bayesian Optimization: A Dichotomous Approach -- A Python-based Mixed Discrete-Continuous Simulation Framework for Digital Twins. |
Record Nr. | UNINA-9910659486703321 |
Cham, Switzerland : , : Springer, , [2023] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|