1776 search results - page 233 / 356 » Using a Logic Programming Language with Persistence and Cont... |
129
click to vote
SP
2007
IEEE
15 years 9 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
131
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
144
click to vote
FUIN
2010
15 years 16 days ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
125
click to vote
LOBJET
2000
15 years 3 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
252
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...