Sciweavers

338 search results - page 8 / 68
» Many Facets of Complexity in Logic
Sort
View
ADBIS
2004
Springer
367views Database» more  ADBIS 2004»
14 years 23 days ago
Logical Design of Generalizations in Object-relational Databases
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...
Johann Eder, Simone Kanzian
DAGSTUHL
2004
13 years 8 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
AI
1999
Springer
13 years 7 months ago
Modal Logics, Description Logics and Arithmetic Reasoning
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
Hans Jürgen Ohlbach, Jana Koehler
ARC
2010
Springer
154views Hardware» more  ARC 2010»
13 years 7 months ago
Perspectives on system identification
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
Lennart Ljung
CLIMA
2007
13 years 8 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite