Search Sciweavers | Sciweavers

1022 search results - page 17 / 205

» Stable models and circumscription

135

click to vote

LPNMR
2007
Springer

130views Automated Reasoning» more LPNMR 2007»

Modularity Aspects of Disjunctive Stable Models

15 years 10 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 8 months ago

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

101

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

15 years 8 months ago

Download www.cs.uky.edu

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

claim paper

Read More »

105

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

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

click to vote

ICCAD
1995
IEEE

61views Hardware» more ICCAD 1995»

Stable and efficient reduction of substrate model networks using congruence transforms

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers