926 search results - page 71 / 186 » Prolog as the First Programming Language |
181
click to vote
AI
2001
Springer
15 years 8 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
124
click to vote
AO
2007
15 years 4 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
140
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Back in 2001, the MIT announced aspect-oriented programming as a key technology in the next 10 years. Nowadays, 8 years later, AOP is not widely adopted. Several reasons can expla...
154
click to vote
ISAAC
2010
Springer
15 years 2 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
150
click to vote
ICALT
2003
IEEE
15 years 10 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...