| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ho-Pun Lam, Mustafa Hashmi, Brendan Scofield |
Enabling Reasoning with LegalRuleML.  |
RuleML  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar |
Choreographic Compilation of Decentralized Comprehension Patterns. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Marino, Ari Juels |
Setting Standards for Altering and Undoing Smart Contracts. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Programming in Picat. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Schultz 0001, Mehul Bhatt |
A Numerical Optimisation Based Characterisation of Spatial Reasoning. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà |
A Framework Enhancing the User Search Activity Through Data Posting. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | William Van Woensel, Patrice C. Roy, Syed Sibte Raza Abidi |
SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart Environments. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Giovanni De Gasperis |
Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gen Zou, Harold Boley |
Minimal Objectification and Maximal Unnesting in PSOA RuleML. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
The RuleML Knowledge-Interoperation Hub. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Ferilli |
Handling Complex Process Models Conditions Using First-Order Horn Clauses. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou |
Rule-Based Real-Time ADL Recognition in a Smart Home Environment. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Firas Al Khalil, Marcello Ceci, Kosala Yapa, Leona O'Brien |
SBVR to OWL 2 Mapping in the Domain of Legal Rules. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor |
Evaluation of Logic-Based Smart Contracts for Blockchain Systems. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao 0001 |
OBDA Constraints for Effective Query Answering. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gall, Thom W. Frühwirth |
Translation of Cognitive Models from ACT-R to Constraint Handling Rules. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Melanie Swan |
Blockchain Temporality: Smart Contract Time Specifiability with Blocktime. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian de Sainte Marie, Changhai Ke |
Controlling the Average Behavior of Business Rules Programs. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Harris, Anand V. Panangadan, Viktor K. Prasanna |
PRIMER - A Regression-Rule Learning System for Intervention Optimization. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin |
Business Rules Uncertainty Management with Probabilistic Relational Models. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez |
A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom W. Frühwirth |
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman (eds.) |
Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings |
RuleML |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Szymon Bobek, Grzegorz J. Nalepa |
Compact Representation of Conditional Probability for Rule-Based Mobile Context-Aware Systems. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarcisio M. Farias, Ana Roxin, Christophe Nicolle |
FOWLA, A Federated Architecture for Ontologies. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dörthe Arndt, Ruben Verborgh, Jos De Roo, Hong Sun, Erik Mannens, Rik Van de Walle |
Semantics of Notation3 Logic: A Solution for Implicit Quantification. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Fusco, Davide Sottara, István Ráth, Mark Proctor |
Building a Hybrid Reactive Rule Engine for Relational and Graph Reasoning. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Morzy, Agnieszka Lawrynowicz, Mateusz Zozulinski |
Using Substitutive Itemset Mining Framework for Finding Synonymous Properties in Linked Data. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmad Hasan, Kia Teymourian, Adrian Paschke |
Probabilistic Event Pattern Discovery. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Genesereth, Eric Jui-Yi Kao |
The Herbrand Manifesto - Thinking Inside the Box. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Giorgio Orsi 0001, Andreas Pieris |
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter |
Graal: A Toolkit for Query Answering with Existential Rules. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Fürnkranz, Tomás Kliegr |
A Brief Overview of Rule Learning. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gen Zou, Harold Boley |
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Lukasiewicz, Maria Vanina Martinez, Livia Predoiu, Gerardo I. Simari |
Existential Rules and Bayesian Networks for Probabilistic Ontological Data Exchange. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dörthe Arndt, Ben De Meester, Pieter Bonte, Jeroen Schaballie, Jabran Bhatti, Wim Dereuddre, Ruben Verborgh, Femke Ongenae, Filip De Turck, Rik Van de Walle, Erik Mannens |
Ontology Reasoning Using Rules in an eHealth Context. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansaf Salleb-Aouissi, Christel Vrain, Daniel Cassard |
Learning Characteristic Rules in Geographic Information Systems. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Santodomingo, Mathias Uslar, José Antonio Rodríguez-Mondéjar, Miguel Angel Sanz-Bobi |
Rule-Based Data Transformations in Electricity Smart Grids. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman (eds.) |
Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mostafa Milani, Leopoldo E. Bertossi |
Ontology-Based Multidimensional Contexts with Applications to Quality Data Specification and Extraction. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni |
Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic Vocabularies. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Basseda, Tiantian Gao, Michael Kifer, Steven Greenspan, Charley Chell |
Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Sun 0001 |
Input/Output STIT Logic for Normative Systems. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mantas Simkus |
Binary Frontier-Guarded ASP with Function Symbols. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Artikis, Matthias Weidlich 0001 |
Distribution and Uncertainty in Complex Event Recognition. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom W. Frühwirth |
Constraint Handling Rules - What Else? |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Steyskal, Axel Polleres |
Towards Formal Semantics for ODRL Policies. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudhir Agarwal 0001, Abhijeet Mohapatra, Michael R. Genesereth, Harold Boley |
Rule-Based Exploration of Structured Data in the Browser. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | João Paulo Orlando, Mark A. Musen, Dilvan A. Moreira |
User Extensible System to Identify Problems in OWL Ontologies and SWRL Rules. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Shi, Bjørg E. Pettersen, Ivar Østhassel, Nikolay Nikolov, Arash Khorramhonarnama, Arne-Jørgen Berre, Dumitru Roman |
Norwegian State of Estate: A Reporting Service for the State-Owned Properties in Norway. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sofia Gomes, José Júlio Alferes |
How to Combine Event Stream Reasoning with Transactions for the Semantic Web. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Megan Katsumi, Michael Grüninger |
Using PSL to Extend and Evaluate Event Ontologies. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Ginés Moreno, Carlos Vázquez |
Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tara Athan, Roy Bell, Elisa F. Kendall, Adrian Paschke, Davide Sottara |
API4KP Metamodel: A Meta-API for Heterogeneous Knowledge Platforms. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Ferilli, Andrea Pazienza, Floriana Esposito |
Rule Generalization Strategies in Incremental Learning of Disjunctive Concepts. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Dondio |
Multi-valued Argumentation Frameworks. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zaenal Akbar, José María García, Ioan Toma, Dieter Fensel |
On Using Semantically-Aware Rules for Efficient Online Communication. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ladislav Peska, Peter Vojtás |
Interpreting Web Shop User's Behavioral Patterns as Fictitious Explicit Rating for Preference Learning. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingmin Chen, Shizhuo Yu, Nico M. Franz, Shawn Bowers, Bertram Ludäscher |
A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Rauch, Milan Simunek |
Learning Association Rules from Data through Domain Knowledge and Automation. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayesha Aziz, Salvador Rodriguez-Loya, Chris R. Chatwin |
From Guidelines to Practice: Improving Clinical Care through Rule-Based Clinical Decision Support at the Point of Care. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas |
On Verifying Reactive Rules Using Rewriting Logic. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shashishekar Ramakrishna, Adrian Paschke |
A Process for Knowledge Transformation and Knowledge Representation of Patent Law. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Smith, Erica Calardo, Antonino Rotolo, Giovanni Sartor |
Legal Responsibility for the Acts of Others: A Logical Analysis. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
A Logical Characterization of a Reactive System Language. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rubén Fillottrani, C. Maria Keet |
Conceptual Model Interoperability: A Metamodel-driven Approach. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Rolf Grütter, Gen Zou, Tara Athan, Sophia Etzold |
A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Juyeon Kang, Patrick Saint-Dizier |
Requirement Compound Mining and Analysis. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Luca Bernardi, Marta Cimitile, Chiara Di Francescomarino, Fabrizio Maria Maggi |
Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis Bikakis, Paul Fodor, Dumitru Roman (eds.) |
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 |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Maria Keet, Langa Khumalo |
Basics for a Grammar Engine to Verbalize Logical Theories in isiZulu. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Checking Termination of Logic Programs with Function Symbols through Linear Constraints. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Szymon Bobek, Grzegorz J. Nalepa |
Incomplete and Uncertain Data Handling in Context-Aware Rule-Based Systems with Modified Certainty Factors Algebra. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn |
Modeling Obligations with Event-Calculus. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Paschke |
Reaction RuleML 1.0 for Rules, Events and Actions in Semantic Complex Event Processing. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Iosif Viktoratos, Athanasios K. Tsadiras, Nick Bassiliades |
Using Rules to Develop a Personalized and Social Location Information System for the Semantic Web. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shashishekar Ramakrishna, Adrian Paschke |
Semi-automated Vocabulary Building for Structured Legal English. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau |
Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Kliegr, Jaroslav Kuchar, Davide Sottara, Stanislav Vojír |
Learning Business Rules with Association Rule Classifiers. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani |
The Hardness of Revising Defeasible Preferences. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sotiris Batsakis |
Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé |
Modeling Stable Matching Problems with Answer Set Programming. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner |
LegalRuleML: From Metamodel to Use Cases - (A Tutorial). |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Herzig, Bernhard Wolf, Svenja Brunstein, Alexander Schill |
Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Assaad Moawad, Antonis Bikakis, Patrice Caire, Grégory Nain, Yves Le Traon |
A Rule-Based Contextual Reasoning Platform for Ambient Intelligence Environments. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Grüninger |
Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk). |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Frenzel, Henning Sanneck, Bernhard Bauer |
A Fuzzy, Utility-Based Approach for Proactive Policy-Based Management. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou, Ioannis Kompatsiaris |
Ontology Patterns for Complex Activity Modelling. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Adeline Nazarenko, François Lévy |
Combining Acquisition and Debugging of Business Rule Models. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Proctor, Mario Fusco, Davide Sottara |
Extending an Object-Oriented RETE Network with Fine-Grained Reactivity to Property Modifications. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Governatori, Antonino Rotolo |
Computing Temporal Defeasible Logic. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Xu 0006, Arcot Rajasekar, Reagan W. Moore, Mike Wan |
Distributed ECA Rules for Data Management Policies. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Leora Morgenstern, Petros S. Stefaneas, François Lévy, Adam Z. Wyner, Adrian Paschke (eds.) |
Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Luigi Di Caro, Livio Robaldo |
Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector Machines. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Sierhuis |
Multi-agent Activity Modeling with the Brahms Environment - (Abstract of Tutorial). |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Matteo Cristani |
Picking Up the Best Goal - An Analytical Study in Defeasible Logic. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lise Getoor |
Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables - (Abstract of Keynote Talk). |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin N. Grosof |
Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk). |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias Tachmazidis, Grigoris Antoniou |
Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization. |
RuleML |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license