ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Rational debugging in logic programming
Lecture Notes in Computer Science - Third International Conference on Logic Programming
◽
10.1007/3-540-16492-8_76
◽
1986
◽
pp. 203-210
◽
Cited By ~ 32
Author(s):
Luís Moniz Pereira
Keyword(s):
Logic Programming
Download Full-text
Related Documents
Cited By
References
Constraint Logic Programming Using ECLiPSe
10.1017/cbo9780511607400
◽
2006
◽
Cited By ~ 59
Author(s):
Krzysztof R. Apt
◽
Mark Wallace
Keyword(s):
Logic Programming
◽
Constraint Logic Programming
Download Full-text
QOS-Aware Composition of Enterprise System‘s Components: Constraint Logic Programming Approach
Informatica
◽
10.15388/informatica.2010.301
◽
2010
◽
Vol 21
(4)
◽
pp. 487-504
◽
Cited By ~ 1
Author(s):
Jeremy Besson
◽
Albertas Čaplinskas
Keyword(s):
Logic Programming
◽
Constraint Logic Programming
◽
Programming Approach
Download Full-text
CCDM: Ladder-Logic Programming for Wireless Sensors and Actuators with Central Controller-Based Device Management
IEICE Transactions on Communications
◽
10.1587/transcom.e94.b.2208
◽
2011
◽
Vol E94-B
(8)
◽
pp. 2208-2215
Author(s):
Hideya OCHIAI
◽
Hiroshi ESAKI
Keyword(s):
Logic Programming
◽
Wireless Sensors
◽
Sensors And Actuators
◽
Device Management
◽
Central Controller
◽
Ladder Logic
Download Full-text
Logic Programming and Knowledge Base Maintenance.
10.21236/ada137062
◽
1983
◽
Author(s):
K. A. Bowen
Keyword(s):
Logic Programming
◽
Knowledge Base
Download Full-text
Parallel Logic Programming and ZMOB
10.21236/ada196942
◽
1988
◽
Author(s):
Jack Minker
◽
Mark Weiser
Keyword(s):
Logic Programming
◽
Parallel Logic Programming
Download Full-text
Conceptual Modeling via Logic Programming
10.21236/ada219785
◽
1990
◽
Author(s):
John Burge
◽
Bill Noah
◽
Les Smith
Keyword(s):
Logic Programming
◽
Conceptual Modeling
Download Full-text
Parallel Logic Programming Architecture
10.21236/ada225199
◽
1990
◽
Author(s):
William B. Day
Keyword(s):
Logic Programming
◽
Parallel Logic Programming
Download Full-text
Logic Programming and Automated Reasoning
10.1007/3-540-56944-8
◽
1993
◽
Cited By ~ 1
Keyword(s):
Logic Programming
◽
Automated Reasoning
Download Full-text
Book review: Deductive Databases and Logic Programming
Computing & Control Engineering Journal
◽
10.1049/cce:19930045
◽
1993
◽
Vol 4
(4)
◽
pp. 192
Author(s):
W.J. Cullyer
Keyword(s):
Logic Programming
◽
Deductive Databases
Download Full-text
ILPNET repositories on WWW: Inductive Logic Programming systems, datasets and bibliography
AI Communications
◽
10.3233/aic-1996-9401
◽
1996
◽
Vol 9
(4)
◽
pp. 157-206
◽
Cited By ~ 2
Author(s):
Nada Lavrač
◽
Irene Weber
◽
Darko Zupanič
◽
Dimitar Kazakov
◽
Olga Štěpánková
◽
...
Keyword(s):
Logic Programming
◽
Inductive Logic Programming
◽
Inductive Logic
◽
Programming Systems
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close