380 search results - page 25 / 76 » Operational Semantics for Declarative Networking |
167
click to vote
ICDE
1997
IEEE
16 years 1 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
101
click to vote
ASP
2003
Springer
15 years 3 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
129
click to vote
ICLP
2010
Springer
14 years 10 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
100
click to vote
DAGSTUHL
1998
15 years 1 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
116
click to vote
IJAR
2007
14 years 11 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...