Rule Technologies. Research, Tools, and Applications [[electronic resource] ] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXV, 351 p. 41 illus.) |
Disciplina | 025.0427 |
Collana | Programming and Software Engineering |
Soggetto topico |
Artificial intelligence
Mathematical logic Application software Computer logic Software engineering Information storage and retrieval Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Logics and Meanings of Programs Software Engineering Information Storage and Retrieval |
ISBN | 3-319-42019-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | General RuleML Track -- Smart Contracts, Blockchain and Rules -- Constraint Handling Rules -- Legal Rules and Reasoning -- Rule- and Ontology-Based Data Access and Transformation -- Rule Induction and Learning -- Event Driven Architectures and Active Database Systems. |
Record Nr. | UNISA-996465786803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXV, 351 p. 41 illus.) |
Disciplina | 025.0427 |
Collana | Programming and Software Engineering |
Soggetto topico |
Artificial intelligence
Mathematical logic Application software Computer logic Software engineering Information storage and retrieval Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Logics and Meanings of Programs Software Engineering Information Storage and Retrieval |
ISBN | 3-319-42019-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | General RuleML Track -- Smart Contracts, Blockchain and Rules -- Constraint Handling Rules -- Legal Rules and Reasoning -- Rule- and Ontology-Based Data Access and Transformation -- Rule Induction and Learning -- Event Driven Architectures and Active Database Systems. |
Record Nr. | UNINA-9910483252103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Rules and Reasoning [[electronic resource] ] : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / / edited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 207 p. 284 illus., 18 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Application software Software engineering Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Appl. in Administrative Data Processing Software Engineering/Programming and Operating Systems |
ISBN | 3-030-31095-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Full Papers -- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes -- Reasoning on DL-Liteℛ with Defeasibility in ASP -- ODRL policy modelling and compliance checking -- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP -- An ASP-based Solution for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from English -- Formalizing Object-ontological Mapping Using F-logic -- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT -- Efficient TBox Reasoning with Value Restrictions—Introducing the ℱℒower Reasoner -- Query Rewriting for DL Ontologies under the ICAR semantics -- Technical Communication Papers -- Complementing Logical Reasoning with Sub-Symbolic Commonsense -- Adding Constraint Tables to the DMN Standard: Preliminary Results -- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse -- Fuzzy Logic Programming for Tuning Neural Networks -- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization. |
Record Nr. | UNISA-996466309403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / / edited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 207 p. 284 illus., 18 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Application software Software engineering Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Appl. in Administrative Data Processing Software Engineering/Programming and Operating Systems |
ISBN | 3-030-31095-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Full Papers -- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes -- Reasoning on DL-Liteℛ with Defeasibility in ASP -- ODRL policy modelling and compliance checking -- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP -- An ASP-based Solution for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from English -- Formalizing Object-ontological Mapping Using F-logic -- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT -- Efficient TBox Reasoning with Value Restrictions—Introducing the ℱℒower Reasoner -- Query Rewriting for DL Ontologies under the ICAR semantics -- Technical Communication Papers -- Complementing Logical Reasoning with Sub-Symbolic Commonsense -- Adding Constraint Tables to the DMN Standard: Preliminary Results -- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse -- Fuzzy Logic Programming for Tuning Neural Networks -- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization. |
Record Nr. | UNINA-9910349281103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Rules on the Web: From Theory to Applications [[electronic resource] ] : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings / / edited by Antonis Bikakis, Paul Fodor, Dumitru Roman |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXII, 339 p. 77 illus.) |
Disciplina | 006.74 |
Collana | Programming and Software Engineering |
Soggetto topico |
Artificial intelligence
Application software Computer logic Artificial Intelligence Information Systems Applications (incl. Internet) Logics and Meanings of Programs Computer Applications |
ISBN | 3-319-09870-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198265303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Rules on the Web: From Theory to Applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings / / edited by Antonis Bikakis, Paul Fodor, Dumitru Roman |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXII, 339 p. 77 illus.) |
Disciplina | 006.74 |
Collana | Programming and Software Engineering |
Soggetto topico |
Artificial intelligence
Application software Computer logic Artificial Intelligence Information Systems Applications (incl. Internet) Logics and Meanings of Programs Computer Applications |
ISBN | 3-319-09870-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483810203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|