2067 search results - page 219 / 414 » Logics of propositional control |
218
click to vote
VLDB
2007
ACM
16 years 20 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
155
click to vote
KES
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents a system for recognizing sketched logic circuits in real-time and graphically simulating them afterwords. It has been developed for use in university and school...
176
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
157
click to vote
PLDI
1990
ACM
15 years 10 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
141
click to vote
IGPL
2007
15 years 6 months ago
2007
We would like to introduce the web tutor ORGANON, which aims to support basic logic courses at the University of West Bohemia in Pilsen (Czech Republic). The application was desig...