2291 search results - page 280 / 459 » Logic Programming and Model Checking |
111
click to vote
AAAI
2004
15 years 3 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
113
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
130
click to vote
SIGMOD
2004
ACM
15 years 7 months ago
2004
ACM
Information in today’s enterprises commonly resides in a variety of heterogeneous data sources, including relational databases, web services, files, packaged applications, and c...
151
click to vote
IGPL
2011
14 years 5 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
143
click to vote
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...