935 search results - page 102 / 187 » From Logic Programming Towards Multi-Agent Systems |
126
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
139
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
177
click to vote
IWPSE
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
111
click to vote
NOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Measuring and comparing performance, cost, and other features of advanced communication architectures for complex multi core/multiprocessor systems on chip is a significant challe...
153
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...