2225 search results - page 205 / 445 » Logical Structures in the Lexicon |
161
click to vote
EPIA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
164
click to vote
LPNMR
2007
Springer
16 years 21 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...
160
click to vote
MKM
2007
Springer
16 years 21 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
169
click to vote
DSD
2006
IEEE
16 years 19 days ago
2006
IEEE
Programmable logic arrays (PLAs) present an alternative to logic-gate based design. We propose the transistor level structure of a PLA for single-rail asynchronous applications. T...
161
click to vote
ICLP
2005
Springer
16 years 2 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...