Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

30

LPNMR
2007
Springer

favoriteEmaildiscussreport

99views Automated Reasoning» more LPNMR 2007»

An Smodels System with Limited Lookahead Computation

14 years 5 months ago

An Smodels System with Limited Lookahead Computation

Download www.cs.uky.edu

We describe an answer-set programming solver smodels− , derived from smodels by eliminating some lookahead computations. We show that for some classes of programs smodels− outperforms smodels and demonstrate the computational potential of our approach.

Gayathri Namasivayam, Miroslaw Truszczynski

Real-time Traffic

Answer-set Programming Solver | Lookahead Computations | LPNMR 2007 | Programs Smodels− Outperforms |

claim paper

Related Content

» RiskAware Limited Lookahead Control for Dynamic Resource Provisioning in Enterprise Comput...

» LaFA lookahead finite automata for scalable regular expression detection

» Hardware implementation for scalable lookahead Regular Expression detection

» Scaling the issue window with lookahead latency prediction

» Link Privacy in Social Networks

» Layered Models TopDown Querying of Normal Logic Programs

» Dynamic lot sizing and tool management in automated manufacturing systems

» Multi robotic exploration with communication requirement to a fixed base station

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	LPNMR
Authors	Gayathri Namasivayam, Miroslaw Truszczynski

Comments (0)