926 search results - page 39 / 186 » Prolog as the First Programming Language |
109
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
108
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization ...
130
click to vote
AAAI
2008
15 years 4 months ago
2008
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
174
click to vote
CSCLP
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
109
Voted
ICLP
1991
Springer
15 years 6 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...