Rules on the Web: Research and Applications

@inproceedings{Bikakis2012RulesOT,
  title={Rules on the Web: Research and Applications},
  author={Antonis Bikakis and Adrian Giurca},
  booktitle={Lecture Notes in Computer Science},
  year={2012}
}
We sketch a logic-based framework in which computation consists of performing actions to generate a sequence of states, with the purpose of making a set of reactive rules in the logical form antecedents → consequents all true. The antecedents of the rules are conjunctions of past or present conditions and events, and the consequents of the rules are disjunctions of conjunctions of future conditions and actions. The antecedents can be viewed as complex/composite events, and the consequents as… CONTINUE READING
3
Twitter Mentions

References

Publications referenced by this paper.
SHOWING 1-10 OF 44 REFERENCES

Efficient epistemic reasoning in partially observable dynamic domains using hidden causal dependencies

T. Patkos, D. Plexousakis
  • NRAC 2011 - 9th International Workshop on Non-Monotonic Reasoning, Action and Change,
  • 2011
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Logic programming with simulation-based temporal projection for everyday robot object manipulation

  • 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2011
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

Intention Recognition with Event Calculus Graphs

  • 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology
  • 2010
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Computer-based Medical Guidelines and Protocols: A Primer and Current Trends

  • Computer-based Medical Guidelines and Protocols
  • 2008
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Handbook of Knowledge Representation

  • Handbook of Knowledge Representation
  • 2008
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL