BDD-based reasoning in the fluent calculus - first results

Details BDD-based reasoning in the fluent calculus - first results BDD-based reasoning in the fluent calculus - first results

2000-03-09

arxiv.org/abs/cs/0003047v1

Computer Science

Artificial Intelligence

9 pages; Workshop on Nonmonotonic Reasoning 2000 (NMR 2000)

Scientific paper

The paper reports on first preliminary results and insights gained in a
project aiming at implementing the fluent calculus using methods and techniques
based on binary decision diagrams. After reporting on an initial experiment
showing promising results we discuss our findings concerning various techniques
and heuristics used to speed up the reasoning process.

Affiliated with

Also associated with

No associations

Rating

BDD-based reasoning in the fluent calculus - first results does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with BDD-based reasoning in the fluent calculus - first results, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and BDD-based reasoning in the fluent calculus - first results will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-653663