Results 121 to 130 of about 27,800 (166)

Is Logic Programming "Real" Programming?

, 1986
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Logic programs as types for logic programs

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, 2002
Optimistic type systems for logic programs are considered. In such systems types are conservative approximations to the success set of the program predicates. The use of logic programs to describe types is proposed. It is argued that this approach unifies the denotational and operational approaches to descriptive type systems and is simpler and more ...
Thom W. Frühwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni   +3 more
openaire   +1 more source

Logic programming

Communications of the ACM, 1985
Logic programming is programming by description. The programmer describes the application area and lets the program choose specific operations. Logic programs are easier to create and enable machines to explain their results and actions.
Michael R. Genesereth, Matthew L. Ginsberg   +1 more
openaire   +1 more source

Super logic programs

ACM Transactions on Computational Logic, 2004
The Autoepistemic Logic of Knowledge and Belief (AELB) is a powerful nonmonotonic formalism introduced by Teodor Przymusinski in 1994. In this paper, we specialize it to a class of theories called "super logic programs". We argue that these programs form a natural generalization of standard logic programs.
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski   +2 more
openaire   +2 more sources

Logic as Programming

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

Hybrid Probabilistic Logic Programs as Residuated Logic Programs

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Carlos Viegas Damásio, Luís Moniz Pereira   +1 more
openaire   +2 more sources

Logic Programming and Default Logic

International Journal on Artificial Intelligence Tools, 1994
We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic ...
openaire   +1 more source

Programs and logics

Studia Logica, 1985
The paper is concerned with a relationship between programs and Gentzen type formalizations of predicate and propositional logics. It turns out that finite control algorithms (which serve as models of iterative programs) are sufficient for describing the proof searching procedures for propositional logics which admit cut-free Gentzen type formalization,
openaire   +2 more sources

Conceptual logic programs

Annals of Mathematics and Artificial Intelligence, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vermeir, Dirk, Heymans, Stijn, Van Nieuwenborgh, Davy   +2 more
openaire   +2 more sources