Equational logic as a programming language
Equational logic as a programming language
Computing in Horn clause theories
Computing in Horn clause theories
Functional-logic integration via minimal reciprocal extensions
Theoretical Computer Science - Special issue: Gentzen
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Relationships between Logic Programming and RDF
Revised Papers from the PRICAI 2000 Workshop Reader, Four Workshops held at PRICAI 2000 on Advances in Artificial Intelligence
Compiling XSLT 2.0 into XQuery 1.0
WWW '05 Proceedings of the 14th international conference on World Wide Web
The OO jDREW reference implementation of RuleML
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web
ICPW '07 Proceedings of the 2nd international conference on Pragmatic web
On Extending RuleML for Modal Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Challenges for Rule Systems on the Web
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Fuzzy Reasoning with a Rete-OO Rule Engine
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Are your rules online? four web rule essentials
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
The use of ontologies and rules to assist in academic advising
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
A middleware architecture for building contract-aware agent-based services
SOCASE'08 Proceedings of the 2008 AAMAS international conference on Service-oriented computing: agents, semantics, and engineering
A semantic approach to a framework for business domain software systems
Computers in Industry
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
A semantic rule and event driven approach for agile decision-centric business process management
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Knowledgebase representation language interoperation tool
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Semantically-enhanced authoring of defeasible logic rule bases in the semantic web
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Design and validation of a light inference system to support embedded context reasoning
Personal and Ubiquitous Computing
Complex reactivity with preferences in rule-based agents
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
RuleML representation and simulation of Fuzzy Cognitive Maps
Expert Systems with Applications: An International Journal
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
International Journal on Semantic Web & Information Systems
Hi-index | 0.01 |
The RuleML family of Web rule languages contains derivation (deduction) rule languages, which themselves have a webized Datalog language as their inner core. Datalog RuleML's atomic formulas can be (un)keyed and (un)ordered. Inheriting the Datalog features, Hornlog RuleML adds functional expressions as terms. In Hornlog with equality, such uninterpreted (constructor-like) functions are complemented by interpreted (equation-defined) functions. These are described by further orthogonal dimensions “single- vs. set-valued” and “first- vs. higher-order”. Combined modal logics apply special relations as operators to atoms with an uninterpreted relation, complementing the usual interpreted ones.