tag :: logicprogramming

закладки (спрятать)27
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

&lang;&lang;
⟨
1
2
3
&rang;
⟩⟩

публикации (спрятать)56
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

3Logic Programming and Databases
S. Ceri, G. Gottlob, и L. Tanca. Springer-Verlag, (1990)
16 лет назад , @vzach
logicProgramming
logicProgramming
копироватьудалитьдобавить публикацию в буфер
3Making Prolog more Expressive
J. Lloyd, и R. Topor. Journal of Logic Programming, (1984)
16 лет назад , @vzach
logicProgramming
prolog
logicProgrammingprolog
копироватьудалитьдобавить публикацию в буфер
3On closed world data bases
R. Reiter. Logic and Data Bases, Plenum Publ, (1978)
16 лет назад , @vzach
logicProgramming
logicProgramming
копироватьудалитьдобавить публикацию в буфер
5The stable model semantics for logic programming
M. Gelfond, и V. Lifschitz. Proceeding of the Fifth Logic Programming Symposium, стр. 1070-1080. (1988)
16 лет назад , @vzach
logicProgramming
logicProgramming
копироватьудалитьдобавить публикацию в буфер
1What stories should we tell novice PROLOG programmers
H. Pain, и A. Bundy. Artificial Intelligence programming environments, Chichester: Ellis Horwood, (1987)
18 лет назад , @vzach
logicProgramming
ruleBasedSystems
explanation
logicProgrammingruleBasedSystemsexplanation
копироватьудалитьдобавить публикацию в буфер
3Foundation and Application of Knowledge Base Verification
A. Preece, и R. Shinghal. International Journal of Intelligent Systems, 9 (8): 683--701 (1994)
18 лет назад , @vzach
logicProgramming
debugging
ruleBasedSystems
validation
verification
logicProgrammingdebuggingruleBasedSystemsvalidationverification
копироватьудалитьдобавить публикацию в буфер
2Some Notes on Knowledge Assimilation in Deductive Databases.
H. Decker. Transactions and Change in Logic Databases, стр. 249-286. (1998)
18 лет назад , @vzach
logicProgramming
automaticDebugging
debugging
ruleBasedSystems
logicProgrammingautomaticDebuggingdebuggingruleBasedSystems
копироватьудалитьдобавить публикацию в буфер
1DENDRAL and Meta-DENDRAL: roots of knowledge systems and expert system applications
E. Feigenbaum, и B. Buchanan. (1994)
18 лет назад , @vzach
logicProgramming
automaticDebugging
debugging
ruleBasedSystems
expertSystem
explanation
logicProgrammingautomaticDebuggingdebuggingruleBasedSystemsexpertSystemexplanation
копироватьудалитьдобавить публикацию в буфер
1The role of abduction in Logic Programming
R. Kakas, и F. Tony. Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, (1998)
18 лет назад , @vzach
logicProgramming
automaticDebugging
debugging
ruleBasedSystems
logicProgrammingautomaticDebuggingdebuggingruleBasedSystems
копироватьудалитьдобавить публикацию в буфер
2Database Updates through Abduction
A. Kakas, и P. Mancarella. 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings, стр. 650-661. Morgan Kaufmann, (1990)
18 лет назад , @vzach
logicProgramming
automaticDebugging
debugging
ruleBasedSystems
logicProgrammingautomaticDebuggingdebuggingruleBasedSystems
копироватьудалитьдобавить публикацию в буфер

&lang;&lang;
⟨
1
2
3
&rang;
⟩⟩

BibSonomy

закладки (спрятать)27
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

1Logic, Programming and Prolog

1ISO Prolog Standard

1http://research.microsoft.com/en-us/um/people/ejackson/publications.aspx

2The Functional Logic Language Curry

1The Mercury Project: Comparing Mercury and Haskell

1Prolog Programming A First Course

1CHIC Methodology

1K-Prolog: Index

1Escape from Zurg: An Exercise in Logic Programming

1HAL home page

публикации (спрятать)56
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

3Logic Programming and Databases

3Making Prolog more Expressive

3On closed world data bases

5The stable model semantics for logic programming

1What stories should we tell novice PROLOG programmers

3Foundation and Application of Knowledge Base Verification

2Some Notes on Knowledge Assimilation in Deductive Databases.

1DENDRAL and Meta-DENDRAL: roots of knowledge systems and expert system applications

1The role of abduction in Logic Programming

2Database Updates through Abduction

просмотр

сходные по теме тэги

сходные по популярности тэги

сходные по интересам пользователи

закладки (спрятать)27 показатьвсётолько закладкизакладки на страницу5102050100 RSSBibTeXXML

публикации (спрятать)56 показатьвсётолько публикациипубликации на страницу5102050100 расширенный... RSSBibTeXRDFдальше...

просмотр

сходные по теме тэги

сходные по популярности тэги

сходные по интересам пользователи

закладки (спрятать)27
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

публикации (спрятать)56
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...