Sciweavers

3983 search results - page 13 / 797
» Conceptual logic programs
Sort
View
AAAI
2010
13 years 9 months ago
Past and Future of DL-Lite
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
13 years 11 months ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley
QSIC
2005
IEEE
14 years 1 months ago
Fault-Based Testing of Database Application Programs with Conceptual Data Model
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
W. K. Chan, S. C. Cheung, T. H. Tse
ER
1998
Springer
123views Database» more  ER 1998»
13 years 11 months ago
From Object Oriented Conceptual Modeling to Automated Programming in Java
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
Oscar Pastor, Vicente Pelechano, Emilio Insfr&aacu...
ICLP
1991
Springer
13 years 11 months ago
Abstract Interpretation of Logic Programs
Interpretation of Logic Programs 1
Patrick Cousot