Search Sciweavers | Sciweavers

1578 search results - page 22 / 316

» Induction of Stable Models

173

click to vote

AIMSA
2008
Springer

124views Artificial Intelligence» more AIMSA 2008»

Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

16 years 1 months ago

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

172

Voted

LPNMR
2007
Springer

130views Automated Reasoning» more LPNMR 2007»

Modularity Aspects of Disjunctive Stable Models

16 years 27 days 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 »

122

click to vote

MFCS
1994
Springer

93views Theoretical Computer Science» more MFCS 1994»

Stable Bistructure Models of PCF

15 years 11 months ago

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

129

Voted

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

15 years 11 months ago

Download www.cs.uky.edu

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

claim paper

Read More »

138

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers