884 search results - page 65 / 177 » Using Nested Logic Programs for Answer Set Programming |
MP
2007
14 years 11 months ago
2007
The question of nonemptiness of the intersection of a nested sequence of closed sets is fundamental in a number of important optimization topics, including the existence of optima...
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
111
click to vote
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
115
click to vote
EPIA
1997
Springer
15 years 4 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...