1117 search results - page 93 / 224 » Partial Models of Extended Generalized Logic Programs |
135
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
119
click to vote
VLDB
1990
ACM
15 years 5 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
127
click to vote
DAGSTUHL
1998
15 years 2 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
156
click to vote
LOGCOM
2010
14 years 8 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
101
click to vote
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...