| Description |
1 online resource |
| Series |
Lecture notes in computer science ; 7438 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7438.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
A Logic-Based Framework for Reactive Systems / Robert Kowalski and Fariba Sadri -- Ontology-Based Query Answering with Existential Rules / Marie-Laure Mugnier -- A Model Driven Reverse Engineering Framework for Extracting Business Rules Out of a Java Application / Valerio Cosentino, Jordi Cabot, Patrick Albert, Philippe Bauquel and Jacques Perronnet -- Business Process Data Compliance / Mustafa Hashmi, Guido Governatori and Moe Thandar Wynn -- Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs / Bruno Berstel-Da Silva -- Bringing OWL Ontologies to the Business Rules Users / Adil El Ghali, Amina Chniti and Hugues Citeau -- From Regulatory Texts to BRMS: How to Guide the Acquisition of Business Rules? / Abdooulaye Guissé, François Lévy and Adeline Nazarenko -- A Rule Based Approach for Business Rule Generation from Business Process Models / Saleem Malik and Imran Sarwar Bajwa |
|
Reaction RuleML 1.0: Standardized Semantic Reaction Rules / Adrian Paschke, Harold Boley, Zhili Zhao, Kia Teymourian and Tara Athan -- A Production Rule-Based Framework for Causal and Epistemic Reasoning / Theodore Patkos, Abdelghani Chibani, Dimitris Plexousakis and Yacine Amirat -- On the Algebraic Semantics of Reactive Rules / Katerina Ksystra, Nikolaos Triantafyllou and Petros Stefaneas -- A Rule-Based Calculus and Processing of Complex Events / Stefano Bragaglia, Federico Chesani, Paola Mello and Davide Sottara -- Complex Reactivity with Preferences in Rule-Based Agents / Stefania Costantini and Giovanni De Gasperis -- The Pragmatic Web: Putting Rules in Context / Hans Weigand and Adrian Paschke -- HARM: A Hybrid Rule-Based Agent Reputation Model Based on Temporal Defeasible Logic / Kalliopi Kravari and Nick Bassiliades -- Whispering Interactions to the End User Using Rules / Benjamin Jailly, Christophe Gravier, Julien Subercaze, Marius Preda and Jacques Fayolle -- Personalizing Location Information through Rule-Based Policies / Iosif Viktoratos, Athanasios Tsadiras and Nick Bassiliades |
|
Using SOIQ(D) to Formalize Semantics within a Semantic Decision Table / Yan Tang Demey and Trung-Kien Tran -- Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach / Sotiris Batsakis and Euripides G.M. Petrakis -- OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations / Jesús M. Almendros-Jiménez -- Using Data-to-Knowledge Exchange for Transforming Relational Databases to Knowledge Bases / Tadeusz Pankowski -- PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners / Gen Zou, Reuben Peter-Paul, Harold Boley and Alexandre Riazanov -- PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes / Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley and Christopher J.O. Baker -- Syntax Reuse: XSLT as a Metalanguage for Knowledge Representation Languages / Tara Athan -- An Approach to Parallel Class Expression Learning / An C. Tran, Jens Dietrich, Hans W. Guesgen and Stephen Marsland -- Rule-Based High-Level Situation Recognition from Incomplete Tracking Data / David Münch, Joris IJsselmuiden, Ann-Kristin Grosselfinger, Michael Arens and Rainer Stiefelhagen |
| Summary |
This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2012, held in Montpellier, France, in August 2012 - collocated with the 20th biennial European Conference on Artificial Intelligence, ECAI 2012. The 14 full papers, 8 short papers and 2 track papers presented together with 2 keynote talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as business rules and processes; rule-based event processing and reaction rules; rule-based policies and agents on the pragmatic web; rules and the semantic web; rule markup languages and rule interchange; and rule transformation, extraction and learning |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Print version record |
| Subject |
Rule-based programming -- Congresses
|
|
Informatique.
|
|
Rule-based programming
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Bikakis, Antonis
|
|
Giurca, Adrian, 1966-
|
| ISBN |
9783642326899 |
|
3642326897 |
|
