Sciweavers

3738 search results - page 45 / 748

» Parametrized Logic Programming

17

IGPL
2008

66views more IGPL 2008»

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

13 years 7 months ago

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

26

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

13 years 7 months ago

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

26

FUIN
2007

220views more FUIN 2007»

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

13 years 7 months ago

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Download dtai.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

claim paper

Read More »

23

ICECCS
2006
IEEE

140views Hardware» more ICECCS 2006»

Inference of Design Pattern Instances in UML models via Logic Programming

14 years 1 months ago

Inference of Design Pattern Instances in UML models via Logic Programming

Download www.secs.oakland.edu

This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...

Dae-Kyoo Kim, Lunjin Lu

claim paper

Read More »

23

FECS
2007

109views Education» more FECS 2007»

Prolog as the First Programming Language

13 years 9 months ago

Prolog as the First Programming Language

Download www.cs.uiowa.edu

The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...

Arthur Fleck

claim paper

Read More »

« Prev « First page 45 / 748 Last » Next »