Search Sciweavers | Sciweavers

1022 search results - page 17 / 205

» Stable models and circumscription

click to vote

LPNMR
2007
Springer

130views Automated Reasoning» more LPNMR 2007»

Modularity Aspects of Disjunctive Stable Models

15 years 3 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 1 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 1 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 1 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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers