Sciweavers

17054 search results - page 199 / 3411
» Logics of Dynamical Systems
Sort
View
DLOG
1996
15 years 8 months ago
Towards a Legal Reasoning System based on Description Logics: A Position Paper
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
Makoto Haraguchi
FUZZIEEE
2007
IEEE
16 years 1 months ago
Fuzzy Logic Control System for Autonomous Sailboats
—Sailing experts can explain basic sailing skills by rules about how to steer sails and rudder according to direction of target and wind. This paper describes how to transform th...
Roland Stelzer, Tobias Pröll, Robert Ivor Joh...
196
Voted
DBISP2P
2003
Springer
70views Database» more  DBISP2P 2003»
16 years 10 days ago
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenk...
COMPSAC
1996
IEEE
15 years 11 months ago
A Logic Database System with Extended Functionality
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee
183
Voted
ICLP
2010
Springer
15 years 11 months ago
Logic Programming Foundations of Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
Neda Saeedloei