1950 search results - page 128 / 390 » Lambda-Free Logical Frameworks |
163
click to vote
EPIA
2007
Springer
16 years 27 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...
175
click to vote
DATE
2006
IEEE
16 years 24 days ago
2006
IEEE
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces a...
200
click to vote
ASP
2005
Springer
16 years 8 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...
175
Voted
WADT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
197
click to vote
COOPIS
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...