15660 search results - page 37 / 3132 » The Unbalance of Set Systems |
139
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
101
click to vote
ASP
2001
Springer
15 years 4 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract— We prove that a controllable set of smooth trajectories is the solution set of a constant coefficient linear differential equation if and only if it is linear, time in...
FFA
2008
14 years 12 months ago
2008
Syntactical properties of representations of integers in various number systems are well-known and have been extensively studied. In this paper, we transpose the notion of recogniz...
103
click to vote
RSEISP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Approximate reasoning is used in a variety of reasoning tasks in Logicbased Artificial Intelligence. In this abstract we compare a number of such reasoning schemes and s...