2585 search results - page 316 / 517 » Automating Coherent Logic |
165
click to vote
LPNMR
2007
Springer
16 years 22 days 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...
145
click to vote
MSE
2005
IEEE
16 years 5 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...
153
click to vote
TPHOL
2005
IEEE
16 years 5 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,...
195
click to vote
ASP
2005
Springer
16 years 4 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...
162
click to vote
ICLP
2005
Springer
16 years 3 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...