Sciweavers

7961 search results - page 164 / 1593
» Input-Output Model Programs
Sort
View
IJCAI
2003
15 years 4 months ago
Logic Programs for Consistently Querying Data Integration Systems
We solve the problem of obtaining answers to queries posed to a mediated integration system un­ der the local-as-view paradigm that are consistent wrt to certain global integrity...
Loreto Bravo, Leopoldo E. Bertossi
LFCS
2007
Springer
15 years 9 months ago
Compactness Properties for Stable Semantics of Logic Programs
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
Victor W. Marek, Jeffrey B. Remmel
BNCOD
2004
106views Database» more  BNCOD 2004»
15 years 4 months ago
Language Bindings for Spatio-Temporal Database Programming in Tripod
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
Tony Griffiths, Norman W. Paton, Alvaro A. A. Fern...
JUCS
2006
135views more  JUCS 2006»
15 years 3 months ago
Automatic Programming Methodologies for Electronic Hardware Fault Monitoring
: This paper presents three variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling o...
Ajith Abraham, Crina Grosan
ATAL
2008
Springer
15 years 5 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...