564 search results - page 94 / 113 » The First Answer Set Programming System Competition |
ASE
2005
14 years 9 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
109
click to vote
BMCBI
2007
14 years 9 months ago
2007
Motivation: With more and more research dedicated to literature mining in the biomedical domain, more and more systems are available for people to choose from when building litera...
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
SIGUCCS
2000
ACM
15 years 2 months ago
2000
ACM
Every campus department needs computer support, from ordering and setting up new computers to installing software and answering software questions. This is in addition to training...
WEBI
2010
Springer
14 years 7 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...