505 search results - page 54 / 101 » Answer Set Programming with Templates |
BMCBI
2010
14 years 10 months ago
2010
Background: Multiplex PCR, defined as the simultaneous amplification of multiple regions of a DNA template or multiple DNA templates using more than one primer set (comprising a f...
FUIN
2010
14 years 7 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
143
click to vote
JELIA
2010
Springer
14 years 8 months ago
2010
Springer
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...
AAAI
2004
14 years 11 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...