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.
Ein Beitrag zur Ableitung regelbasierter Modelle aus Zeitreihen / / Andreas Stadler
| Ein Beitrag zur Ableitung regelbasierter Modelle aus Zeitreihen / / Andreas Stadler |
| Autore | Stadler Andreas |
| Pubbl/distr/stampa | [Place of publication not identified] : , : KIT Scientific Publishing, , 2005 |
| Descrizione fisica | 1 online resource (224 pages) |
| Disciplina | 005.133 |
| Soggetto topico | Rule-based programming |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910688210803321 |
Stadler Andreas
|
||
| [Place of publication not identified] : , : KIT Scientific Publishing, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Jess in action : rule-based systems in Java / Ernest Friedman-Hill
| Jess in action : rule-based systems in Java / Ernest Friedman-Hill |
| Autore | Friedman-Hill, Ernest |
| Pubbl/distr/stampa | Greenwich, CT : Manning, c2003 |
| Descrizione fisica | xxxii, 443 p. : ill. ; 24 cm |
| Disciplina | 005.133 |
| Soggetto topico |
Java (Computer program language)
Rule-based programming |
| ISBN | 1930110898 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991004124849707536 |
|
Friedman-Hill, Ernest
|
||
| Greenwich, CT : Manning, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Rules and reasoning : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings / / Sotiris Moschoyiannis [and four others]
| Rules and reasoning : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings / / Sotiris Moschoyiannis [and four others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (298 pages) |
| Disciplina | 005.1015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Rule-based programming |
| ISBN | 3-030-91167-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464500403316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification of business rules programs / / Bruno Berstel-Da Silva
| Verification of business rules programs / / Bruno Berstel-Da Silva |
| Autore | Berstel-Da Silva Bruno |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Heidelberg [Germany] : , : Springer, , 2014 |
| Descrizione fisica | 1 online resource (xvii, 236 pages) : illustrations (some color) |
| Disciplina |
004
005.1015113 005.11 005.74 |
| Collana | Gale eBooks |
| Soggetto topico |
Business - Computer network resources
Rule-based programming |
| ISBN | 3-642-40038-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chap. 1 - Introduction -- Chap. 2 - Related Work -- Chap. 3 - Syntax of Rules and Rule Programs -- Chap. 4 - States and State Assertions -- Chap. 5 - Operational Semantics of Rule Programs -- Chap. 6 - Correctness of Rule Programs -- Chap. 7 - Correctness of Programs: A Comparison -- Chap. 8 - Main Steps in Rule Program Verification -- Chap. 9 - A Verification Method for Rule Programs -- Chap. 10 - Specialized Proof Rules -- Chap. 11 - Conclusion -- Appendix A - Verification in an Industrial Business Rules Management System -- List of Proof Rules -- Index. . |
| Record Nr. | UNINA-9910298573803321 |
|
Berstel-Da Silva Bruno
|
||
| Heidelberg [Germany] : , : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen
| Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 241 p.) |
| Disciplina | 025.0427 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Rule-based programming
Semantic Web |
| ISBN | 3-540-88737-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Rule Interchange Format: The Framework -- Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules -- Full Papers -- On Combining Description Logic Ontologies and Nonrecursive Datalog Rules -- Simulation Subsumption or Déjà vu on the Web -- Reasoning with a Network of Aligned Ontologies -- Lexicographical Inference over Inconsistent DL-Based Ontologies -- A Survey of Revision Approaches in Description Logics -- Towards Rule-Based Minimization of RDF Graphs under Constraints -- Ontology Design and Reuse with Conceptual Roles -- Enhancing a DLP System for Advanced Database Applications -- A Semantic Web Reasoner for Rules, Equations and Constraints -- What Is Approximate Reasoning? -- Approximate OWL-Reasoning with Screech -- Ranking Services Using Fuzzy HEX Programs -- Short Papers -- Markup and Component Interoperability for Active Rules -- On Reducing Redundancy in Mining Relational Association Rules from the Semantic Web -- A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts -- Paraconsistent Reasoning with Quasi-classical Semantic in -- Posters -- Fluent Calculus Based Web Service Composition -- Vague-SWRL: A Fuzzy Extension of SWRL -- Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing -- Taming Existence in RDF Querying -- A Tableau Algorithm for Possibilistic Description Logic . |
| Record Nr. | UNISA-996465560303316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
