4370 search results - page 283 / 874 » Algebra of Logic Programming |
104
click to vote
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
175
Voted
SIGMOD
2005
ACM
16 years 25 days ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
104
click to vote
DALT
2008
Springer
15 years 2 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
97
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
81
Voted
ENTCS
2000
15 years 15 days ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...