3470 search results - page 133 / 694 » Head-Elementary-Set-Free Logic Programs |
146
Voted
JSAC
2007
15 years 4 months ago
2007
— We introduce a new version of the widely studied survivable mapping problem in IP-over-WDM networks. The new problem allows augmenting the given logical topology and is describ...
161
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
130
Voted
ENTCS
2010
15 years 5 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
165
click to vote
EPIA
2009
Springer
15 years 11 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
171
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...