Incremental learning of logic programs

1995 ◽  
pp. 95-109 ◽  
Author(s):  
M. R. K. Krishna Rao
Keyword(s):  
Incremental Learning ◽  
Logic Programs

Incremental Learning of Functional Logic Programs

2001 ◽  
pp. 233-247 ◽  
Author(s):  
C. Ferri-Ramírez ◽  
J. Hernández-Orallo ◽  
M.J. Ramírez-Quintana
Keyword(s):  
Incremental Learning ◽  
Logic Programs ◽  
Functional Logic

Incremental learning of word meanings: ERP evidence for stages of meaning acquisition

2010 ◽  
Author(s):  
Gwen A. Frishkoff ◽  
Kevyn Collins-Thompson ◽  
Charles A. Perfetti
Keyword(s):  
Incremental Learning ◽  
Word Meanings

Incremental learning in word production: Tracing the fate of non-selected alternative picture names.

2018 ◽  
Vol 44 (10) ◽  
pp. 1586-1602 ◽  
Author(s):  
Franziska Kurtz ◽  
Herbert Schriefers ◽  
Andreas Mädebach ◽  
Jörg D. Jescheniak
Keyword(s):  
Incremental Learning ◽  
Word Production

Generalized Disjunctive Well-Founded Semantics for Logic Programs

1990 ◽  
Author(s):  
Chitta Baral ◽  
Jorge Lobo ◽  
Jack Minker
Keyword(s):  
Logic Programs

Logical Decision Problems and Complexity of Logic Programs

1987 ◽  
Vol 10 (1) ◽  
pp. 1-33
Author(s):  
Egon Börger ◽  
Ulrich Löwen
Keyword(s):  
Fixed Point ◽  
Computational Complexity ◽  
Decision Problem ◽  
Decision Problems ◽  
Complexity Classes ◽  
Logic Programs ◽  
Finite Structures ◽  
Syntactic Restrictions

We survey and give new results on logical characterizations of complexity classes in terms of the computational complexity of decision problems of various classes of logical formulas. There are two main approaches to obtain such results: The first approach yields logical descriptions of complexity classes by semantic restrictions (to e.g. finite structures) together with syntactic enrichment of logic by new expressive means (like e.g. fixed point operators). The second approach characterizes complexity classes by (the decision problem of) classes of formulas determined by purely syntactic restrictions on the formation of formulas.

Sign in / Sign up

Export Citation Format

Share Document