Search Sciweavers | Sciweavers

In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

127

click to vote

CADE
1992
Springer

116views Logical Reasoning» more CADE 1992»

PVS: A Prototype Verification System

15 years 8 months ago

Download ix.cs.uoregon.edu

Sam Owre, John M. Rushby, Natarajan Shankar

claim paper

Read More »

104

click to vote

CADE
1990
Springer

107views Logical Reasoning» more CADE 1990»

The TPS Theorem Proving System

15 years 8 months ago

Download www.cs.cmu.edu

Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank ...

claim paper

Read More »

119

click to vote

FSKD
2006
Springer

121views Fuzzy Logic» more FSKD 2006»

PWM Fuzzy Controller for Nonlinear Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers