Search Sciweavers | Sciweavers

Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...

Mauricio Osorio

claim paper

Read More »

11

click to vote

LANMR
2004

103views Logical Reasoning» more LANMR 2004»

Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...

Isabella Cattinelli, Maria Luisa Damiani, Andrea N...

claim paper

Read More »

12

click to vote

LANMR
2004

101views Logical Reasoning» more LANMR 2004»

ASP: from Application Development to Syntax Extensions

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

In this paper some theoretical results in ASP are discussed in the context of application development. An application of ASP in collaborative learning is presented as a motivation....

Magdalena Ortiz

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers