3470 search results - page 122 / 694 » Head-Elementary-Set-Free Logic Programs |
216
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
126
click to vote
ESWA
2002
15 years 4 months ago
2002
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, mo...
164
click to vote
JAR
2010
14 years 11 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
169
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
134
Voted
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...