Search Sciweavers | Sciweavers

977 search results - page 20 / 196

» Logic programming with infinite sets

ILP
2005
Springer

142views Automated Reasoning» more ILP 2005»

A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment

14 years 3 months ago

Download ftp.cs.wisc.edu

We propose a new approach to Inductive Logic Programming that systematically exploits caching and oﬀers a number of advantages over current systems. It avoids redundant computati...

Héctor Corrada Bravo, David Page, Raghu Ram...

claim paper

Read More »

click to vote

ACSD
2008
IEEE

135views Hardware» more ACSD 2008»

Synthesis of Petri nets from infinite partial languages

13 years 11 months ago

Download www.fernuni-hagen.de

In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...

Robin Bergenthum, Jörg Desel, Robert Lorenz, ...

claim paper

Read More »

click to vote

LPNMR
2007
Springer

169views Automated Reasoning» more LPNMR 2007»

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report

14 years 3 months ago

Download www.kr.tuwien.ac.at

Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...

Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...

claim paper

Read More »

click to vote

ESWS
2007
Springer

106views Internet Technology» more ESWS 2007»

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

14 years 3 months ago