Search Sciweavers | Sciweavers

1578 search results - page 22 / 316

» Induction of Stable Models

126

click to vote

AIMSA
2008
Springer

124views Artificial Intelligence» more AIMSA 2008»

Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

15 years 9 months ago

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

124

Voted

LPNMR
2007
Springer

130views Automated Reasoning» more LPNMR 2007»

Modularity Aspects of Disjunctive Stable Models

15 years 9 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

15 years 7 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

15 years 7 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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers