Search Sciweavers | Sciweavers

1578 search results - page 22 / 316

» Induction of Stable Models

click to vote

AIMSA
2008
Springer

124views Artificial Intelligence» more AIMSA 2008»

Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

14 years 1 months ago

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

click to vote

LPNMR
2007
Springer

130views Automated Reasoning» more LPNMR 2007»

Modularity Aspects of Disjunctive Stable Models

14 years 1 months ago

Download www.tcs.hut.fi

Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...

Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...

claim paper

Read More »

click to vote

MFCS
1994
Springer

93views Theoretical Computer Science» more MFCS 1994»

Stable Bistructure Models of PCF

13 years 11 months ago

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

13 years 11 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

click to vote

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers