2585 search results - page 358 / 517 » Automating Coherent Logic |
135
click to vote
FPL
2005
Springer
16 years 1 days ago
2005
Springer
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...
172
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
141
click to vote
ILP
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
170
click to vote
SEKE
2005
Springer
16 years 1 hour ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
177
click to vote
DEON
2004
Springer
15 years 12 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...