9145 search results - page 352 / 1829 » Description Logic Systems |
176
click to vote
TLDI
2003
ACM
16 years 13 hour ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
209
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 ...
162
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...
129
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...
160
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper fuzzy controllers are designed for FACTS devices in interconnected power systems. Two typical FACTS devices, STATCOM and UPFC, are used as examples to show that FACT...