17054 search results - page 210 / 3411 » Logics of Dynamical Systems |
231
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
178
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
132
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
This paper presents a fuzzy control application in the unmanned driving field. Two electric cars have been conveniently instrumented in order to transform them in platforms for au...
170
click to vote
FPGA
1995
ACM
15 years 10 months ago
1995
ACM
One of the critical issues for multi-FPGA systems is developing software tools for automatically mapping circuits. In this paper we consider one step in this process, partitioning...
207
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
We report on experiments designed to highlight the strengths and weaknesses of an autonomous rule acquisition algorithm for the fuzzy controller of a simulated mobile robot. The a...