4401 search results - page 294 / 881 » Computing with Default Logic |
227
click to vote
ICNC
2005
Springer
16 years 4 days ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
125
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
The Fellegi-Holt method automatically “corrects” data that fail some predefined requirements. Computer implementations of the method were used in many national statistics bure...
158
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—We propose a novel synthesis technique for reversible logic based on ant colony optimization (ACO). In our ACO-based approach, reversible logic synthesis is formulated a...
150
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
163
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...