Search Sciweavers | Sciweavers

13 search results - page 1 / 3

» lpar 2001

click to vote

LPAR
2001
Springer

104views Automated Reasoning» more LPAR 2001»

How to Transform an Analyzer into a Verifier

13 years 8 months ago

Download www.di.unipi.it

Marco Comini, Roberta Gori, Giorgio Levi

claim paper

Read More »

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

13 years 8 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

click to vote

LPAR
2001
Springer

110views Automated Reasoning» more LPAR 2001»

Reasoning about Evolving Nonmonotonic Knowledge Bases

13 years 8 months ago

Download www.kr.tuwien.ac.at

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

claim paper

Read More »

click to vote

LPAR
2001
Springer

144views Automated Reasoning» more LPAR 2001»

Efficient Negation Using Abstract Interpretation

13 years 8 months ago

Download www.clip.dia.fi.upm.es

Susana Muñoz-Hernández, Juan Jos&eac...

claim paper

Read More »

click to vote

LPAR
2001
Springer

98views Automated Reasoning» more LPAR 2001»

Logical Omniscience and the Cost of Deliberation

13 years 8 months ago

Download www.nottingham.ac.uk

Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...

Natasha Alechina, Brian Logan

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers