Results 331 to 339 of about 575,998 (339)
Some of the next articles are maybe not open access.
2011
Due to the problems with first-order logic mentioned in Chap. 4, pure logic can not solve most realistic AI problems. Logic programming as a fusion of logic and procedural programming provides the programmer with means for controlling and optimizing logical reasoning.
openaire +2 more sources
Due to the problems with first-order logic mentioned in Chap. 4, pure logic can not solve most realistic AI problems. Logic programming as a fusion of logic and procedural programming provides the programmer with means for controlling and optimizing logical reasoning.
openaire +2 more sources
Studia Logica, 1985
We use the algebraic theory of programs as in Blikle [2], Mazurkiewicz [5] in order to show that the difference between programs with and without recursion is of the same kind as that between cut free Gentzen type formalizations of predicate and prepositional logics.
openaire +2 more sources
We use the algebraic theory of programs as in Blikle [2], Mazurkiewicz [5] in order to show that the difference between programs with and without recursion is of the same kind as that between cut free Gentzen type formalizations of predicate and prepositional logics.
openaire +2 more sources
Fundamenta Informaticae, 1992
Starting from a general dynamic analysis of reasoning and programming, we develop two main dynamic perspectives upon logic programming. First, the standard fixed point semantics for Horn clause programs naturally supports imperative programming styles.
openaire +2 more sources
Starting from a general dynamic analysis of reasoning and programming, we develop two main dynamic perspectives upon logic programming. First, the standard fixed point semantics for Horn clause programs naturally supports imperative programming styles.
openaire +2 more sources
International Journal of Intelligent Systems, 1986
This paper describes a support logic programming system which uses a theory of support pairs to model various forms of uncertainty.
openaire +2 more sources
This paper describes a support logic programming system which uses a theory of support pairs to model various forms of uncertainty.
openaire +2 more sources
1972
Chomsky’s Aspects (1965) described and presented justification for a model of linguistic structure according to which the relation between sentences (or better, the surface structures of sentences) and their semantic structures was mediated by a level of Deep Structure: a grammar consisted of a Base Component, which was a set of rules that specified ...
openaire +2 more sources
Chomsky’s Aspects (1965) described and presented justification for a model of linguistic structure according to which the relation between sentences (or better, the surface structures of sentences) and their semantic structures was mediated by a level of Deep Structure: a grammar consisted of a Base Component, which was a set of rules that specified ...
openaire +2 more sources