1097 search results - page 55 / 220 » Revision Programming = Logic Programming Integrity Constra... |
124
click to vote
PADL
2000
Springer
15 years 6 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
150
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
126
click to vote
APIN
1999
15 years 2 months ago
1999
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
136
click to vote
DLOG
2007
15 years 5 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
112
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...