Sciweavers

3693 search results - page 29 / 739

» Splitting a Logic Program

30

CORR
2008
Springer

128views Education» more CORR 2008»

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

13 years 8 months ago

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

Download tocl.acm.org

Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...

claim paper

Read More »

17

IGPL
2008

66views more IGPL 2008»

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

13 years 8 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 »

« Prev « First page 29 / 739 Last » Next »