Search results for "RuleML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
178	Harold Boley	RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core.	RuleML	2009	DBLP DOI BibTeX RDF
140	Sumit Bhansali, Benjamin N. Grosof	Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML.	RuleML	2005	DBLP DOI BibTeX RDF
137	Adrian Giurca, Gerd Wagner 0001	Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML.	RuleML	2005	DBLP DOI BibTeX RDF	rule markup languages, RuleML, partial logic, semantics, abstract syntax
121	Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi	A RuleML Study on Integrating Geographical and Health Information.	RuleML	2008	DBLP DOI BibTeX RDF	RuleML, Ontologies, visualization, rules, public health
108	Sheng Gao, Harold Boley, Darka Mioc, Francois Anton, Xiaolun Yi	Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information.	RuleML	2009	DBLP DOI BibTeX RDF
108	Christopher J. Matheus, Kenneth Baclawski, Mieczyslaw M. Kokar	BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules.	RuleML	2006	DBLP DOI BibTeX RDF
108	Chieko Nakabasami	RuleML Annotation for Automatic Collection Levels on METS Metadata.	RuleML	2003	DBLP DOI BibTeX RDF
108	Christopher J. Matheus, Mieczyslaw M. Kokar, Kenneth Baclawski, Jerzy Letkowski	Constructing RuleML-Based Domain Theories on Top of OWL Ontologies.	RuleML	2003	DBLP DOI BibTeX RDF
105	Gen Zou	PSOA RuleML Integration of Relational and Object-Centered Geospatial Data.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
105	Tara Athan, Harold Boley, Adrian Paschke	RuleML 1.02: Deliberation, Reaction and Consumer Families.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
105	Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter	Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
105	Adrian Paschke, Harold Boley	Distributed Rule-based Agents with Rule Responder and Reaction RuleML 1.0.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
105	Matthias Tylkowski, Martin Müller	Experiences Using Deliberation RuleML 1.01 as Rule Interchange Language.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
105	Gen Zou	GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
105	Tara Athan, Harold Boley	The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
105	Mohammad Sadnan Al Manir, Christopher J. O. Baker	Offshore Holdings Analytics Using Datalog+ RuleML Rules.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
92	Benjamin Larry Craig	The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering.	RuleML	2007	DBLP DOI BibTeX RDF
92	Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia	An Approach to Representing Uncertainty Rules in RuleML.	RuleML	2006	DBLP DOI BibTeX RDF
92	Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer	The OO jDREW Reference Implementation of RuleML.	RuleML	2005	DBLP DOI BibTeX RDF
92	Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan	Uncertainty and RuleML Rulebases: A Preliminary Report.	RuleML	2005	DBLP DOI BibTeX RDF
92	Harold Boley	Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms.	RuleML	2003	DBLP DOI BibTeX RDF
86	Yevgen Biletskiy, David Hirtle, Olga Vorochek	Toward the Identification and Elimination of Semantic Conflicts for the Integration of RuleML-based Ontologies.	CSWWS	2006	DBLP DOI BibTeX RDF
86	Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou	A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web.	RuleML	2005	DBLP DOI BibTeX RDF
83	Tara Athan, Harold Boley, Rima Chaudhari	Specifying PSOA RuleML/XML 1.03: MYNG-modularized Schemas for the RNC & XSD Validation of XSLT-normalized Data and Knowledge.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
83	Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos	Formalizing Air Traffic Control Regulations in PSOA RuleML.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
83	Gen Zou, Harold Boley, Dylan Wood, Kieran Lea	Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
83	Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha	Translating Higher-Order Modal Logic from RuleML to TPTP.	RuleML (Supplement)	2016	DBLP BibTeX RDF
83	Adrian Paschke, Simon Könnecke	RuleML - DMN Translator.	RuleML (Supplement)	2016	DBLP BibTeX RDF
83	Nick Bassiliades, Paul Fodor, Adrian Giurca, Georg Gottlob, Tomás Kliegr, Grzegorz J. Nalepa, Monica Palmirani, Adrian Paschke, Mark Proctor, Dumitru Roman, Fariba Sadri, Nenad Stojanovic (eds.)	Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Tuan Anh Pham 0002, Nhan Le Thanh	A Rule-Based Language for Integrating Business Process and Business Rules.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Julian R. Eichhoff, Dieter Roller 0002	Genetic Programming for Design Grammar Rule Induction.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Marta Vomlelová, Michal Kopecky, Peter Vojtás	Transformation and Aggregation Preprocessing for Top-k Recommendation GAP Rules Induction.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift	Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Alexei A. Morozov, Alexander F. Polupanov, Olga S. Sushkova	A Translator of Actor Prolog to Java.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Jonathan Mercier, David Vallenet	GROOLS: Reactive Graph Reasoning for Genome Annotation.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Armin Bauer, Niki Hoedoro, Adela Schneider	Rule-based Approach to Text Generation in Natural Language - Automated Text Markup Language (ATML3).	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Mostafa Milani	Multidimensional Ontologies for Contextual Quality Data Specification and Extraction.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Stefania Costantini, Giovanni De Gasperis	Exchanging Data and Ontological Definitions in Multi-Agent-Contexts Systems.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	João L. R. Moreira, Luís Ferreira Pires, Marten van Sinderen, Patricia Dockhorn Costa	Developing Situation-Aware Applications for Disaster Management with a Distributed Rule-Based platform.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Alexei A. Morozov, Alexander F. Polupanov, Olga S. Sushkova	An Approach to the Intelligent Monitoring of Anomalous Human Behaviour Based on the Actor Prolog Object-Oriented Logic Language.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Mariano Navarro, Ramón Baiget, Jesús Estrada, Dumitru Roman	CAPAS: A Service for Improving the Assignments of Common Agriculture Policy Funds to Farmers and Land Owners.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Marko Harasic, Pierre Ahrendt, Alexandru Todor, Adrian Paschke	Towards Time-Aware Semantic Enriched Recommender Systems for Movies.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Stanislav Vojír, Vaclav Zeman, Jaroslav Kuchar, Tomás Kliegr	EasyMiner/R Preview: Towards a Web Interface for Association Rule Learning and Classification in R.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Jakub Nowakowski, Czeslaw Jedrzejek, Jakub Dutkiewicz	Assessing Elements of Crime Based on an Agent Simulation of a Street Robbery.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Ludwig Ostermayer	Seamless Cooperation of Java and Prolog for Rule-Based Software Development.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Jaroslav Kuchar	Augmenting a Feature Set of Movies Using Linked Open Data.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
83	Theodore Patkos, Adam Z. Wyner, Adrian Giurca (eds.)	Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral Consortium hosted by the 8th International Web Rule Symposium, Challenge+DC@RuleML 2014, Prague, Czech Republic, August 18-20, 2014.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
83	Jakub Dutkiewicz, Maciej Nowak, Czeslaw Jedrzejek	R2E: Rule-based Event Extractor.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
83	Iosif Viktoratos, Athanasios K. Tsadiras, Nick Bassiliades	Geosocial SPLIS: A Rule-Based Service for Context-aware Point of Interest Exploration.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
83	Hamza Agli, Philippe Bonnard, Pierre-Henri Wuillemin, Christophe Gonzales	Uncertain Reasoning for Business Rules.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
83	Stanislav Vojír, Premysl Václav Duben, Tomás Kliegr	Business Rule Learning with Interactive Selection of Association Rules.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
83	Filippos Gouidis, Giorgos Flouris, Dimitris Plexousakis	A Demo for Smart City Operation Center.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
83	Tarcisio M. Farias, Ana Roxin, Christophe Nicolle	A Rule Based System for Semantical Enrichment of Building Information Exchange.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
83	Davide Sottara, Robert A. Greenes, Peter J. Haug, Edinardo Potrich, Matthew Ebert	The Health eDecisions Authoring Environment for Shareable Clinical Decision Support Artifacts.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
83	Benjamin Dönz, Harold Boley	Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
83	José Luis Martínez-Fernández, José Carlos González Cristóbal, Paloma Martínez	K-Site Rules at the RuleML Challenge 2009.	RuleML Challenge	2009	DBLP BibTeX RDF
76	Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig	WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation.	RuleML	2009	DBLP DOI BibTeX RDF
76	Duy Hoang Pham, Guido Governatori, Simon Raboczi, Andrew Newman, Subhasis Thakur	On Extending RuleML for Modal Defeasible Logic.	RuleML	2008	DBLP DOI BibTeX RDF
70	Harold Boley	The RuleML Family of Web Rule Languages.	PPSWR	2006	DBLP DOI BibTeX RDF
70	Gerd Wagner 0001, Grigoris Antoniou, Said Tabet, Harold Boley	The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework.	Web Intelligence	2004	DBLP DOI BibTeX RDF
70	Yuh-Jong Hu, Ching-Long Yeh, Wolfgang Laun	Challenges for Rule Systems on the Web.	RuleML	2009	DBLP DOI BibTeX RDF
70	Enrico Pontelli, Tran Cao Son, Chitta Baral	A Framework for Composition and Inter-operation of Rules in the Semantic Web.	RuleML	2006	DBLP DOI BibTeX RDF
68	Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig	Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web.	ICPW	2007	DBLP DOI BibTeX RDF	pragmatic agent web, prova, reaction RuleML, representation languages, rule interchange format, multi agent systems, coordination, complex event processing
60	Mark Thom, Harold Boley, Theodoros Mitsikas	cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp.	RuleML+RR	2021	DBLP DOI BibTeX RDF
60	Mark Thom, Harold Boley, Theodoros Mitsikas	Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying.	RuleML+RR	2020	DBLP DOI BibTeX RDF
60	Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros S. Stefaneas, Alexander Steen, Adrian Giurca (eds.)	Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens	Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.	RuleML+RR	2019	DBLP DOI BibTeX RDF
60	Sanja Pavlovic	Ontology-Enriched Data Management with Partially Complete Data.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Fillipe Manoel Xavier Resina	Multiple Revision in Description Logics.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Dörthe Arndt, William Van Woensel	Towards Supporting Multiple Semantics of Named Graphs Using N3 Rules.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Sotiris Moschoyiannis, Vasily Shcherbinin	Fine Tuning Run Parameter Values in Rule-Based Machine Learning.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Jiri Zettel	Anonymization of the University Information System Log Data: a Case Study.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Davide Sottara, Mark Proctor, Stefano Bragaglia, Mohammad Hekmatnejad	Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Jürgen Angele, Kevin Angele	OO-logic: a Successor of F-logic.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Jirí Filip, Tomás Kliegr	PyIDS - Python Implementation of Interpretable Decision Sets Algorithm by Lakkaraju et al, 2016.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Marjolein Deryck, Joost Vennekens	Knowledge Elicitation within the Knowledge Base Paradigm: Disentangling Domain Knowledge from Decision Making in Industrial Applications.	RuleML+RR (Supplement)	2019	DBLP BibTeX RDF
60	Wolfgang Faber 0001, Paul Fodor, Giovanni De Gasperis, Adrian Giurca, Kia Teymourian (eds.)	Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 20-26, 2018.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos	Computational Regulation of Medical Devices in PSOA RuleML.	RuleML+RR	2018	DBLP DOI BibTeX RDF
60	David Fuenmayor	Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Weiming Huang	Towards Knowledge-Based Integration and Visualization of Geospatial Data using Semantic Web Technologies.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Gaspard Ducamp, Philippe Bonnard, Christian de Sainte Marie, Christophe Gonzales, Pierre-Henri Wuillemin	Improving Probabilistic Rules Compilation using PRM.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Vaclav Zeman, Tomás Kliegr, Vojtech Svátek	RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Tarek Khaled	A New Approach to Conceive ASP Solvers.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Lukas Grätz, Harold Boley, Adrian Paschke	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Jacob Feldman	Building and Analyzing Goal-Oriented Decision Models.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Jirí Filip, Tomás Kliegr	Classification based on Associations (CBA) - A Performance Analysis.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Nick Bassiliades	SWRL2SPIN: Converting SWRL to SPIN.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
60	Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel (eds.)	Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Jaroslav Kuchar, Adam Ashenfelter, Tomás Kliegr	Outlier (Anomaly) Detection Modelling in PMML.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Abeer Dyoub, Giovanni De Gasperis	Rule-Based Supervisor and Checker of Deep Learning Perception Modules in Cognitive Robotics.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Fabrizio Riguzzi, Riccardo Zese	Probabilistic Inductive Logic Programming on the Web.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Ling Shi, Dumitru Roman	Using Rules for Assessing and Improving Data Quality: A Case Study for the Norwegian State of Estate Report.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	María Navas-Loro	Mining, Representation and Reasoning with Temporal Expressions in the Legal Domain.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Mark Proctor, Edson Tirelli, Davide Sottara, Bruce Silver, Jacob Feldman, Mélanie Gauthier	The Effectiveness of DMN Portability.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Zainab Almugbel, Harold Boley	Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Silvie Spreeuwenberg, Rolf Krikke	Development of the Rule Based Approach to Traffic Management by the Dutch Road Authorities.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Keith L. Clark, Peter J. Robinson 0001	Concurrent Task Programming of Robotic Agents in TeleoR.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Ling Shi, Dumitru Roman	From Standards and Regulations to Executable Rules: A Case Study in the Building Accessibility Domain.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Stanislav Vojír, Vaclav Zeman, Jaroslav Kuchar, Tomás Kliegr	Using EasyMiner API for Financial Data Analysis in the OpenBudgets.eu Project.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
60	Francesca A. Lisi	Logic-based Rule Learning for the Web of Data.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF