4257 search results - page 96 / 852 » The Logical Modularity of Programs |
142
Voted
CSL
2006
Springer
15 years 6 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
112
Voted
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
119
Voted
IJCAI
1993
15 years 3 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
139
click to vote
AGP
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we give a summary of our recent survey of practical applications of Logic Programming in Italy. The survey covers a 25 year time-span. Information was mainly gathere...
144
Voted
FBIT
2007
IEEE
15 years 9 months ago
2007
IEEE
—Standard genetic programming genotypes are generally highly disorganized and poorly structured, with little code replication. This is also true of existing developmental genetic...