2585 search results - page 316 / 517 » Automating Coherent Logic |
190
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
168
click to vote
MSE
2005
IEEE
16 years 24 days ago
2005
IEEE
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
164
click to vote
TPHOL
2005
IEEE
16 years 23 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
220
click to vote
ASP
2005
Springer
16 years 23 days ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
191
click to vote
ICLP
2005
Springer
16 years 21 days ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...